"Sugar" Sweetens System-Level Verficiation Flow

July 7, 2003
It's shaping up as the summer of assertion-based verification. Summit Design has debuted an assertion-based flow linking the Property Specification Language (formerly IBM's Sugar 2.0) with its Visual Elite functional modeling and verification...

It's shaping up as the summer of assertion-based verification. Summit Design has debuted an assertion-based flow linking the Property Specification Language (formerly IBM's Sugar 2.0) with its Visual Elite functional modeling and verification tool.

Combining Visual Elite and IBM's "FoCs" tool, the new flow accelerates HDL and SystemC design and verification. Assertion-based verification lets designers define high-level functional rules (assertions or properties) that can be applied throughout the design process. It also helps find missed coverage at various abstraction levels.

Visual Elite is a C/C++ and SystemC functional modeling and verification environment that enables engineers to quickly capture and analyze complex hardware architectures and effectively map them to RTL implementation. FoCs takes Sugar assertions and transforms them to efficient assertion checking code, which can be integrated into the simulation environment. Combining FoCs and Visual Elite provides for dynamic assertion checking that greatly improves verification effectiveness.

Visual Elite is now in version 4.0. Major enhancements include Visual Elite Embedded System Co-design (ESC), a SystemC solution for target processors; and SystemC fast simulation and coding style utilizing FastC, a native SystemC text environment.

Visual Elite 4.0 is available now for beta trial with prices starting at $15,000.

Summit Design Inc.www.sd.com

Sponsored Recommendations

Board-Mount DC/DC Converters in Medical Applications

March 27, 2024
AC/DC or board-mount DC/DC converters provide power for medical devices. This article explains why isolation might be needed and which safety standards apply.

Use Rugged Multiband Antennas to Solve the Mobile Connectivity Challenge

March 27, 2024
Selecting and using antennas for mobile applications requires attention to electrical, mechanical, and environmental characteristics: TE modules can help.

Out-of-the-box Cellular and Wi-Fi connectivity with AWS IoT ExpressLink

March 27, 2024
This demo shows how to enroll LTE-M and Wi-Fi evaluation boards with AWS IoT Core, set up a Connected Health Solution as well as AWS AT commands and AWS IoT ExpressLink security...

How to Quickly Leverage Bluetooth AoA and AoD for Indoor Logistics Tracking

March 27, 2024
Real-time asset tracking is an important aspect of Industry 4.0. Various technologies are available for deploying Real-Time Location.

Comments

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