| .. |
|
.gitignore
|
…
|
|
|
aes_kexp128.v
|
…
|
|
|
always01.v
|
…
|
|
|
always02.v
|
…
|
|
|
always03.v
|
…
|
|
|
arraycells.v
|
Fixed typo in tests/simple/arraycells.v
|
2017-01-04 12:39:01 +01:00 |
|
arrays01.v
|
…
|
|
|
arrays02.sv
|
Add proper test for SV-style arrays
|
2019-06-20 12:06:07 +02:00 |
|
attrib01_module.v
|
Added tests for attributes
|
2019-06-03 09:25:20 +02:00 |
|
attrib02_port_decl.v
|
Added tests for attributes
|
2019-06-03 09:25:20 +02:00 |
|
attrib03_parameter.v
|
Added tests for attributes
|
2019-06-03 09:25:20 +02:00 |
|
attrib04_net_var.v
|
Added tests for attributes
|
2019-06-03 09:25:20 +02:00 |
|
attrib05_port_conn.v.DISABLED
|
Added tests for attributes
|
2019-06-03 09:25:20 +02:00 |
|
attrib06_operator_suffix.v
|
Added tests for attributes
|
2019-06-03 09:25:20 +02:00 |
|
attrib07_func_call.v.DISABLED
|
Added tests for attributes
|
2019-06-03 09:25:20 +02:00 |
|
attrib08_mod_inst.v
|
Added tests for attributes
|
2019-06-03 09:25:20 +02:00 |
|
attrib09_case.v
|
Added tests for attributes
|
2019-06-03 09:25:20 +02:00 |
|
carryadd.v
|
…
|
|
|
constmuldivmod.v
|
Added opt_expr support for div/mod by power-of-two
|
2016-05-29 12:17:36 +02:00 |
|
constpower.v
|
…
|
|
|
defvalue.sv
|
Add defvalue test, minor autotest fixes for .sv files
|
2019-06-19 12:12:08 +02:00 |
|
dff_different_styles.v
|
Another block of spelling fixes
|
2015-08-14 23:27:05 +02:00 |
|
dff_init.v
|
Add test case from #997
|
2019-05-07 19:58:04 +02:00 |
|
dynslice.v
|
Add dynamic slicing Verilog testcase
|
2020-03-31 11:51:31 -07:00 |
|
fiedler-cooley.v
|
…
|
|
|
forgen01.v
|
Progress in Verific bindings
|
2014-03-17 01:56:00 +01:00 |
|
forgen02.v
|
…
|
|
|
forloops.v
|
Add additional test cases for for-loops
|
2019-05-01 09:32:07 +02:00 |
|
fsm.v
|
Renamed some of the test cases in tests/simple to avoid name collisions
|
2014-07-25 13:01:45 +02:00 |
|
generate.v
|
Add test
|
2019-06-20 16:07:22 -07:00 |
|
graphtest.v
|
Squelch trailing whitespace
|
2017-04-12 15:11:09 +02:00 |
|
hierarchy.v
|
Another block of spelling fixes
|
2015-08-14 23:27:05 +02:00 |
|
hierdefparam.v
|
Fix handling of defparam for when default_nettype is none
|
2019-02-24 20:09:41 +01:00 |
|
i2c_master_tests.v
|
Renamed some of the test cases in tests/simple to avoid name collisions
|
2014-07-25 13:01:45 +02:00 |
|
implicit_ports.v
|
Rename implicit_ports.sv test to implicit_ports.v
|
2019-06-07 13:12:25 +02:00 |
|
localparam_attr.v
|
Added tests for Verilog frontent for attributes on parameters and localparams
|
2019-05-16 12:53:43 +02:00 |
|
loops.v
|
Fixed trailing whitespaces
|
2015-07-02 11:14:30 +02:00 |
|
macros.v
|
Renamed some of the test cases in tests/simple to avoid name collisions
|
2014-07-25 13:01:45 +02:00 |
|
mem2reg.v
|
Add splitcmplxassign test case and silence splitcmplxassign warning
|
2019-05-01 10:01:54 +02:00 |
|
mem_arst.v
|
Make SV2017 compliant courtesy of @wsnyder
|
2019-12-12 07:34:07 -08:00 |
|
memory.v
|
Fixed bug with memories that do not have a down-to-zero data width
|
2016-08-22 14:27:46 +02:00 |
|
multiplier.v
|
…
|
|
|
muxtree.v
|
improvements in muxtree/select_leaves test
|
2015-01-18 13:24:01 +01:00 |
|
omsp_dbg_uart.v
|
Fixed trailing whitespaces
|
2015-07-02 11:14:30 +02:00 |
|
operators.v
|
Renamed some of the test cases in tests/simple to avoid name collisions
|
2014-07-25 13:01:45 +02:00 |
|
param_attr.v
|
Added tests for Verilog frontent for attributes on parameters and localparams
|
2019-05-16 12:53:43 +02:00 |
|
paramods.v
|
Renamed some of the test cases in tests/simple to avoid name collisions
|
2014-07-25 13:01:45 +02:00 |
|
partsel.v
|
Add tests based on the test case from #1990
|
2020-05-02 11:21:01 +02:00 |
|
process.v
|
…
|
|
|
realexpr.v
|
Add test case for real parameters
|
2019-08-20 11:38:21 +02:00 |
|
repwhile.v
|
Renamed some of the test cases in tests/simple to avoid name collisions
|
2014-07-25 13:01:45 +02:00 |
|
retime.v
|
Add retime test
|
2019-04-05 16:28:46 -07:00 |
|
rotate.v
|
Another block of spelling fixes
|
2015-08-14 23:27:05 +02:00 |
|
run-test.sh
|
Use `command -v` rather than `which`
|
2019-09-03 00:57:32 +01:00 |
|
scopes.v
|
Improved scope resolution of local regs in Verilog+AST frontend
|
2014-08-05 12:15:53 +02:00 |
|
signedexpr.v
|
Renamed some of the test cases in tests/simple to avoid name collisions
|
2014-07-25 13:01:45 +02:00 |
|
sincos.v
|
…
|
|
|
specify.v
|
Fix tests/simple/specify.v
|
2018-03-27 14:34:00 +02:00 |
|
subbytes.v
|
…
|
|
|
task_func.v
|
Fix handling of task output ports in clocked always blocks, fixes #857
|
2019-03-07 22:44:37 -08:00 |
|
undef_eqx_nex.v
|
Renamed some of the test cases in tests/simple to avoid name collisions
|
2014-07-25 13:01:45 +02:00 |
|
usb_phy_tests.v
|
Renamed some of the test cases in tests/simple to avoid name collisions
|
2014-07-25 13:01:45 +02:00 |
|
values.v
|
…
|
|
|
vloghammer.v
|
Another block of spelling fixes
|
2015-08-14 23:27:05 +02:00 |
|
wandwor.v
|
Add actual wandwor test that is part of "make test"
|
2019-05-28 16:42:50 +02:00 |
|
wreduce.v
|
Improvements in wreduce
|
2015-10-31 13:39:30 +01:00 |
|
xfirrtl
|
Support explicit FIRRTL properties for better accommodation of FIRRTL/Verilog semantic differences.
|
2019-07-31 09:27:38 -07:00 |
749c2ff84a