opt_merge: Add `-keepdc` option required for formal verification
[yosys.git] / tests / sat /
drwxr-xr-x   ..
-rw-r--r-- 30 .gitignore
-rw-r--r-- 2068 alu.v
-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-- 366 grom.ys
-rw-r--r-- 698 grom_computer.v
-rw-r--r-- 20856 grom_cpu.v
-rw-r--r-- 425 initval.v
-rw-r--r-- 265 initval.ys
-rw-r--r-- 877 ram_memory.v
-rwxr-xr-x 86 run-test.sh
-rw-r--r-- 464 share.v
-rw-r--r-- 474 share.ys
-rw-r--r-- 873 sim_counter.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