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
The engineering desk-to-bench ratio
November 21, 2014
Dennis Feucht discusses the right and wrong, senior and junior ways to organize the theoretical and practical work of an ...
Rohm's European Design Center in growth phase
Combo inertial sensor market on 19% CAGR, says Yole.
US, China pushing industrial chip market growth, says IHS
LA Auto Show: Hydrogen fuel cell drive is back
Opening up the IoT data flood gates
November 21, 2014
Only a few days after their LoRa long range communication demo at electronica, IBM and Semtech are making the LoRa MAC protocol ...
Polarizing filter reduces energy drain from smartphone displays
From warm to cool white: colour-temperature tunable LEDs
System provides high-volume solution for flexible OLED displays
- Halogen-free options and increased performance for terminal blocks
- Wireless Power User Guide
- Secure is the New Smart
- 5 Best Practices for Designing Flexible Test Stations
InterviewFreescale CEO: 'IoT isn't just buzz'
Coming after the solid third quarter results that produced higher operating margins and improving cash flow, Freescale Semiconductor's CEO Gregg Lowe had every reason to be chipper and lively when EE Times ...
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, Cherry is giving away five of its Energy Harvesting Evaluation kits, worth over 266 Euros each, for EETimes Europe's readers to win. Cherry's energy harvesting technology benefit mostly applications where a complex wire assembly and/or batteries would be inappropriate.
The required RF-energy is created by the mechanical actuation of the switch and the data is transmitted...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.
Most popular news
- Could magnesium battery innovation end lithium's dominance?
- From warm to cool white: colour-temperature tunable LEDs
- Li-Fi communication module wirelessly transfers data at 1-Gbps
- Supercapacitor innovation promises panel-powered cars in five years
- Rebranding the revolution: the future of IoT is embedded