March 8, 2005
Prover Technology Provides Automated and Proven Equivalence Checking Solution for Synplify Pro-Based Flows Targeting Xilinx Devices
Prover Technology joins Xilinx Alliance EDA partner program and provides an automated and proven equivalence checking solution for Xilinx devices, including Virtex-4 and EasyPath
San Mateo, Calif., Mar 8, 2005 - Prover Technology, Inc., the world's leading supplier of formal verification solutions, today announced that it has joined Xilinx' Alliance EDA partner program and that its leading equivalence checking product Prover eCheck supports Synplify Pro-based flows targeting Xilinx® devices, including Virtex-4� and EasyPath�. The robust interoperability of Prover eCheck and Synplify Pro®, developed in collaboration with Xilinx and Synplicity®, enables designers using Synplify Pro synthesis and Xilinx P&R to achieve 100% verification coverage, dramatically reducing the verification challenges for FPGAs in mission critical and prototyping applications.
"Xilinx welcomes Prover Technology as our newest EDA alliance partner supporting our industry leading high-end Virtex series FPGAs with their equivalence checker Prover eCheck" says Steve Lass, Director of software marketing at Xilinx. "This verification solution is available for Windows, Linux and Solaris and provides an easy-to-use, push-button flow that enables our high-end Virtex-4 customers to ensure that the functionality of their RTL code has been maintained throughout the FPGA design flow. An increasing number of our customers desire this capability, including those using our EasyPath low cost FPGA solution."
"Synthesis bugs which weren't detected until lab testing, and then took days of gate-level simulation to isolate, are now caught in minutes using Prover eCheck before we even program our Virtex� and Spartan� FPGAs", said Elchanan Rappaport, Manager of Logic Development at Lynx Photonic Networks, a leading provider of next-generation photonic switches and optical applications for telecom system vendors. He continued, "Using Prover eCheck, we've been able to reduce our engineering time dramatically, while maintaining the same zero-bug quality level."
About Prover Technology
Prover® Technology is the world's leading provider of formal verification products and solutions. Founded in 1989, the company has been accelerating verification within the semiconductor and embedded software industries for 15 years 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, the most easy-to-use logic equivalence checker for 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.
Prover Editorial contact:
Marcus Tallhamn
650 722 2750
marcus@prover.com
# # #
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.
