For Immediate Release

Synplicity and Prover technology introduce best-in-class FPGA synthesis and logic VERIFICATION FLOW for Industry-Leading FPGA devices

Seamless Integration and Automation Enables Productivity and Quality Gains

SUNNYVALE and SAN MATEO, Calif., January 24, 2005 – Synplicity Inc. (Nasdaq: SYNP), a leading supplier of software for the design and verification of semiconductors, and Prover Technology Inc., a leading supplier of software for formal verification of semiconductors and embedded software systems, today announced an integrated verification flow for Synplicity’s Synplify Pro® advanced FPGA synthesis product. The integrated flow combines the Prover eCheck TM equivalence checker and the Synplify Pro 8.0 software, enabling users of the Synplify Pro product to routinely employ Prover’s formal verification product in their verification flow. The flow was developed to meet the growing demand for efficient formal verification for mission-critical FPGA applications and ASIC prototyping.

The combined flow automates equivalence checking of Altera and Xilinx FPGA designs, dramatically reducing the need for manual configuration. As a result, FPGA designers can now leverage a thorough equivalence checking methodology previously only available to ASIC designers.

“As FPGA design complexity continues to increase, it is important that Synplicity offer high-quality equivalence checking to its customers,” said Andy Haines, vice president of marketing at Synplicity. “We believe our partnership with Prover Technology and the formal verification flow we have developed together provide our customers a high-quality formal verification solution along with outstanding technical support.”

“When using FPGAs for ASIC prototyping or in mission critical systems, it is imperative to ensure that the logic functionality of the device matches the golden RTL,” said Marcus Tallhamn, vice president of marketing and business development, Prover Technology. “Our joint flow enables designers to achieve functional closure with unparalleled ease of use and automation.”

About Synplicity
Synplicity® Inc. (Nasdaq: SYNP) is a leading supplier of innovative synthesis, verification and physical implementation software solutions that enable the rapid and effective design and verification of semiconductors. Synplicity’s high-quality, high-performance tools significantly reduce costs and time-to-market for FPGA, structured/platform ASIC and cell-based/COT ASIC designers. The company’s underlying Behavior Extracting Synthesis Technology® (BEST™), which is embedded in its logical, physical and verification tools, and has led to Synplicity’s top position in FPGA synthesis, now provides the same fast runtimes and quality of results to ASIC and COT customers. The company’s fast, easy-to-use products support industry standard design languages (VHDL and Verilog) and run on popular platforms. Synplicity employs over 280 people in its 20 facilities worldwide. Synplicity is headquartered in Sunnyvale, California. For more information visit http://www.synplicity.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.

Forward-Looking Statements
This press release contains forward-looking statements including, but not limited to, statements regarding the performance and achievements of an integrated verification flow for Synplicity’s Synplify Pro and Synplicity’s partnership with Prover Technology, Inc. In some cases, you will be able to identify forward-looking statements by terminology such as “may,” “will,” “should,” “expects,” “believes” or the negative of these terms or other comparable terminology. These statements are only predictions and involve known and unknown risks, uncertainties and other factors that may cause the actual achievements or performance of the integrated verification flow to differ materially from the forward-looking statements, including the performance and quality of Synplicity’s products relative to other comparable software (both individually and combined with third party products), latent defects, design flaws or other problems with the integrated verification flow and the growth and changing technical requirements in the programmable semiconductor market. For additional information and considerations regarding the risks faced by Synplicity, see its annual report on Form 10-K for the year ended December 31, 2003 as filed with the Securities and Exchange Commission, as well as other periodic reports filed with the SEC from time to time, including its quarterly reports on Form 10-Q. Although Synplicity believes that the expectations reflected in the forward-looking statements are reasonable, Synplicity cannot guarantee the future performance or achievements of its software. In addition, neither Synplicity nor any other person assumes responsibility for the accuracy or completeness of these forward-looking statements. Synplicity disclaims any obligation to update information contained in any forward-looking statement.

# # #

Synplicity, Synplify Pro and Behavior Extracting Synthesis Technology are registered trademarks of Synplicity Inc. BEST is a trademark of Synplicity Inc. 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.

Synplicity Contact:
Jeff Garrison
Synplicity, Inc.
408-215-6000
jeff@synplicity.com

Synplicity PR Contact:
Steve Gabriel
Porter Novelli
408-369-1500 x627
steve.Gabriel@porternovelli.com

Prover Technology PR Contact:
Marcus Tallhamn
650-722-2750
marcus@prover.com