Front-End Tool Shoves Verification Into The Limelight

Jan. 20, 2005
Many design teams now strive to create a viable design specification for early hardware/software coverification. Esterel Technologies' latest Esterel Studio release fills that bill by allowing designers to capture a design specification and then automat

Many design teams now strive to create a viable design specification for early hardware/software coverification. Esterel Technologies' latest Esterel Studio release fills that bill by allowing designers to capture a design specification and then automatically generate the hardware description in RTL or C.

The Esterel Studio 5.2 tool suite includes an editor; simulator; assertion-based verification; and VHDL, Verilog, C, and C++ code generators. It's intended for use in design and verification of complex consumer and multimedia systems-on-a-chip.

By combining advanced simulation methods with a sophisticated proof engine, high-level primitives, and hierarchical state machines, the suite builds verification into the design process. As a result, designers are better equipped to weed out functional errors in their designs early in the cycle.

In addition, the suite makes it possible to construct a "golden" reference model for the functional design specification in text and/or graphics, which can then be used throughout the flow. Such a model permits improved communication between hardware and software teams and between customers and suppliers.

Version 5.2 adds scalable, modular, and hierarchical design flows to handle designs of unlimited size. It also offers enhanced datapath expressions and exact arithmetics, with static detection of unsigned overflows for safer, better, optimized designs.

Esterel Studio 5.2 is available in local-area and wide-area network configurations. One-year time-based licenses start at $33,000.

Esterel Technologieswww.esterel-technologies.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!