3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-01-05 02:28:51 +00:00
yosys/tests/various
David Shah 49b670ca38 sv: Add tests for SV always types
Signed-off-by: David Shah <dave@ds0.me>
2019-11-21 21:06:28 +00:00
..
.gitignore
abc9.v
abc9.ys
async.sh
async.v
attrib05_port_conn.v
attrib05_port_conn.ys
attrib07_func_call.v
attrib07_func_call.ys
bug1462.ys
bug1480.ys
bug1496.ys
chparam.sh
constmsk_test.v
constmsk_test.ys
constmsk_testmap.v
elab_sys_tasks.sv
elab_sys_tasks.ys
equiv_opt_multiclock.ys
gzip_verilog.v.gz
gzip_verilog.ys
hierarchy.sh
hierarchy_defer.ys
mem2reg.ys
muxcover.ys
muxpack.v
muxpack.ys
peepopt.ys
pmgen_reduce.ys
pmux2shiftx.v
pmux2shiftx.ys
reg_wire_error.sv
reg_wire_error.ys
run-test.sh
script.ys
shregmap.v
shregmap.ys
signext.ys
specify.v
specify.ys
submod_extract.ys
svalways.sh sv: Add tests for SV always types 2019-11-21 21:06:28 +00:00
wreduce.ys
write_gzip.ys