| yosys -import |
| if { [info procs read_sdc] == {} } { plugin -i sdc } |
| yosys -import ;# ingest plugin commands |
| |
| read_verilog $::env(DESIGN_TOP).v |
| # Some of symbiflow expects eblifs with only one module. |
| synth_xilinx -flatten -abc9 -nosrl -noclkbuf -nodsp |
| |
| # -to inter_wire net |
| set_false_path -to inter_wire |
| |
| # -from clk net (quiet) |
| set_false_path -quiet -from clk |
| |
| # -from clk to bottom_inst/I |
| set_false_path -from clk -to bottom_inst.I |
| |
| # -through bottom_inst/I |
| set_false_path -through bottom_inst.I |
| |
| write_sdc [test_output_path "set_false_path.sdc"] |
