Jasper Design Automation, provider of verification solutions based on state-of-the-art formal technology, recently made two new property synthesis apps — the JasperGold Structural Property Synthesis (SPS) App and the JasperGold Behavioral Property Synthesis (BPS) App — available as part of the JasperGold Apps family, which aims to address a wide range of design and verification issues.
The SPS App is meant to detect and eliminate common functional design errors, ensuring clean code prior to validation, while the BPS App accelerates verification by way of RTL and simulation information, which find and fill coverage holes. Both apps feature a high degree of flexibility with support for System Verilog and VHDL languages.
"Integrating Jasper's formal property synthesis solutions into our verification flow provides us an advantage," commented Takashi Nakajima, team leader of R&D Development-2, at STARC (Semiconductor Technology Academic Research Center). "STARC looks to leverage these Jasper property synthesis capabilities for their designs as part of the Co-operative EDA tool evaluation project in STARC. The JasperGold property synthesis apps will improve the quality of our verification environment beyond what can be achieved today solely with simulation. "
JasperGold Apps are built on a single platform which combines multiple formal-based solutions, while all individual apps leverage a common shared database and user interface. This architecture enables sharing of design and verification data for design under tests (DUTs) between apps for a high degree of consistency and increased productivity. The architecture also supports deployment of multiple apps at once, as well as numerous invocations of the same app for improved throughput performance.
In April of last year, Jasper Design Automation hired on Oz Levia to its executive team as vice president of Marketing and Business Development and Corporate Counsel. Prior to this, Levia was the vice president of Marketing and Business Development at SpringSoft.Later that year, the company joined SemiWiki.com's Semiconductor Wiki Project.