Calypto Expands Sequential Analysis Capabilities with SLEC 2.0 Release
May 23, 2006 -- Calypto Design Systems, Inc. has released version 2.0 of its SLEC product family, a sequential logic equivalence checking solution that can verify functional equivalence between a system-level model and its corresponding RTL model independent of sequential differences. SLEC 2.0 increases capacity by 100x for system level designs over previous releases, improves runtime and further simplifies the design debug process with counter example enhancements.
"Our advanced system-level flow provides significant benefit to the designers of the world's most complex image processing and digital communications products," states Pascal Urard, High Level Synthesis Manager at STMicroelectronics. "SLEC 2.0 allows us to design blocks of several hundred thousand gates at a higher level of abstraction by keeping all the various models in sync at all stages of development."
"Today's SoC Designers need to move to system level design to drive innovation and enhance their competitive advantage," says Tom Sandoval, CEO of Calypto Design Systems. "SLEC 2.0 enables designers to bridge a system-level model to its equivalent RTL implementation, independent of sequential differences. It is the key technology that is enabling ESL."
In SLEC 2.0, Calypto has extended its patented sequential analysis engine with a new algorithm that gives a 100X improvement in handling sequential changes. Sequential changes are common when comparing functional system level designs with cycle accurate RTL designs. SLEC 2.0 can handle designs where the state and temporal differences are measured in the millions.
Design teams who adopt system-level design methodologies can use the SLEC products to leverage their investment in system-level validation to verify and refine RTL implementations. SLEC enables designers to quickly verify RTL refinements without having to spend time and resources running a full regression suite. Likewise, RTL designers can leverage previously validated designs to confidently make sequential changes such as pipelining and resource sharing for power and performance improvement that would have previously taken weeks of simulation time to verify. In both cases, the SLEC platform delivers a comprehensive sequential verification solution that identifies bugs that are difficult to find or missed when using traditional simulation methods.
"A broad spectrum of IC designers in the communications, wireless and consumer markets can now rapidly verify micro-architecture changes made to an RTL implementation model to optimize power and performance," adds Sandoval. "SLEC 2.0 ensures comprehensive functional equivalence to the corresponding system-level model, dramatically reducing the need to run time consuming, exhaustive simulations."
Pricing and Availability
The SLEC 2.0 product family is immediately available with support for Verilog, VHDL, SystemC and C/C++ hardware descriptions. It runs on Linux operating systems and is priced from $175,000.
Reprinted from SOCcentral.com, your first stop for ASIC, FPGA, EDA, and IP news and design information.