CIMdata PLM Industry Summary Online Archive

12 January 2005

Acquisitions

Jasper Design Automation Acquires Safelogic Corporation

Jasper Design Automation , provider of high-level formal verification solutions, announced that it has acquired Safelogic , a supplier of Property Specification Language (PSL) based formal verification. The terms of the transaction were not disclosed. The acquisition brings together technology leaders in complementary areas within the formal verification market, creating a combined company with the EDA industry's strongest solution for verification and debugging of block-level designs using assertions and high-level requirements. The merged company has one of the formal industry's strongest engineering teams, with development sites in Mountain View, Calif., Berkeley, Calif., and Göteborg, Sweden.

"By combining Safelogic's automatic, push-button, high performance solution for assertion-based verification with Jasper's solution for high-capacity high-level verification and debugging, we will accelerate proliferation of our products by increasing ease-of-adoption for new customers," said Kathryn Kranen, president and CEO of Jasper. "The merged solution will give designers and verification engineers the ability to quickly and easily prove their assertions, as well as to reach full proof of high-level requirements on full blocks using Jasper's unique design tunneling technology. Safelogic's advanced implementation of PSL verification, together with Jasper's fast static debugging capability, gives design teams a powerful new way to deliver provably correct designs with a shorter, predictably finite verification schedule."

"Jasper and Safelogic are a perfect match for maximizing technology offerings and market opportunities," said Pär-Jörgen Pärson, chairman of Safelogic. "Jasper has focused on high-level interactive proof of block-level requirements, while Safelogic has focused on developing world-class proof engines for fast verification of PSL assertions with minimal user interaction. Jasper is strong in North America and Japan, while Safelogic is strong in Europe. The combined company can field the fastest, broadest formal verification solution across all geographies."

Safelogic brings to Jasper one of the world's fastest formal proof engines. When integrated with Jasper's Precognitive engine, which automatically determines which parts of a design are relevant for a particular proof, this solution will give users the highest performing formal proof solution.

Safelogic has long been involved in the development effort for the Property Specification Language, and has developed the market's most advanced implementation of PSL formal verification.

"Safelogic is widely recognized as having made a major contribution to the development of the PSL standard, particularly as it relates to formal proof," said Harry Foster, chairman of the IEEE-1850 PSL Committee and chief methodologist at Jasper Design Automation. "In contrast to the many rudimentary and incomplete implementations out there, Safelogic has the most comprehensive support of PSL in the formal industry. This, combined with Jasper's support of Verilog-based requirements and commitment to SystemVerilog Assertions, puts the combined company at the forefront of assertion language support."

The merged company will continue to operate under the Jasper Design Automation brand and will be based in Mountain View, CA. Pär-Jörgen Pärson has joined the Jasper board of directors, and Jonas Risberg, a Safelogic board member, will participate on Jasper's board as a board observer. All Safelogic employees became employees of Jasper Design Automation in December 2004, when the transaction closed.

 

Become a member of the CIMdata PLM Community to receive your daily PLM news and much more.

Tell us what you think of the CIMdata Newsletter. Send your feedback.

CIMdata is committed to your privacy. Your personal information will never be sold or shared outside of CIMdata without your express permission.

Subscribe