| yosys -import |
| if { [info procs dsp_ff] == {} } { plugin -i dsp-ff } |
| yosys -import ;# ingest plugin commands |
| |
| set DSP_RULES [file dirname $::env(DESIGN_TOP)]/../../nexus-dsp_rules.txt |
| |
| read_verilog $::env(DESIGN_TOP).v |
| design -save read |
| |
| set TOP "conflict_dsp_ctrl_param" |
| design -load read |
| hierarchy -top ${TOP} |
| synth_nexus -flatten |
| techmap -map +/nexus/cells_sim.v t:VLO t:VHI %u ;# Unmap VHI and VLO |
| debug dsp_ff -rules ${DSP_RULES} |
| stat |
| select -assert-count 1 t:MULT9X9 |
| select -assert-count 18 t:FD1P3IX |
| |
| set TOP "conflict_dsp_common_param" |
| 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 ${DSP_RULES} |
| design -load postopt |
| yosys cd ${TOP} |
| stat |
| select -assert-count 1 t:MULT9X9 |
| select -assert-count 9 t:FD1P3IX t:FD1P3DX %u |
| |
| set TOP "conflict_ff_param" |
| design -load read |
| hierarchy -top ${TOP} |
| synth_nexus -flatten |
| techmap -map +/nexus/cells_sim.v t:VLO t:VHI %u ;# Unmap VHI and VLO |
| debug dsp_ff -rules ${DSP_RULES} |
| stat |
| select -assert-count 1 t:MULT9X9 |
| select -assert-count 4 t:FD1P3IX |
| select -assert-count 5 t:FD1P3DX |
