May 7, 2012 -- Jasper Design Automation has announced the availability of its JasperGold Apps products. JasperGold Apps help achieve substantial productivity gains in design and verification through individual Apps within a shared interactive environment that fit into existing verification flows. The JasperGold Apps addresses an array of design and verification functionality issues throughout the flow, such as:
-
End-to-end property verification.
-
Unexpected X detection and debugging.
-
Chip-level connectivity.
-
Automated assertion generation.
-
Identification of coverage holes.
-
Design trade-off analysis.
-
Absence of deadlock.
-
Cache coherency.
|
JasperGold Apps are built on a single platform that combines multiple formal-based solutions and leverages a common shared database and user interface. The JasperGold Apps architecture enables sharing of design and verification data for each design under test (DUT) between Apps for increased consistency and productivity. The Apps architecture supports deployment of multiple Apps simultaneously as well as multiple invocations of the same App for improved throughput and performance.
The JasperGold Apps architecture is extensible such that users can take advantage of future Apps that will address emerging design and verification needs. The design and verification challenges that designer have addressed by creating flows using our formal technology have been the inspiration for some of the JasperGold Apps. Designers will be able to continue to leverage the powerful and highly programmable platform in JasperGold to develop their customized flows.
"Jasper has created a value-added approach to its formal technology deployment," said Gary Smith at Gary Smith EDA. "Formal technology has long been thought of as a point tool that addresses only a specific verification issue. Jasper has been able to provide the benefits of its unique formal technology across the entire design and verification flow through easily adoptable apps. This is something the market has needed for quite some time."
The initial offerings of JasperGold Apps are: the Formal Property Verification App; Connectivity Verification App; X-Propagation Verification App; RTL Development App, Control/Status Register Verification App, and the Architectural Modeling App.
Go to the Jasper Design Automation website to find additional information.
