The formal verification market is still untapped |

The formal verification market is still untapped

Back to Community

The formal verification market is about $100M/y, way less than the overall simulation and emulation market. But functional verification is dominant in the overall cost of design. What is the potential of the FV market? Read on at http://bit.ly/FOMIY.
What do you think?

Discussion started by Olivier Coudert , on 06 November 10:25 AM

Replies

yujiao522, 2010-11-03 03:16:53

<a href="http://www.uggsinboots.com/cheap-ugg-boots.html">ugg boots cheap</a>
<a href="http://www.uggsinboots.com/ugg-boots-sale.html">ugg boots sale</a>

<a href="http://www.uggsinboots.com/ugg-boots-uk.html">ugg boots uk</a>

yujiao522, 2010-11-03 03:16:35

Holly Stump, 2009-11-10 21:06:32

I agree with Brian, that formal technology has many applications, although I see this as a strength! I just attended the 6th annual Jasper Users Group meeting, with applications papers spanning the spectrum, across: Architectural verification, RTL Design and debug , Verification of critical functionality and regression test, Verification including SOC Integration, Low-power verification, Post-silicon debug and analysis, and importantly, design and IP leverage.

Formal technology can be a solution for verification engineers, designers and architects. At the end of the day, I care less how the accountants summarize it, than how Jasper customers derive targeted ROI and competitive advantage!

Still you are right, Olivier: It would be great to have more recognition of the many ways formal helps the SoC design cycle with inclusive market analysis.

Last weeks EDAC Kauffman Award honoring Dr. Randal Bryant was inspiring in showing the seminal influence of formal technology in so many areas!

Brian Bailey, 2009-11-10 15:20:05

My view is that formal is a technology, not a solution. This has been one of the things that has held up its adoption more than anything else. Formal technology is not easy to understand or assimilate and meant that only a small percentage of the market knew how to utilize it effectively. It was a technology you had to learn before it returned much in the way of benefits. But that is now changing. There are quite a few tools out that that use formal technology, but are not formal tools. Think of the whole class of tools known as intelligent testbenches. They rely on formal. Then take a look at the Jasper ActiveDesign product. It is a tool that does not look like a formal tool, but is. Companies who use formal technology to make good tools will advance, whereas those who try to sell technology will fail. The problem is though at the end of the day you will not be able to tell how much is spent on "formal" because it will all be integrated into the overall verification market.