Actel and Prover Technology Announce Equivalence Checking Support for Actel Design Flows
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.
About Actel
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.
Contact: Stephanie Mrus, Actel Corporation, 650.318.4614
