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

Thomas Cook Moves Workforce Management to the Cloud with NICE WFM Solution

Leisure travel group operator Thomas Cook has completed a significant migration to the cloud. The company has moved its on-premise NICE Workforce Management (WFM) solution to the cloud in the hopes of becoming more competitive and responsive to customers while also reducing ownership costs. [ Read More ]
04/27/2015

Interactive Intelligence Launches PureCloud Services in Australia and New Zealand

The rolling thunder of Interactive Intelligence enhancement and globalization of its PureCloud Amazon Web Services (AWS)-based, multitenant enterprise-grade collaboration, communications and customer engagement software and cloud services solutions continues to pick up speed. [ Read More ]
04/27/2015

Altocloud Jumps in the Smyths Toys Toybox to Bolster E-Commerce Presence

Those not immediately familiar with Smyths Toys can be forgiven, particularly if they don't live in the U.K or in Ireland, where Smyths Toys has at last report 80 stores to its credit. But Smyths Toys might well be easier find thanks to a new connection with Altocloud, which will bolster Smyths Toys' online presence and make e-commerce that much easier to carry out. [ Read More ]
04/22/2015

US Contact Center Jobs Continued to Increase in the First Quarter of 2015

The number of new U.S. contact center jobs was on the rise in the first quarter of this year, according to a jobs4america report. [ Read More ]
04/21/2015

Events

Weekly Live Demo
Contact Center Solutions

Register Today!


Weekly Live Demo
CaaS Small Center

Register Today!