Prover Technology Joins Actel's Alliance Program; Provides Equivalence Checking Verification Flow for Actel Devices, Including the Axcelerator High-Speed, High-Capacity Family
MOUNTAIN VIEW, Calif. and SAN MATEO, Calif., March 30, 2005 — Actel Corporation (Nasdaq: ACTL) and Prover Technology, Inc. today announced that the Prover eCheck™ equivalence checker has been validated for design verification in Actel's Libero Integrated Design Environment (IDE) and that Prover has joined Actel's Alliance Program. Prover eCheck provides designers with an automated solution to identify implementation inconsistencies for Actel's antifuse- and flash-based field-programmable gate array (FPGA) devices within a range of high-reliability designs, including military, aerospace and communications applications.
The flow is appropriate for Actel customers that produce mission-critical space and/or military designs where functional inconsistencies can have severe consequences. One such customer is Tesat-Spacecom, a leader in advanced FPGA-based designs for critical space applications in communication satellites.
"We licensed Prover eCheck in 2003 and have used it to verify more than 14 Actel designs. Prover eCheck efficiently ensures that logic produced by the implementation tools is correct before we sign off on a design," said Volker Lück, manager IC development, Tesat-Spacecom.
By using formal verification techniques, the Prover eCheck exhaustively verifies synthesis and place and route faster and with a much higher degree of automation than simulation-based verification solutions.
"Our customers produce some of the world's most important applications, such as embedded control systems in cars, passenger jets, satellites and missiles. Because there is absolutely no room for error in such applications, Actel's FPGAs are a popular choice, and our customers use Prover eCheck to exhaustively prove that the critical systems are 100 percent functionally correct prior to shipping," said Arne Boralv, president and chief technology officer at Prover Technology.
Saloni Howard-Sarin, director of antifuse and tools marketing at Actel, added, "We welcome Prover Technology to our Alliance Program as an EDA partner. Many of our customers have very stringent requirements when it comes to reliability, safety and correctness. With its intuitive user interface and automation, Prover eCheck enables them to get functional closure more quickly."
Actel's Alliance Program
Actel is committed to providing integrated solutions that work with existing EDA software and design flows. Actel works closely with its EDA partners through the Actel Alliance Program to provide early technical information on new Actel releases so the EDA partners can offer timely support.
Actel Corporation is a supplier of innovative programmable logic solutions, including field-programmable gate arrays (FPGAs) based on antifuse and flash technologies, high-performance intellectual property (IP) cores, software development tools and design services, targeted for the high-speed communications, application-specific integrated circuit (ASIC) replacement and radiation-tolerant markets. Founded in 1985, Actel employs more than 500 people worldwide. The Company is traded on the Nasdaq National Market under the symbol ACTL and is headquartered at 2061 Stierlin Court, Mountain View, CA, 94043-4655. Telephone: 888-99-ACTEL (992-2835). Internet:: http://www.actel.com.
About Prover Technology
Prover® Technology is the world's leading provider of formal verification products and solutions. The company has been accelerating verification and improving quality for designers of semiconductors and embedded software since 1989 and is the most experienced company in the field. Prover Technology's product portfolio includes Prover iLock, the leading solution for railway interlocking verification, Prover eCheck, a logic equivalence checker supporting both ASIC and FPGA flows, and Prover Plug-In®, a family of proof engine products available for OEM licensing. Prover Technology is a privately held company with offices in Silicon Valley, France, and Sweden (HQ). For more information and office locations, visit Prover Technology's web site at http://www.prover.com.
# # #
The Actel name and logo are trademarks of Actel Corporation. Prover, Prover Technology and Prover Plug-In are registered trademarks of Prover Technology, AB. Prover eCheck is a trademark of Prover Technology, AB. All other trademarks are the property of their respective owners.