Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization
[yosys.git] / techlibs / common /
drwxr-xr-x   ..
-rw-r--r-- 34 .gitignore
-rw-r--r-- 1514 Makefile.inc
-rw-r--r-- 929 abc9_map.v
-rw-r--r-- 549 abc9_model.v
-rw-r--r-- 520 abc9_unmap.v
-rw-r--r-- 580 adff2dff.v
-rw-r--r-- 1339 cellhelp.py
-rw-r--r-- 2432 cells.lib
-rw-r--r-- 5383 cmp2lcu.v
-rw-r--r-- 2614 cmp2lut.v
-rw-r--r-- 299 dff2ff.v
-rw-r--r-- 1447 gate2lut.v
-rw-r--r-- 10547 gen_fine_ffs.py
-rw-r--r-- 9178 mul2dsp.v
-rw-r--r-- 342 pmux2mux.v
-rw-r--r-- 6225 prep.cc
-rw-r--r-- 80697 simcells.v
-rw-r--r-- 55161 simlib.v
-rw-r--r-- 7907 synth.cc
-rw-r--r-- 17290 techmap.v