diff options
Diffstat (limited to 'tests/arch/xilinx/opt_lut_ins.ys')
| -rw-r--r-- | tests/arch/xilinx/opt_lut_ins.ys | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/arch/xilinx/opt_lut_ins.ys b/tests/arch/xilinx/opt_lut_ins.ys index a01d02179..2328919a3 100644 --- a/tests/arch/xilinx/opt_lut_ins.ys +++ b/tests/arch/xilinx/opt_lut_ins.ys @@ -18,6 +18,7 @@ end EOF +read_verilog -lib +/xilinx/cells_sim.v equiv_opt -assert -map +/xilinx/cells_sim.v opt_lut_ins -tech xilinx design -load postopt |