diff options
Diffstat (limited to 'tests/xsthammer/xl_cells_tb.ys')
-rw-r--r-- | tests/xsthammer/xl_cells_tb.ys | 63 |
1 files changed, 0 insertions, 63 deletions
diff --git a/tests/xsthammer/xl_cells_tb.ys b/tests/xsthammer/xl_cells_tb.ys deleted file mode 100644 index 536c64a1..00000000 --- a/tests/xsthammer/xl_cells_tb.ys +++ /dev/null @@ -1,63 +0,0 @@ - -# Verify xilinx cell models - -read_verilog xl_cells.v -read_verilog xl_cells_tb.v - -rename GND MY_GND -rename INV MY_INV -rename LUT1 MY_LUT1 -rename LUT2 MY_LUT2 -rename LUT3 MY_LUT3 -rename LUT4 MY_LUT4 -rename LUT5 MY_LUT5 -rename LUT6 MY_LUT6 -rename MUXCY MY_MUXCY -rename MUXF7 MY_MUXF7 -rename VCC MY_VCC -rename XORCY MY_XORCY - -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/GND.v -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/INV.v -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/LUT1.v -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/LUT2.v -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/LUT3.v -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/LUT4.v -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/LUT5.v -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/LUT6.v -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/MUXCY.v -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/MUXF7.v -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/VCC.v -read_verilog /opt/Xilinx/14.5/ISE_DS/ISE/verilog/src/unisims/XORCY.v - -rename GND XL_GND -rename INV XL_INV -rename LUT1 XL_LUT1 -rename LUT2 XL_LUT2 -rename LUT3 XL_LUT3 -rename LUT4 XL_LUT4 -rename LUT5 XL_LUT5 -rename LUT6 XL_LUT6 -rename MUXCY XL_MUXCY -rename MUXF7 XL_MUXF7 -rename VCC XL_VCC -rename XORCY XL_XORCY - -hierarchy -proc -flatten TB_* -opt_clean - -sat -verify -prove ok 1'b1 TB_GND -sat -verify -prove ok 1'b1 TB_INV -sat -verify -prove ok 1'b1 TB_LUT1 -sat -verify -prove ok 1'b1 TB_LUT2 -sat -verify -prove ok 1'b1 TB_LUT3 -sat -verify -prove ok 1'b1 TB_LUT4 -sat -verify -prove ok 1'b1 TB_LUT5 -sat -verify -prove ok 1'b1 TB_LUT6 -sat -verify -prove ok 1'b1 TB_MUXCY -sat -verify -prove ok 1'b1 TB_MUXF7 -sat -verify -prove ok 1'b1 TB_VCC -sat -verify -prove ok 1'b1 TB_XORCY - |