Merge pull request #2208 from boqwxp/qbfsat-cleanup
[yosys.git] / tests / techmap /
drwxr-xr-x   ..
-rw-r--r-- 12 .gitignore
-rw-r--r-- 1420 abc9.ys
-rw-r--r-- 161 aigmap.ys
-rw-r--r-- 1047 autopurge.ys
-rw-r--r-- 4441 clkbufmap.ys
-rw-r--r-- 1547 cmp2lcu.ys
-rw-r--r-- 1069 dff2dffs.ys
-rw-r--r-- 334 dffinit.ys
-rw-r--r-- 3327 dfflegalize_adff.ys
-rw-r--r-- 10753 dfflegalize_adff_init.ys
-rw-r--r-- 1553 dfflegalize_adlatch.ys
-rw-r--r-- 3496 dfflegalize_adlatch_init.ys
-rw-r--r-- 10927 dfflegalize_dff.ys
-rw-r--r-- 29694 dfflegalize_dff_init.ys
-rw-r--r-- 3023 dfflegalize_dffsr.ys
-rw-r--r-- 16021 dfflegalize_dffsr_init.ys
-rw-r--r-- 1088 dfflegalize_dlatch.ys
-rw-r--r-- 2431 dfflegalize_dlatch_init.ys
-rw-r--r-- 1127 dfflegalize_dlatchsr.ys
-rw-r--r-- 5232 dfflegalize_dlatchsr_init.ys
-rw-r--r-- 7422 dfflegalize_inv.ys
-rw-r--r-- 2472 dfflegalize_mince.ys
-rw-r--r-- 1873 dfflegalize_minsrst.ys
-rw-r--r-- 1969 dfflegalize_sr.ys
-rw-r--r-- 7989 dfflegalize_sr_init.ys
-rw-r--r-- 984 extractinv.ys
-rw-r--r-- 4916 iopadmap.ys
-rw-r--r-- 284 mem_simple_4x1_cells.v
-rw-r--r-- 3761 mem_simple_4x1_map.v
-rw-r--r-- 644 mem_simple_4x1_runtest.sh
-rw-r--r-- 394 mem_simple_4x1_tb.v
-rw-r--r-- 276 mem_simple_4x1_uut.v
-rw-r--r-- 75 recursive.v
-rw-r--r-- 66 recursive_map.v
-rw-r--r-- 159 recursive_runtest.sh
-rwxr-xr-x 422 run-test.sh
-rw-r--r-- 2185 shiftx2mux.ys
-rw-r--r-- 696 techmap_replace.ys
-rw-r--r-- 2588 wireinit.ys
-rw-r--r-- 6592 zinit.ys