Esterel Technologies Adds Top-level Validation Capabilities and Fast-C Code Generator to Newest Release of Esterel Studio

New features help system-level designers to master the complexity of IP integration for system-on-chip designs and telecom protocol designers to develop accurate, fast, and portable C code

MOUNTAIN VIEW, Calif. and GUYANCOURT, France, March 4, 2002

Esterel Technologies today announced the newest release of Esterel Studio, with support from customers Texas Instruments, ST Microelectronics, and France Telecom R&D. Esterel Studio is a software product used by designers of system-on-chip (SoC) for system-level functional verification and by developers of embedded software to create telecommunications protocols ready to embed in telecommunications equipment.

Esterel Studio 3.1.6, the new release, adds two major capabilities: system-level transition coverage and a Fast-C code generator. In addition, the new release provides access to external text editors and dynamic waveform display during simulation.

The new version of Esterel Studio gives designers the ability to measure 100% of the states a design can reach, and 100% of the transitions between states, to fully analyze the global interactions among all the IP blocks on a chip. Transition coverage is very important for SoC designs that integrate numerous intellectual property (IP) blocks due to the vast numbers of possible transitions between the blocks. Other verification tools use predetermined test sets to measure state and transition coverage of individual components of a design at the RTL or gate levels. The Esterel advantage is that Esterel Studio automatically generates the test sets, works at the system level, and tests all concurrent interactions of the components integrated together.

The new Fast-C Code Generator is especially useful for developers of embedded telecommunications protocols who need accurate, fast, portable code they can import directly into their products. Without Fast-C Code Generator, telecom protocol developers must hand-code the programs, which is a time-consuming and error-prone task.

A new approach to top-level validation to enhance and automate verification of SoC designs

Esterel Studio automates the functional verification of SoC designs, enabling designers to describe IP blocks and automatically generate exhaustive and non-redundant testbench scenarios to verify the interoperability of the blocks.

Transition coverage increases a designer's confidence that an SoC design will function properly. Transition coverage is a set of tests performed on a design to ensure that each state can be reached from every other state. While state coverage included in the previous release of Esterel Studio enables SoC designers to generate all possible reachable states of the SoC, transition coverage generates all the transitions from one state to another. If one or more states or transitions are not tested, malfunctions that exist in a design could go undetected until a product reaches the consumer. And this may result in the loss of millions of dollars.

It's unrealistic to manually or randomly calculate all the states and transitions in a SoC design, said Hassan Lâasri, vice president of marketing at Esterel Technologies, and even directed random approaches often don't get close enough. Only through structured methods such as those in our underlying technology can we provide 100% state and transition coverage.

A structured, formal approach to defining the transactions provides a clean spec, added Lâasri. We can guarantee 100% coverage of the behavior, and define a model of interaction between the IP blocks to get that coverage. Without Esterel Studio, designers doing complex SoC designs or module integration are spending far too much time running tests without knowing what they are measuring.

About Esterel Technologies

Esterel Technologies provides electronic system and embedded software designers with methodologies and tools that improve their productivity and remove the barriers between system specification, implementation, and validation. The company's products automate costly and time-consuming coding and validation work through executable specification, intelligent test suite generation, and automatic code generation. Esterel Technologies is an international company with offices in France, Germany, UK, and the United States.

For more information: www.esterel-technologies.com

Contact

Esterel Technologies

Linda Prowse Fosler

Phone : 650-641-1706

linda.prowse-fosler@esterel-technologies.com

Cayenne Communication

Michelle Clancy

Phone : 252-940-0981

michelle.clancy@cayennecom.com

###