Merge pull request #3247 from jix/smtbmc-keepgoing
[yosys.git] / techlibs / efinix /
drwxr-xr-x   ..
-rw-r--r-- 512 Makefile.inc
-rw-r--r-- 2437 arith_map.v
-rw-r--r-- 457 brams.txt
-rw-r--r-- 1648 brams_map.v
-rw-r--r-- 2693 cells_map.v
-rw-r--r-- 5391 cells_sim.v
-rw-r--r-- 3726 efinix_fixcarry.cc
-rw-r--r-- 131 gbuf_map.v
-rw-r--r-- 6265 synth_efinix.cc