Prover Technology and Esterel Technologies Join Forces to Cut Weeks from Hardware and Software Development Cycles

Esterel Technologies Integrates Prover SL Into Two Verification-Critical System Development Tools

REDWOOD CITY, Calif. / Guyancourt, France, March 11, 2002

Prover Technology, the world's leading provider of proof engines, and Esterel Technologies today announced an OEM agreement to integrate Prover's proof engine for sequential logic, Prover SL©, into Esterel Technologies' system-level development tools. Under the terms of the OEM agreement, Esterel Technologies will license two different versions of Prover SL for integration into Esterel Studio™ and SCADE™.

This agreement gives Esterel Technologies' customers increased verification capacity, enabling them to automatically verify larger, more complex system-level designs with minimal manual effort. Esterel Technologies' Prover SL-enabled tools automate sophisticated formal verification tasks that had typically required extensive end-user knowledge in formal verification, thereby lessening the reliance on specially trained test engineers, shortening the verification process and eliminating costly re-design cycles.

The integration of Prover Technology's Prover SL proof engine with Esterel Studio's formal verification technology gives Esterel Technologies' semiconductor and telecom customers access to a powerful yet easy-to-use verification solution, said Eric Bantégnie, president and CEO of Esterel Technologies. Integrating Prover SL in SCADE will enable our aerospace, automotive, and energy customers to discover potentially costly bugs long before they become expensive to fix.

Prover Technology's strategic agreement with Esterel Technologies represents the creation of a powerful new breed of system-level development tools, said Gunnar Stålmarck, CEO of Prover Technology. Through this licensing agreement, Esterel Technologies illustrates its dedication to providing their customers with the most advanced technology to cost-effectively achieve the highest level of safety and reliability in their product designs.

Esterel Studio is adding Prover SL for Esterel Studio, a specialized version of Prover SL. Esterel Studio is used by system on chip (SoC) designers for system-level functional verification, and by developers of embedded software to create telecommunications protocols ready to embed in telecommunications equipment. Prover SL for Esterel Studio' increases the capabilities of Esterel Studio's own proof engine to create a more powerful, fully automated formal verification process, further reducing time spent in test generation and execution.

Esterel Technologies will also integrate a specialized version of Prover SL into SCADE, an application development environment for safety-critical embedded software. Prover SL for SCADE, tuned for embedded software verification, enables system designers to run automated, exhaustive verification providing 100 percent state coverage. This complete verification coverage ensures safety-critical software will not fail due to design errors.

Pricing and Availability

Prover SL-enabled versions of Esterel Studio and SCADE design tools will be available beginning March 2002. Pricing for Esterel Studio and SCADE starts at $19,000 US and varies according to configuration and license type.

About Prover Technology

Prover Technology is the world's leading provider of proof engines. Founded in 1989, Prover Technology is the most experienced company working in automated formal verification. Its investors include Intel Capital, London-based MVI, and The Swedish Industrial Development Fund. Prover Technology has sales offices and R&D centers in Silicon Valley and Oregon, US, Sweden (HQ), and France. For more information, visit Prover Technology's web site at www.prover.com.

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

###