NanDigits Design Automation

1. Find out the diff points in the ECO netlist and the reference netlist

2. Create Logic Cone ECO script

3. Apply the ECO script

1. Find out the diff points in the ECO netlist and the reference netlist

Synthesize ECO RTL to get the reference netlist. Use Logic Equivalence Check tool, Conformal or Formality to check the difference of the two netlists.

2. Create Logic Cone ECO script

Fill in the end points to replacement lines. Check Logic Cone ECO for more detail

#This is an ECO file for GOF
set_eco_number eco056789
current_design send_controller
replace_register state_reg_0_ -pin "D"
replace_register state_reg_1_ -pin "D"
replace_register state_reg_2_ -pin "D"
write_eco -f verilog neweco_sdc.gv

3. Apply the ECO script

gof -o sc_cone.log -synlib synthesis.lib -imp sdc_ori.flat.gv -ref sdc_mod.flat.gv -ecofile eco_file_sc.eco

To application main page