Embedded Systems Conference
Breaking News
Comments
Newest First | Oldest First | Threaded View
sunilk_1
User Rank
Author
re: Protect your goal with post-silicon formal verification
sunilk_1   12/6/2012 9:07:46 PM
NO RATINGS
Please read my blog for another perspective on Formal Verification: http://www.designconcommunity.com/author.asp?section_id=2774&doc_id=255322&

HarshM
User Rank
Author
re: Protect your goal with post-silicon formal verification
HarshM   9/15/2010 11:32:04 AM
NO RATINGS
nSys offers products and services for accelerating designs while lowering costs. nSys is perhaps the only company in the world focused on Verification. Customers are appreciating the option of getting all their VIPs from a single source without having to struggle with different licensing terms, agreements, APIs, simulator versions and training for every VIP. Most customers also appreciate the flexibility that we offer. You can get annual licenses, Source code licenses and even Unlimited licenses. We would like to understand how we can be of help in your Verification effort. We would also like to ensure that you do not ever have to develop a VIP and can get proven ones when you need them.

Alok78
User Rank
Author
re: Protect your goal with post-silicon formal verification
Alok78   7/29/2010 6:03:06 PM
NO RATINGS
Yes, it is all about ROI, which management will understand. Jasperís approach to formal verification is that there must be a positive return on investment from the very first project. We also provide deep applications support that brings verification engineers, and design engineers, up to speed fast without schedule impact. Using formal justifies the cost and time you mention in many ways, especially finding critical and corner-case bugs which cannot be detected in simulation. Jasper's formal solution can exhaustively verify all design scenarios without any input stimulus or a testbench and can save weeks, if not months of testbench development and random simulation effort, leading to increased confidence in the overall verification process. Jasper is also used across a spectrum of applications ranging from architectural exploration up to post-silicon debug. Jasper focuses on formal verification, it is not just one of many products, so we can really help you change and improve your verification approach. If you are finding that your management thinks there is never any time during, or in between, projects to use a new technology or tool, contact us and we can share some very convincing information on real-world ROI! Please visit http://www.jasper-da.com

MHK_#1
User Rank
Author
re: Protect your goal with post-silicon formal verification
MHK_#1   7/25/2010 9:01:24 PM
NO RATINGS
I have to say I know and want to use formal verification method. I just donít have an enough time to learn and set this environment. Most of verificationer spends their most of time in a pre-silicon verification. They are just plain busy in architecting and building testbench using simulation and a bit of emulation. In fact, that is what the upper management wants. In other word, no time allowed on another method to learn. Management has a stick to their habit not to go over their visible experience, unless they are forced to explored. Big problem! I am trying not do go in this path. Any easier or quicker way to get a good grip on this formal method?

Robotics Developer
User Rank
Author
re: Protect your goal with post-silicon formal verification
Robotics Developer   7/21/2010 10:36:56 PM
NO RATINGS
I can see the value add for formal verification and would encourage it use. I do see that oftentimes there are resource constraints on the development team and adding another tool is great but requires: people resource, tool investment capital, and time to learn. I could see where many would opt out of the formal verification path only later to come to understand its value.



Most Recent Comments
Top Comments of the Week
Like Us on Facebook

Datasheets.com Parts Search

185 million searchable parts
(please enter a part number or hit search to begin)
EE Life
Frankenstein's Fix, Teardowns, Sideshows, Design Contests, Reader Content & More
Max Maxfield

ESC Boston 2015 Sneak Peek! Embedded Systems That Glow in the Dark
Max Maxfield
Post a comment
Some time ago, I asked my mom what she knew about radiation. She replied that she didn't know much about it at all; all she did know was that she didn't want to be in the same room as ...

Chris Wiltz, Managing Editor, Design News

10 Greatest Hoaxes in the History of Engineering
Chris Wiltz, Managing Editor, Design News
5 comments
You'll probably be reading your fair share of fake headlines on April 1, but phony tech news - both for scams and humor - aren't anything new. The history of science and technology is rife ...

Bernard Cole

A Book For All Reasons
Bernard Cole
3 comments
Robert Oshana's recent book "Software Engineering for Embedded Systems (Newnes/Elsevier)," written and edited with Mark Kraeling, is a 'book for all reasons.' At almost 1,200 pages, it ...

latest comment mjlinden Thanks for your input!
Martin Rowe

Leonard Nimoy, We'll Miss you
Martin Rowe
5 comments
Like many of you, I was saddened to hear the news of Leonard Nimoy's death. His Star Trek character Mr. Spock was an inspiration to many of us who entered technical fields.

Special Video Section
After a four-year absence, Infineon returns to Mobile World ...
A laptopís 65-watt adapter can be made 6 times smaller and ...
An industry network should have device and data security at ...
The LTC2975 is a four-channel PMBus Power System Manager ...
In this video, a new high speed CMOS output comparator ...
The LT8640 is a 42V, 5A synchronous step-down regulator ...
The LTC2000 high-speed DAC has low noise and excellent ...
How do you protect the load and ensure output continues to ...
General-purpose DACs have applications in instrumentation, ...
Linear Technology demonstrates its latest measurement ...
10:29
Demos from Maxim Integrated at Electronica 2014 show ...
Bosch CEO Stefan Finkbeiner shows off latest combo and ...
STMicroelectronics demoed this simple gesture control ...
Keysight shows you what signals lurk in real-time at 510MHz ...
TE Connectivity's clear-plastic, full-size model car shows ...
Why culture makes Linear Tech a winner.
Recently formed Architects of Modern Power consortium ...
Specially modified Corvette C7 Stingray responds to ex Indy ...
Avagoís ACPL-K30T is the first solid-state driver qualified ...
NXP launches its line of multi-gate, multifunction, ...
Radio
LATEST ARCHIVED BROADCAST
EE Times Senior Technical Editor Martin Rowe will interview EMC engineer Kenneth Wyatt.
Flash Poll