Equivalence Checker Handles Sequential Logic

May 12, 2005
For electronic system-level (ESL) methodologies to come to fruition, designers need to be able to nimbly move between levels of abstraction, especially when it comes to sequential logic. Design is done on a continuum that ranges from transactional-lev

For electronic system-level (ESL) methodologies to come to fruition, designers need to be able to nimbly move between levels of abstraction, especially when it comes to sequential logic. Design is done on a continuum that ranges from transactional-level models to fully timed RTL representations. But there's been a lag in tools that enable verification between levels of abstraction.

The SLEC product family from Calypto Design Systems addresses this lag. Touted as the industry's only sequential-logic equivalence checker, the SLEC platform enables design teams to quickly verify that RTL implementations match system-level specifications.

SLEC can prove functional equivalence between two IC designs that contain differences in level of abstraction and sequential behavior. It also can verify designs with sequential differences such as microarchitectural changes, state-machine modifications, timing rebalancing, and interface differences.

The SLEC sequential equivalence checking software is based on a patented hybrid verification technology that, unlike traditional combinational equivalence checkers, supports designs with sequential differences.

There are two initial products in the family: SLEC System and SLEC RTL. Design teams can use SLEC System to check that RTL implementations match a system-level design. SLEC RTL checks functional equivalence between two versions of an RTL design that have differences in architecture and timing.

The SLEC products are available now with support for Verilog, VHDL, SystemC, and C/C++ hardware descriptions. Pricing begins at $175,000 for a one-year license on Linux platforms.

Calypto Design Systems Inc.www.calypto.com

Sponsored Recommendations

TTI Transportation Resource Center

April 8, 2024
From sensors to vehicle electrification, from design to production, on-board and off-board a TTI Transportation Specialist will help you keep moving into the future. TTI has been...

Cornell Dubilier: Push EV Charging to Higher Productivity and Lower Recharge Times

April 8, 2024
Optimized for high efficiency power inverter/converter level 3 EV charging systems, CDE capacitors offer high capacitance values, low inductance (< 5 nH), high ripple current ...

TTI Hybrid & Electric Vehicles Line Card

April 8, 2024
Components for Infrastructure, Connectivity and On-board Systems TTI stocks the premier electrical components that hybrid and electric vehicle manufacturers and suppliers need...

Bourns: Automotive-Grade Components for the Rough Road Ahead

April 8, 2024
The electronics needed for transportation today is getting increasingly more demanding and sophisticated, requiring not only high quality components but those that interface well...

Comments

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