SANTA CLARA and SAN JOSE, Calif. – October 4, 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, today announced plans
for industry's first integration of SystemC-based sequential equivalence
checking and behavioral synthesis.
Calypto's SLEC™ sequential equivalence checker united with Forte's
Cynthesizer™ 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."
The SLEC™ 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.
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.
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. More information about the company may be found
at www.calypto.com.
Forte Design Systems is a leading provider of software products that enable
design at a higher level of abstraction. Forte's innovative
behavioral synthesis technology allows design teams creating complex
electronic systems from algorithmic designs using ASICs, FPGAs, and SoCs to
significantly reduce their overall design and verification time. Forte is
headquartered at 100 Century Center Court, San Jose, CA 95112. For more
information, visit
www.ForteDS.com.
Calypto and SLEC are trademarks of Calypto Design
Systems, Inc. Cynthesizer is a trademark of Forte Design Systems. All other
trademarks mentioned in this document are the property of their respective
owners.
|