Merge pull request #3247 from jix/smtbmc-keepgoing
[yosys.git] / techlibs / xilinx /
drwxr-xr-x   ..
-rw-r--r-- 30 .gitignore
-rw-r--r-- 3609 Makefile.inc
-rw-r--r-- 1497 abc9_model.v
-rw-r--r-- 4593 arith_map.v
-rw-r--r-- 2344 brams_init.py
-rw-r--r-- 16017 cells_map.v
-rw-r--r-- 161090 cells_sim.v
-rw-r--r-- 34641 cells_xtra.py
-rw-r--r-- 1374948 cells_xtra.v
-rw-r--r-- 4943 ff_map.v
-rw-r--r-- 228 lut4_lutrams.txt
-rw-r--r-- 1758 lut6_lutrams.txt
-rw-r--r-- 3503 lut_map.v
-rw-r--r-- 8370 lutrams_map.v
-rw-r--r-- 2498 mux_map.v
-rw-r--r-- 23834 synth_xilinx.cc
drwxr-xr-x - tests
-rw-r--r-- 561 xc2v_brams.txt
-rw-r--r-- 5842 xc2v_brams_map.v
-rw-r--r-- 266 xc3s_mult_map.v
-rw-r--r-- 814 xc3sa_brams.txt
-rw-r--r-- 621 xc3sda_brams.txt
-rw-r--r-- 560 xc3sda_dsp_map.v
-rw-r--r-- 661 xc4v_dsp_map.v
-rw-r--r-- 785 xc5v_dsp_map.v
-rw-r--r-- 1438 xc6s_brams.txt
-rw-r--r-- 5699 xc6s_brams_map.v
-rw-r--r-- 562 xc6s_dsp_map.v
-rw-r--r-- 8476 xc7_brams_map.v
-rw-r--r-- 884 xc7_dsp_map.v
-rw-r--r-- 2777 xc7_xcu_brams.txt
-rw-r--r-- 8702 xcu_brams_map.v
-rw-r--r-- 882 xcu_dsp_map.v
-rw-r--r-- 256 xcup_urams.txt
-rw-r--r-- 895 xcup_urams_map.v
-rw-r--r-- 12503 xilinx_dffopt.cc