btor backend: add option to not include internal names
[yosys.git] / techlibs / xilinx /
drwxr-xr-x   ..
-rw-r--r-- 30 .gitignore
-rw-r--r-- 3687 Makefile.inc
-rw-r--r-- 1495 abc9_model.v
-rw-r--r-- 6943 arith_map.v
-rw-r--r-- 2344 brams_init.py
-rw-r--r-- 19074 cells_map.v
-rw-r--r-- 155688 cells_sim.v
-rw-r--r-- 30589 cells_xtra.py
-rw-r--r-- 1141369 cells_xtra.v
-rw-r--r-- 228 lut4_lutrams.txt
-rw-r--r-- 1758 lut6_lutrams.txt
-rw-r--r-- 3501 lut_map.v
-rw-r--r-- 8370 lutrams_map.v
-rw-r--r-- 2496 mux_map.v
-rw-r--r-- 24135 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-- 10261 xc6s_ff_map.v
-rw-r--r-- 8300 xc7_brams_map.v
-rw-r--r-- 866 xc7_dsp_map.v
-rw-r--r-- 6998 xc7_ff_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-- 12396 xilinx_dffopt.cc