Equivalence Checker Applies Formal Verification At Circuit Level

July 8, 2002

Revision 5.0 of the ESP-CV equivalence checking tool offers two major optional enhancements. One is CKT, which applies formal verification at the circuit level, and the other is COV, which reports coverage holes that occur during the equivalence checking process. The CKT feature eliminates the need to manually model parasitic effects and automatically creates an RC model of devices based on the transistor length, width, and process technology. The COV feature increases equivalence confidence by reporting coverage problems created by an overly constrained testbench. It also allows designers to compare two different simulations to check for equivalence. Revision 5.0 of ESP-CV will be available in the third quarter of 2002 with prices starting at $165,000. The CKT option costs $45,000, while the COV option costs $15,000.

InnoLogic Systems Inc.
www.innologic-systems.com; (408) 432-6188

About the Author

David Maliniak | MWRF Executive Editor

In his long career in the B2B electronics-industry media, David Maliniak has held editorial roles as both generalist and specialist. As Components Editor and, later, as Editor in Chief of EE Product News, David gained breadth of experience in covering the industry at large. In serving as EDA/Test and Measurement Technology Editor at Electronic Design, he developed deep insight into those complex areas of technology. Most recently, David worked in technical marketing communications at Teledyne LeCroy. David earned a B.A. in journalism at New York University.