Find out the diff points in the ECO netlist and the reference netlist
Create Logic Cone ECO script
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
Create replacing points list. And call 'replace_logic_cone'
API in ECO script
Check
Logic Cone ECO for more detail
3. Apply the ECO script
gof -lib tech.lib -run logic_cone_eco.pl