Jasper offers individual formal verifications apps
May 08, 2012 // Dylan McGrath
EDA vendor Jasper Design Automation is now offering its formal verification technology through individual apps in a shared interactive environment that fit into existing customer verification flows.
Jasper (Mountain View, CA) said its JasperGold apps help customers achieve substantial productivity gains in design and verification. The apps are built on a single platform that combines multiple formal-based solutions, the company said.
"Jasper has created a value-added approach to its formal technology deployment," said Gary Smith, chief analyst 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 their 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."
Executives from Jasper said offering the company's technology through individual apps would enable customers who may not need the full capabilities of the company's formal verification technology to purchase only the capabilities that they require. The new business model allows users to add different capabilities over time, they said.
The initial offerings of JasperGold apps include a formal property verification app, a connectivity verification app, an X-propagation verification App, an RTL development app, a control/status register verification app and an architectural modeling app. Additional apps will be made available over time, the company said.
The JasperGold apps architecture enables sharing of design and verification data for each design under test between apps for increased consistency and productivity, Jasper said. The apps architecture supports deployment of multiple apps simultaneously as well as multiple invocations of the same app for improved throughput and performance, the company said.
According to data compiled by the EDA Consortium, Jasper currently holds about 34 percent market share in the formal property verification market. The company says it revenue is growing 20 percent faster per year than the overall market.
www.jasper-da.com/products/overview All news
Is 3D XPoint based on phase-change memory?
July 31, 2015
What would be the simplest way to explain the technology behind 3D XPoint non-volatile memory; a scaled version of phase-change ...
Google Glass refocuses on enterprises, circumvents privacy issues
IoT wireless sensors and the problem of short battery life
High speed DAC for wide bandwidth signal generation
IBM's Watson to help CVS manage patient health data
3D printing as seen by the engineering community
July 30, 2015
Distributor RS Components has conducted some research over the past 12 months to understand what engineers and consumers ...
Green mobility, automation drive power electronics market
Sol-gel capacitor dielectric achieves record energy storage
Filament bulb replacements: The GaN-on-Silicon LED solution arrives
- Dual Phase Buck Controller Drives High Density 1.2V/60A Supply with Submilliohm DCR Sensing
- Test environment for the positioning elements of wearable devices
- Automotive Circuit Protection using Littelfuse Automotive TVS Diodes
- Top 5 Challenges for testing Today's Consumer Electronics
InterviewGlobalfoundries' CEO on why FD-SOI and why now
With its latest news Globalfoundries Inc. has not only confirmed itself as a supporter of the fully-depleted silicon-on-insulator (FD-SOI) approach to IC manufacturing but that it also thinks sufficiently ...
Filter WizardCheck out the Filter Wizard Series of articles by Filter Guru Kendall Castor-Perry which provide invaluable practical Analog Design guidelines.
Linear video channel
READER OFFERRead more
This month, Novelda is giving away two full XeThru Inspiration kits worth 1499 US Dollars each, for EETimes Europe's readers to experiment first hand with its XeThru technology.Based on the use of radio waves, rather than infrared, ultrasound or light, the company's X2M1000 Inspiration modules can detect presence just from the chest movement while breathing, and measure both the rate and... MORE INFO AND LAST MONTH' WINNERS...
December 15, 2011 | Texas instruments | 222901974
Unique Ser/Des technology supports encrypted video and audio content with full duplex bi-directional control channel over a single wire interface.