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
Multithreading boosts ThreadX on MIPS cores
December 06, 2013
Imagination Technologies and Express Logic have expanded their support of the ThreadX real time operating system on Imagination’s ...
UK distribution sees 5% growth in 2014
Global M2M innovations design contest
PHI Group plans acquisition Nord Energy to extend LED street lighting offering
EV market is much more than passenger cars - and it's booming
Stanene may be better than Graphene
December 06, 2013
A team of researchers led by Stanford University professor Shoucheng Zhang now have high hopes that a new material they call ...
US demand for LED lighting to grow more than 10 percent annually to 2017, reports Freedonia
Women demand different connectivity functions in the car
Advanced batteries reached $10.8bn in market value in 2012, reports Navigant Research
- 3mm × 3mm QFN IC Directly Monitors 0V to 80V Supplies
- UltraCMOS® Semiconductor Technology Platforms: A Rapid Advancement of Process & Manufacturing
- Adaptive Cell Converter Topology Enables Constant Efficiency in PFC Applications
- Isolated 4-Channel, Thermocouple/RTD Temperature Measurement System with 0.5°C Accuracy
InterviewPerformance monitoring solution helps provide intelligent control of high power systems
A performance monitoring solution designed to enable companies to monitor high power IGBT module systems in locomotive, wind turbine, High Voltage DC and industrial drive applications was unveiled this ...
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
Internet of Things (IoT) manufacturer Ciseco has launched the Raspberry Pi ‘Wireless Inventors Kit’ (RasWIK), featuring 88 pieces to provide everything a Pi owner needs to follow a series of step-by-step projects or to create their own wireless devices, without the need for configuration or even writing code.
RasWIK has been designed to be highly accessible, demystifying the dark art of wireless and enabling anyone with basic computing skills to begin building wireless devices with a Raspberry Pi. You can create anything from a simple traffic light, to a battery monitor, or even a temperature gauge that sends data to the Xively IoT cloud so billions can access the data.This month, Ciseco is giving away twelve Raspberry Pi Wireless Inventors kits, worth £49.99 each for EETimes Europe's readers to win.
And the winners are...
In our previous reader offer, Farsens was giving away five kits for EEtimes Europe readers to evaluate its FenixVortex, Kineo and X1 wireless, battery free sensor tags.
Lucky winners include Mr A. Neil from the UK, Mr. E. Delvaux from Belgium, Mr Lengal from the Czech Republic, Mr H. Bijlsma from the Netherlands, and Mr G. Pfaff from Germany. All should be receiving their packages soon. Lets wish them some interesting findings with their projects.
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.