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

Spoken Communications to Power Avaya Hybrid Cloud Solution for Contact Centers

Avaya adds hybrid option for contact center transformation powered by Spoken Communications. [ Read More ]
12/19/2014

WebRTC Support on SIP PBX Highlights use for Omnichannel Interactions

2015 is going to highlight how and why WebRTC, SIP and Contact Centers are perfect together. [ Read More ]
12/19/2014

HHS Teams with Monster, Peer.org and Higi to Assist in Affordable Care Act Open Enrollment

The Health and Human Services Department (HHS)is using popular websites to spread word on open enrollment period. [ Read More ]
12/19/2014

TNT to Deliver Great Customer Service via Cloud with NewVoiceMedia

Europe's largest global express, logistics and international parcel and mail services company U.K.-based TNT , which bills itself as "The People Network," has gone to the cloud for its contact center operations. San Francisco, CA-based cloud contact center solutions provider NewVoiceMedia recently announced that TNT UK is using its ContactWorld solution to enhance its customer experience and improve operational efficiencies across the business. [ Read More ]
12/19/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!