Merge pull request #1765 from YosysHQ/claire/btor_info
[yosys.git] / techlibs / ice40 /
drwxr-xr-x   ..
-rw-r--r-- 59 .gitignore
-rw-r--r-- 1535 Makefile.inc
-rw-r--r-- 3717 abc9_model.v
-rw-r--r-- 2010 arith_map.v
-rw-r--r-- 534 brams.txt
-rw-r--r-- 669 brams_init.py
-rw-r--r-- 7976 brams_map.v
-rw-r--r-- 3683 cells_map.v
-rw-r--r-- 148970 cells_sim.v
-rw-r--r-- 789 dsp_map.v
-rw-r--r-- 4281 ice40_braminit.cc
-rw-r--r-- 5237 ice40_ffinit.cc
-rw-r--r-- 3740 ice40_ffssr.cc
-rw-r--r-- 8124 ice40_opt.cc
-rw-r--r-- 258 latches_map.v
-rw-r--r-- 12723 synth_ice40.cc
drwxr-xr-x - tests