October 23, 2008 -- As the result of more than three years of collaboration, Calypto Design Systems, Inc. and Forte Design Systems, Inc. have created an advanced SystemC design flow encompassing verification and implementation that provides consumer and multimedia electronics companies with improved productivity and design quality.
The seamless integration of Calypto’s SLEC System-HLS formal verification software and Forte’s Cynthesizer SystemC synthesis offers a complete SystemC to register transfer level (RTL) design flow. This advanced system-level solution has been proven by one of Japan’s largest integrated device manufacturers (IDMs) to support the complexity and capacity requirements of multi-million gate system-on-chip (SOC) designs.
Both products have been extensively tuned on numerous SystemC designs to satisfy sophisticated user requirements, such as custom interface specifications, external memory interfaces and fixed point datatypes. The advanced SystemC design flow enables users to specify and verify SOC functionality, communication and timing at the system level. SLEC verifies the equivalence of two SystemC models during system-level model refinement and comprehensively verifies the RTL code generated from Cynthesizer.
"High-level synthesis continues to provide a significant time-to-market advantage for design teams around the world," says Sean Dart, Forte’s president and CEO. "Coupled with sequential logic equivalence checking, designers can further improve their productivity and confidence using industry standard SystemC in their ESL design flow."
SLEC System-HLS verifies the RTL code generated from high-level synthesis (HLS) tools and is tightly integrated into HLS design flows by automating functional verification setup and supporting HLS language extensions. SLEC System-HLS verifies SystemC and RTL designs without the need for writing testbenches or running simulation. SLEC System-HLS is part of Calypto’s proven SLEC product family that also includes SLEC System, SLEC RTL and SLEC CG.
Forte’s Cynthesizer delivers production quality RTL in one tenth of the time of hand-coded RTL designs, improves results, and eliminates downstream timing closure problems. Cynthesizer uses a high-level SystemC description to give designers the ability to build designs with custom interfaces and challenging architectural requirements not possible with other C-based products. Cynthesizer can automatically retarget designs to new speeds and process technologies and supports a level of reuse that is impossible in RTL.
Go to the Calypto Design Systems, Inc. website to find additional information.