Merge pull request #3247 from jix/smtbmc-keepgoing
[yosys.git] / techlibs / gowin /
drwxr-xr-x   ..
-rw-r--r-- 29 .gitignore
-rw-r--r-- 994 Makefile.inc
-rw-r--r-- 2088 arith_map.v
-rw-r--r-- 507 brams.txt
-rwxr-xr-x 263 brams_init.py
-rw-r--r-- 900 brams_init3.vh
-rw-r--r-- 4036 brams_map.v
-rw-r--r-- 6100 cells_map.v
-rw-r--r-- 37288 cells_sim.v
-rw-r--r-- 210 lutrams.txt
-rw-r--r-- 651 lutrams_map.v
-rw-r--r-- 8701 synth_gowin.cc