Floating surge stopper provides unlimited overvoltage protection
Altera to integrate Enpirion power interfaces into its FPGAs
Automation CAN group plans permanent interoperability test capability
Opening up new user-interaction scenarios with Time-of-Flight measurements 
Goepel electronic initiates Cooperation Network with EMS companies
The number of charging stations for electrical vehicles is expected to soar by 20220, study says 
In automotive lighting, LEDs still lacks of horsepower, study says
Ultra-low-power SoC supports world's smallest Bluetooth location stickers 
Imec and Renesas collaborate on ultra-low power short range radios
European Semiconductor Distribution Market shows sequential recovery in Q1/CY13
Omron appoints TME to strengthen presence in Eastern Europe
Avnet Supply Chain Solutions launches RaBET Tool in Europe
sureCore receives £250K SMART Award to prototype its low power SRAM technology
Amantys partners Fuji Electric to launch IGBT gate drivers for wind and solar markets
Cambridge Nanotherm starts mass manufacturing of thermal management substrate
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
-
Technology News
Floating surge stopper provides unlimited overvoltage protection
May 17, 2013
Protecting sensitive electronic circuitry from voltage transients is an essential part of any system be it automotive, industrial, ...
-
Technology News
Altera to integrate Enpirion power interfaces into its FPGAs
-
Technology News
Automation CAN group plans permanent interoperability test capability
-
Feature Articles
Opening up new user-interaction scenarios with Time-of-Flight measurements
-
Technology News
Goepel electronic initiates Cooperation Network with EMS companies
-
Market News
The number of charging stations for electrical vehicles is expected to soar by 20220, study says
May 17, 2013
The number of electric vehicle charging stations is set to soar globally by 2020, supporting a shift in driving away from ...
-
Market News
In automotive lighting, LEDs still lacks of horsepower, study says
-
Technology News
Ultra-low-power SoC supports world's smallest Bluetooth location stickers
-
Business News
Imec and Renesas collaborate on ultra-low power short range radios
Technical papers
Filter Wizard
Check out the Filter Wizard Series of articles by Filter Guru Kendall Castor-Perry which provide invaluable practical Analog Design guidelines.
Linear video channel
READER OFFER
Read more
The development platform for i.MX 6Quad from element14 (built to the Freescale SABRE Lite design) is an evaluation platform featuring the powerful i.MX 6Q, a multimedia application processor with Quad ARM Cortex-A9 cores at 1.2 GHz from Freescale Semiconductor.
This month, Freescale and element14 are giving away five such platforms, worth £128.06 each, for EETimes Europe's readers to win. The platform helps evaluate the rich set of peripherals and includes a 10/100/Gb Ethernet port, SATA-II, HDMI v1.4, LVDS, parallel RGB interface, touch screen interface, analog headphone/microphone, micro TF and SD card interface, USB, serial port, JTAG, camera interface, and input keys for Android.
And the winners are...
In our previous reader offer, Pico Technology was giving away one of its recently launched PicoScope 3207B, a 2-channel USB 3.0 oscilloscope worth 1451 Euros. Lucky winner Mr L. Sanchez-Gonzalez from Spain should be receiving his PicoScope 3207B soon. Let's wish them some interesting findings with his projects.
Read more
Design centers
Automotive
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.
Follow us