| yosys -import |
| if { [info procs dsp_ff] == {} } { plugin -i dsp-ff } |
| yosys -import ;# ingest plugin commands |
| |
| read_verilog $::env(DESIGN_TOP).v |
| design -save read |
| |
| set TOP "mult_ireg" |
| design -load read |
| hierarchy -top ${TOP} |
| synth_nexus -flatten |
| techmap -map +/nexus/cells_sim.v t:VLO t:VHI %u ;# Unmap VHI and VLO |
| equiv_opt -assert -async2sync -map +/nexus/cells_sim.v debug dsp_ff -rules ../../nexus-dsp_rules.txt |
| design -load postopt |
| yosys cd ${TOP} |
| stat |
| select -assert-count 1 t:MULT9X9 |
| select -assert-count 0 t:FD1P3IX |
| |
| set TOP "mult_oreg" |
| design -load read |
| hierarchy -top ${TOP} |
| synth_nexus -flatten |
| techmap -map +/nexus/cells_sim.v t:VLO t:VHI %u ;# Unmap VHI and VLO |
| equiv_opt -assert -async2sync -map +/nexus/cells_sim.v debug dsp_ff -rules ../../nexus-dsp_rules.txt |
| design -load postopt |
| yosys cd ${TOP} |
| stat |
| select -assert-count 1 t:MULT9X9 |
| select -assert-count 0 t:FD1P3IX |
| |
| set TOP "mult_all" |
| design -load read |
| hierarchy -top ${TOP} |
| synth_nexus -flatten |
| techmap -map +/nexus/cells_sim.v t:VLO t:VHI %u ;# Unmap VHI and VLO |
| equiv_opt -assert -async2sync -map +/nexus/cells_sim.v debug dsp_ff -rules ../../nexus-dsp_rules.txt |
| design -load postopt |
| yosys cd ${TOP} |
| stat |
| select -assert-count 1 t:MULT9X9 |
| select -assert-count 0 t:FD1P3IX |
| |
