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
Imagination positions itself for 802.11ah for the Internet of Things
July 24, 2014
Imagination Technologies has developed a low power configurable radio architecture for the wide range of existing and emerging ...
Smartwatches suck, says Pebble backer
Broadcom cuts 2,500 jobs to exit cellular market
Photographic method to survey magnetic field
Signal Integrity guru puts comprehensive SI training online
Failed merger talks won't stop Dialog
July 23, 2014
AMS, formerly known as Austriamicrosystems, and Dialog Semiconductor couldn't agree the terms of a merger, which feels like ...
Peregrine Semiconductor and RF Micro Devices settle all litigation
Atomic clock based on a chip-scale frequency comb
RFID tags track honey bees
- Testing GPS with a Simulator
- DSM presents: Select the best plastic for DDR4
- Dual 13A μModule Regulator with Digital Interface for Remote Monitoring & Control of Power
- Exploring the Business Model Evolution of High-Tech Equipment Manufacturers
InterviewCEO interview: China, not Apple, is way to go, says mCube CEO
Ben Lee, CEO of MEMS startup mCube, explains why he wants to spend $37 million on being a supplier of sensors to Chinese ODMs and avoiding a design win with Apple or Samsung.
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, Altium Ltd is offering EETimes Europe's readers the chance to win one TASKING VX-Toolset for ARM Cortex-M Premium Edition, normally licensed for 2.395 Euros, for ultra-rapid prototyping and code development around ARM Cortex-M based microcontrollers.
The VX-toolset for ARM is the first TASKING compiler suite to receive the Software Platform technology, which is seamlessly...Read more
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.