Formal Verification Tools Check SoCs Down To Transistor Level

June 10, 2002
Targeted for users of next-generation physical design closure tools, customer-owned tooling (COT) flows, and advanced ASIC flows, a new suite of formal verification products reaches into the physical domain for system-on-a-chip (SoC) applications....

Targeted for users of next-generation physical design closure tools, customer-owned tooling (COT) flows, and advanced ASIC flows, a new suite of formal verification products reaches into the physical domain for system-on-a-chip (SoC) applications. The Conformal Logic Equivalence Checker (LEC) and Transformal Logic Transistor eXtractor (LTX) perform advanced verification on all logic blocks of complex SoCs, from register-transfer level (RTL) to final layout-versus-schematic netlist comparisons. Together, the tools make up a flow Verplex terms Conformal Layout Versus RTL (LVR). Blocks checked include memory, compiled datapath, memory control, intellectual property cores, complex I/O, and full-custom logic. Traditionally, formal verification tools have not reached the transistor level, missing mistakes made in the layout process and other back-end steps. Shipping now, the tools support 64-bit HP, Sun, and Linux platforms. Conformal LEC is priced from $105,000; Transformal LTX from $95,000; and Conformal LVR (available in the third quarter) from $105,000.

Verplex Systems Inc.
www.verplex.com; (408) 536-0300

Sponsored Recommendations

Highly Integrated 20A Digital Power Module for High Current Applications

March 20, 2024
Renesas latest power module delivers the highest efficiency (up to 94% peak) and fast time-to-market solution in an extremely small footprint. The RRM12120 is ideal for space...

Empowering Innovation: Your Power Partner for Tomorrow's Challenges

March 20, 2024
Discover how innovation, quality, and reliability are embedded into every aspect of Renesas' power products.

Article: Meeting the challenges of power conversion in e-bikes

March 18, 2024
Managing electrical noise in a compact and lightweight vehicle is a perpetual obstacle

Power modules provide high-efficiency conversion between 400V and 800V systems for electric vehicles

March 18, 2024
Porsche, Hyundai and GMC all are converting 400 – 800V today in very different ways. Learn more about how power modules stack up to these discrete designs.

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!