Automatic ECO is to use a reference netlist to fix the implementation netlist under ECO. Gates On the Fly supports several automatic ECO methods.
The methods include:
- Structure Method
- Reorder Method
- Cut Point Method
The both global mode and incremental mode Automatic ECO.
The global mode Automatic ECO runs a top down Logic Equivalence Check on the design. Non-equivalent points are found and fixed. The global mode can guarantee the logic equivalence of the ECO result comparing to the reference netlist. However, the global mode may take long time to run in some large design.
The incremental mode can run much faster since it only focuses on RTL modified modules. However, the ECO result maybe not equivalent to the reference netlist sometimes and needs further debug. It is useful to give a fast turn around for ECO size estimation.
As a variation of the global mode, GOF supports partial mode which runs top down ECO on a sub-block instead of the most top level module.
Click here for one global mode Automatic ECO case.
Figure 1: Automatic ECO
Automatic ECO cases
- Automatic Functional ECO
- Automatic Functional ECO, Partial Mode
- Automatic Functional ECO, Incremental Mode
- Automatic Standard Cell Metal Only ECO
- Spare Gates Mapping in Metal Only ECO
- Constraint on Spare Gates Type and Number
- Metal Configurable Gate Array Spare Cells ECO
- DFT Constraints for Automatic Functional ECO and LEC
- Flip-flop Phase Inverted
- No Exact Pin Match
- Mixed Automatic and Manual ECO
- Clock Gating or MUX
- Reduce ECO Fix Scope
- Lockup Latches Handling in Automatic ECO
- Automatic Datapath ECO