sv: support declaration in generate for initialization
[yosys.git] / tests / sat /
drwxr-xr-x   ..
-rw-r--r-- 18 .gitignore
-rw-r--r-- 382 asserts.v
-rw-r--r-- 110 asserts.ys
-rw-r--r-- 1771 asserts_seq.v
-rw-r--r-- 555 asserts_seq.ys
-rw-r--r-- 291 bug2595.ys
-rw-r--r-- 3633 clk2fflogic.ys
-rw-r--r-- 578 counters-repeat.v
-rw-r--r-- 257 counters-repeat.ys
-rw-r--r-- 515 counters.v
-rw-r--r-- 250 counters.ys
-rw-r--r-- 889 dff.ys
-rw-r--r-- 669 expose_dff.v
-rw-r--r-- 323 expose_dff.ys
-rw-r--r-- 425 initval.v
-rw-r--r-- 265 initval.ys
-rwxr-xr-x 86 run-test.sh
-rw-r--r-- 464 share.v
-rw-r--r-- 474 share.ys
-rw-r--r-- 2753 sizebits.sv
-rw-r--r-- 62 sizebits.ys
-rw-r--r-- 262 splice.v
-rw-r--r-- 237 splice.ys