Impact and Usage of Formal Verification Schemes for Modular ECO Implementation
This paper examines the various logical equivalence checking methodologies and suggests an automated way of establishing the modules in which there is an ECO (logic addition/deletion). The experimental results provided in this paper prove the quality of the ECOed netlist obtained with the help of the above information is in no way inferior (in terms of gate count) to a corresponding manual implementation and takes less time as opposed to its counterpart.
Please disable any pop-up blockers for proper viewing of this Whitepaper.