Contact Center Solutions Featured Article

Jasper Design Automation Releases Two New JasperGold Apps

October 30, 2012

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.


Edited by Rachel Ramsey

Article comments powered by Disqus

Related Contact Center Solutions Articles

Contact Center Solutions Week in Review

On behalf of TMCnet I'd like to wish a happy holiday to those celebrating Passover and Easter this week. Interestingly, despite the short week there was no shortage of news in the Contact Center Solutions Community. [ Read More ]
04/18/2014

Contact Center Solutions Week in Review

On behalf of TMCnet I'd like to wish a happy holiday to those celebrating Passover and Easter this week. Interestingly, despite the short week there was no shortage of news in the Contact Center Solutions Community. [ Read More ]
04/18/2014

OpenSpan forms alliance with Istmo

OpenSpan Inc., a provider of worker optimization, activity management and automation solutions, recently announced that Istmo Solutions of Brazil will resell and support its desktop automation and analytics products to the Brazilian market. [ Read More ]
04/17/2014

IHS GmbH Acquires InnLink LLC

Hospitality industry solutions provider IHS GmbH acquires central reservations specialists InnLink LLC. [ Read More ]
04/17/2014
Subscribe here for your FREE Contact
Center Solutions
enewslettter.

Events

Weekly Live Demo
Contact Center Solutions

Register Today!


Weekly Live Demo
CaaS Small Center

Register Today!