Calypto, Forte Integrate Formal Verification and Behavioral Synthesis

10/5/2005 - Calypto Design Systems, Inc., the technology leader bridging system and Register Transfer Level (RTL) design, and Forte Design Systems, the leading provider of software products that enable higher level design, announced plans for industry's first integration of SystemC-based sequential equivalence checking and behavioral synthesis.

Calypto's SLECTM sequential equivalence checker united with Forte's CynthesizerTM behavioral synthesis offers SystemC designers the ability to quickly verify RTL designs generated from high-level algorithms. The companies' collaboration is addressing requirements of Cynthesizer users on production projects for a fast, accurate method of comprehensively verifying the correctness of RTL produced from SystemC.

According to both companies, this integrated solution is seen by multiple customers as a further enabler for system-level design. Just as logic synthesis and combinational equivalence checkers are the backbone of a RTL to gate-level design flows, behavioral synthesis and sequential equivalence checking are complementary components in system-level design flows. Sequential equivalence checking in a SystemC behavioral synthesis flow enables end-users to leverage the verification confidence of SystemC simulation directly into the verification of the resulting RTL.

"Calypto is providing a unique verification solution to leading edge design teams using SystemC." said Devadas Varma, CEO of Calypto Design Systems. "By collaborating with Forte, hardware engineers will significantly improve their high level verification flow and design confidently at the system level."

"We have seen tremendous growth in the adoption of SystemC and Cynthesizer around the world in the last 18 months," said Jacob Jacobsson, CEO of Forte Design Systems. "The Cynthesizer/SLEC integration will offer designers a more complete design and verification flow as they move to higher-level design thus further accelerating the adoption of Cynthesizer and SystemC."

About Calypto's SLECTM
The SLECTM product family is the next generation in functional verification. As the industry's first sequential equivalence checker, SLEC can verify block-level designs with sequential and temporal differences across levels of abstraction from transaction-level models to fully-timed RTL implementations.

About Forte's CynthesizerTM
Forte's Cynthesizer is an innovative behavioral synthesis and design product that delivers an implementation path from SystemC to RTL. Cynthesizer, which is used for production at more than ten world leading semiconductor and systems companies, accelerates RTL delivery for leading-edge integrated circuits and systems-on-chip by automatically generating optimized RTL code from a SystemC behavioral description.

About Calypto
Founded in 2002, Calypto Design Systems, Inc. enables IC design teams to bridge system and RTL for semiconductor design, thereby saving millions of dollars in design costs and silicon re-spins. The company delivers software products to leading edge semiconductor and systems companies worldwide. Calypto is privately held with venture funding from Cipio Partners, JAFCO Ventures, Tallwood Venture Capital and Walden International. The company is a member of the Cadence Connections program, the IEEE-SA, the Open SystemC Initiative (OSCI), Synopsys SystemVerilog Catalyst Program, and the Mentor Graphics OpenDoor program.

About Forte Design Systems
Forte Design Systems is a leading provider of software products that enable design at a higher level of abstraction. Forte's innovative Cynthesizer behavioral synthesis product allows design teams creating complex electronic systems from algorithmic designs using ASICs, SoCs, and FPGAs to significantly reduce their overall design and verification time. Forte is headquartered at 100 Century Center Court, San Jose, CA 95112.

Calypto and SLEC are trademarks of Calypto Design Systems, Inc. Cynthesizer is a trademark of Forte Design Systems.

Previous Page | News by Category | News Search

If you found this page useful, bookmark and share it on: