Embedded Systems Conference
Breaking News
Comments
Newest First | Oldest First | Threaded View
Page 1 / 2   >   >>
MikeBartley
User Rank
Author
Re: Good Article
MikeBartley   9/17/2014 5:11:45 PM
NO RATINGS
Hi Roman

regarding your points on why some companies do not adopt
  • high price of tools,
    Here you need to consider ROI - can a single proof replace days of simulation?
  • how easy to use in complex design or SoC
    good point - I think we will still need experts but the apps will get more sophisticated allowing the basic user to do more sophisticated proofs. I think small companies (such asTVS) could write "assertion generator" apps for some sophisticated scanrios
  • and simulation time with formal
    Another good point but I think it is more the unpredictability of formal run times that is more the issue

We haven't got all the answers yet but we're moving in the right direction

Mike

Jin@Oski
User Rank
Author
Re: Drivers for Formal Apps
Jin@Oski   9/17/2014 4:41:07 PM
NO RATINGS
Mike, interesting article and discussions. I agree formal apps will help drive formal adoption in the industry, so is End-to-End formal, or "full expert formal". However "full expert formal", despite the hurdles you mentioned (e.g. writting checkers, overcoming complexity etc), does not require formal experts. I have just published a blog on our website yesterday on this topic "Formal Verification, by Everyone and for Everyone". Oski CEO Vigyan will be giving a talk at the upcoming Austin SNUG on the same topic. As a dedicated formal services provider, we are working very hard on promoting formal adopting in the industry by using formal for sign-off. 

 

roman.wang
User Rank
Author
Good Article
roman.wang   9/14/2014 10:51:11 AM
NO RATINGS
Thanks Mike to give us a comprehensive view of formal verification and tools' use model.

Formal Apps had helped people to find many buys in different scenarios(especially in unreachable code coverage analysis, CDC, Connectivity, X-Propagation), I believe Formal should be the mainstream in near future regarding its powerful capibilities. 

However, some companies didn't adopt it, the reason may be the high price of tools, how easy to use in complex design or SoC and simulation time with formal.

Effort to implement may be another concerns. 

 

 

 

anon4939819
User Rank
Author
Nice to see mutilple formal tools mentioned
anon4939819   9/12/2014 2:54:54 PM
NO RATINGS
Nice article - very interesting - especially since it covers formal apps from multiple vendors. My experience is that once engineers start to see the power of formal, the issues it uncovers that aren't uncovered by other techniques, they're keen to delve a little deeper. And of course these apps add value in themelves - even though we apply a full, complete formal verification on units, we'll still use the apps at higher levels of hierarchy.

Lampshuk
User Rank
Author
Up to a point
Lampshuk   9/11/2014 6:27:08 PM
NO RATINGS
(ex - Jasper employee, now at Cadence)

From what I have seen of different customer adoption models, apps can be a way to use formal technology but, as Darren G commented, until people are writing properties and verifying them they aren't really using "formal".

However, once users find the trapdoor in the belly of the horse (and that trapdoor can be a bit sticky) there's usually a lightbulb moment. Designers, in particular, can find that they suddenly have access to a lot of verification horsepower.

And that's enough mixed metaphors for one post.

MikeBartley
User Rank
Author
Re: Agreed!
MikeBartley   9/11/2014 4:33:50 PM
Hi Joe

I agree - most apps just require a short coaching to use. Our 2 day course ensures people are able to run the apps as well as apply a more general formal verification approach

Mike

jhupcey
User Rank
Author
Agreed!
jhupcey   9/11/2014 3:20:34 PM
NO RATINGS
Coming at this from the perspective of working at three different EDA vendors in this space, I completely agree with the crux of this article.  I've seen first-hand how formal apps can indirectly grow the usage of formal in customers/verification domains that had previously shunned classic formal analysis.  Why?  In a nutshell, the fact that formal apps are structured in terms of the customers' problems (and not the other way around, as is often the case with other EDA tools) is IMHO the primary success factor here.  Of course, the exhaustive nature of the formal engines under-the-hood of the apps' customized GUIs and supporting automation is a huge plus that customers appreciate.  Finally, it's important not over-hype the maturity of the apps model today by noting that most formal apps aren't perfectly plug-and-play. That said, depending on the circumstances quite often a half-day of coaching from an AE is enough to get the user up and running.

MikeBartley
User Rank
Author
Re: Nice summary
MikeBartley   9/11/2014 12:39:17 PM
NO RATINGS
Glad to be of service 

Mike

Elephant Pete
User Rank
Author
Nice summary
Elephant Pete   9/11/2014 12:11:31 PM
NO RATINGS
Having been out of chip design for a few years I didn't actually know what a formal app was. Now I do!

MikeBartley
User Rank
Author
Re: Formal Apps
MikeBartley   9/11/2014 5:23:13 AM
NO RATINGS
I agree that "full formal" will still require "full formal experts" which will limit how far it can be deployed. But, as pointed out by Graham, I wonder if the scope of "apps" will increase to take in areas which we currently consider as "full formal"? I think the AXI interface is a good example

This coud be a very good business opportunity for smaller companies to produce a suite of assertions for specific applications (or more likely an app to generate them) that can be used with all of the tools for the bigger industry players?

Mike

Page 1 / 2   >   >>


Radio
NEXT UPCOMING BROADCAST
In conjunction with unveiling of EE Timesí Silicon 60 list, journalist & Silicon 60 researcher Peter Clarke hosts a conversation on startups in the electronics industry. One of Silicon Valley's great contributions to the world has been the demonstration of how the application of entrepreneurship and venture capital to electronics and semiconductor hardware can create wealth with developments in semiconductors, displays, design automation, MEMS and across the breadth of hardware developments. But in recent years concerns have been raised that traditional venture capital has turned its back on hardware-related startups in favor of software and Internet applications and services. Panelists from incubators join Peter Clarke in debate.
Flash Poll
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)
Special Video Section
Chwan-Jye Foo (C.J Foo), product marketing manager for ...
The LTģ3752/LT3752-1 are current mode PWM controllers ...
LED lighting is an important feature in todayís and future ...
Active balancing of series connected battery stacks exists ...
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.