<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Olivier Coudert&#039;s Blog &#187; EDA</title>
	<atom:link href="http://www.ocoudert.com/blog/tag/eda-asic-fpga/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.ocoudert.com/blog</link>
	<description>My take on tech --and other topics</description>
	<lastBuildDate>Fri, 23 Jul 2010 22:34:56 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0</generator>
		<item>
		<title>DAC 47th digest: what you missed (even if you were there)</title>
		<link>http://www.ocoudert.com/blog/2010/06/21/dac-47th-digest-what-you-missed-even-if-you-were-there/</link>
		<comments>http://www.ocoudert.com/blog/2010/06/21/dac-47th-digest-what-you-missed-even-if-you-were-there/#comments</comments>
		<pubDate>Mon, 21 Jun 2010 07:03:40 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[Business]]></category>
		<category><![CDATA[EDA]]></category>
		<category><![CDATA[cloud computing]]></category>
		<category><![CDATA[low power]]></category>
		<category><![CDATA[SoC]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=812</guid>
		<description><![CDATA[<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/47th-dac-logo.png"></a>No doubt that for the next two weeks you will find many DAC reports in blogs and corporate marketing websites. So I tried not to write yet another DAC report, with a long list of companies and products.</p>
<p>Instead, I have chosen to share my absolutely non-exhaustive, completely biased view of DAC. I will then publish [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2010/06/21/dac-47th-digest-what-you-missed-even-if-you-were-there/">DAC 47th digest: what you missed (even if you were there)</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/01/14/did-you-feel-the-tremor/' rel='bookmark' title='Permanent Link: Did you feel the tremor? The 2010 challenges for EDA'>Did you feel the tremor? The 2010 challenges for EDA</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/' rel='bookmark' title='Permanent Link: The formal verification market is still untapped'>The formal verification market is still untapped</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/01/24/has-formal-verification-technology-stalled/' rel='bookmark' title='Permanent Link: Has formal verification technology stalled?'>Has formal verification technology stalled?</a></li>
</ol>]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/47th-dac-logo.png"><img class="alignright size-full wp-image-816" title="47th dac logo" src="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/47th-dac-logo.png" alt="" width="300" height="110" /></a>No doubt that for the next two weeks you will find many DAC reports in blogs and corporate marketing websites. So I tried not to write yet another DAC report, with a long list of companies and products.</p>
<p>Instead, I have chosen to share my absolutely non-exhaustive, completely biased view of DAC. I will then publish a couple of posts focused on specific themes in the next few days.</p>
<p><strong>Attendance</strong></p>
<p>The <a rel="nofollow" href="http://www2.dac.com/">47<sup>th</sup> DAC</a> was held June 13-18 at the Anaheim Convention Center in California. The preliminary attendance numbers are <a rel="nofollow" href="http://www.businesswire.com/portal/site/home/permalink/?ndmViewId=news_view&amp;newsId=20100618005996&amp;newsLang=en">reported</a> as follow:</p>
<ul>
<li>Total      full conference: 1554</li>
<li>Total      exhibit attendees: 3444 (24% international)</li>
<li>Exhibitors,      visitors, and guests: 2557</li>
<li>Total      attendees: 6001</li>
</ul>
<p>The final attendance numbers are usually a few percent higher.</p>
<p>For a fair comparison, I pulled out the preliminary attendance numbers of the past conferences. I was first fooled by the way the numbers were labeled this year &#8211;see the comments below, and a big thanks to Sean to bring me the correct interpretation. The table below shows the correct data, excluding booth staff. It shows a sharp decline (33%) of the total attendance compared to last year in San Francisco. Not having DAC in San Francisco means higher cost for most of the  attendees –many of them are from the Silicon Valley–, which is clearly  reflected in the attendance numbers.  But if we compare this year&#8217;s numbers with the 2008 DAC venue held at the same location, we see the same sharp decline (28%). Note the drop in exhibits-only attendees (-41% w.r.t. 2009, -21% w.r.t. 2008), not a good sign as this number captures most of the customer audience.</p>
<p style="text-align: center;"><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/DAC-attendance1.png"><img class="aligncenter size-full wp-image-835" title="DAC attendance" src="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/DAC-attendance1.png" alt="" width="595" height="333" /></a>DAC preliminary attendance numbers (not including booth staff)</p>
<p>This year’s DAC comes after one of the worst recession, but looking forward to a very strong semiconductor growth in 2010 and 2011, which should eventually translate into a mildly better business for EDA. The exhibition was well attended on Monday, with a sharp decline on Wednesday –lots of people left by that time.</p>
<p><strong>The buzz</strong></p>
<p>With Cadence’s <a rel="nofollow" href="http://www.cadence.com/eda360/pages/default.aspx">EDA360</a> campaign in the background, and the fresh acquisitions of <a rel="nofollow" href="http://www.eetimes.com/news/latest/showArticle.jhtml?articleID=224701795">Denali</a> by Cadence and <a rel="nofollow" href="http://www.eetimes.com/news/design/rss/showArticle.jhtml?articleID=225600228&amp;cid=RSSfeed_eetimes_designRSS">Virage Logic</a> by Synopsys, it felt that IP was the buzzword of the day. IP design here, IP verification there, verification IP everywhere, the overall SoC design looked like an IP integration problem that EDA was gearing up to take on. Embedded software and ESL were also showcased by Cadence and Mentor Graphics as part of their SoC focus.</p>
<p><strong>Verification </strong></p>
<p>There was a booth dedicated to <a rel="nofollow" href="http://www.uvmworld.org/">UVM</a>/<a rel="nofollow" href="http://www.ovmworld.org/">OVM</a> (Universal Verification Methodology/Open Verification Methodology). These methodologies offer open and interoperable verification solutions. They both support multiple languages and simulators, and enable verification IP, so critical to SoC design. The message was well received and had a strong attendance.</p>
<p>Still on the verification side, new products and startups are trying to repeat the success of <a rel="nofollow" href="http://www.springsoft.com/products/functional-qualification/certitude">Certess</a> (acquired by <a rel="nofollow" href="http://www.springsoft.com/">SpringSoft</a> last year). Advanced formal verification tools (e.g., property checkers) are slow to find acceptance by the design community. Instead these new products and startups leverage the existing test bench and simulation methodology in place to produce better coverage or faster simulation. Notably missing in this space was <a rel="nofollow" href="http://www.nusym.com/">NuSym</a>, a no-show at this year’s DAC, confirming the <a rel="nofollow" href="../2010/01/24/has-formal-verification-technology-stalled/">rumors</a> that the startup that demonstrated “intelligent” simulation two years ago is actively looking for a buyer.</p>
<p>The whole simulation and emulation space was strong. Mentor’s <a rel="nofollow" href="http://www.mentor.com/products/fv/news/veloce-ovm-driven-verification">Veloce</a> is showing impressive numbers, and is ready to take on Cadence’s <a rel="nofollow" href="http://www.cadence.com/products/sd/palladium_series/pages/default.aspx">Palladium</a>. <a rel="nofollow" href="http://www.eve-team.com/">Eve</a> will likely take notice, and this may bring it closer to Synopsys.</p>
<p>Magma’s <a rel="nofollow" href="http://www.magma-da.com/products-solutions/analysis/tekton.aspx">Tekton</a> offers sign-off quality multi-mode/multi-corner static timing analysis for multi-million gate circuits. The tool has been designed from the ground up, and tailored for multi-threading and distributed systems. It is a clear competitor to Synopsys’ PrimeTime, even though running PrimeTime *<em>is*</em> the signoff for most customers.</p>
<p><strong>Design and implementation</strong></p>
<p>On the P&amp;R and backend side, nothing really stood out. Synopsys clearly gained in QoR, Mentor’s momentum with Sierra’s <a rel="nofollow" href="http://www.mentor.com/products/ic_nanometer_design/place-route/olympus-soc/">Olympus</a> is still strong, and Magma keeps lagging behind, especially in runtime. <a rel="nofollow" href="http://www.atoptech.com/">Atoptech </a>and <a rel="nofollow" href="http://www.azuro.com/">Azuro</a>, although showing pretty good numbers (verified at customers’), are still considered more like add-ons that comprehensive solutions. This segment looks more and more commoditized, and only the high-end (20nm and below) and <a rel="nofollow" href="http://www.eetimes.com/news/design/rss/showArticle.jhtml?articleID=225700426&amp;cid=RSSfeed_eetimes_designRSS">3D</a> seem to offer new growth opportunities in that space.</p>
<p><a rel="nofollow" href="http://www.oasys-ds.com/">Oasys</a>, the darling of last year’s DAC, did not make as much as a splash this time, despite its recent announcement with <a rel="nofollow" href="http://www.oasys-ds.com/news?te_class=blog&amp;te_mode=view&amp;te_key=59">Juniper Networks</a> and <a rel="nofollow" href="http://www.eetimes.com/news/latest/showArticle.jhtml?articleID=225500059">Xilinx</a>. Nobody question the speed and capacity of their tool, as well as the clock cycle it can achieve. But some raised concerns regarding the area of their netlists for ASIC.</p>
<p><strong>On the fringe </strong></p>
<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/caveman.jpg"><img class="alignright size-full wp-image-818" title="prehistoric man on laptop" src="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/caveman.jpg" alt="" width="300" /></a>This is the “stuff I liked that may be too small to be noticed”, even more so since two of these three companies didn’t have a booth at DAC…</p>
<p>Low power is still under-represented, even though power gets worse with smaller geometries, and power management remains mostly a very manual process. In that space I liked <a rel="nofollow" href="http://www.doceapower.com/">Docea Power</a>, which can simulate system-level models to analyze power consumptions and thermal behaviors. System-level analysis can bring the biggest power savings. It also has a significant impact on the packaging, which is still a domain where conservative approaches are preferred to more cost-efficient, but riskier, choices.</p>
<p>A comprehensive system-level design framework is really an IDE (Integrated Development Environment) for SoC, where hardware and software can be designed together, written and simulated together, and where the HW/SW tradeoffs can easily be explored. IDEs have been used in software for a long time, but are a novelty to hardware designers. <a rel="nofollow" href="http://www.sigasi.com/product">Sigasi</a> proposes an IDE for VHDL –what Microsoft’s Visual Studio is to C++. Although this is still light-years away from a SoC IDE, this is a hint into the future of writing RTL.</p>
<p>We heard several claims that <a rel="nofollow" href="http://www.cadence.com/Community/blogs/ii/archive/2010/06/16/dac-keynote-2-why-cloud-computing-is-inevitable-for-eda.aspx?postID=70814">cloud computing</a> is coming to EDA (or the converse?). <a rel="nofollow" href="http://www.xuropa.com/">Xuropa</a> best illustrates that (slow) move. They provide turn-key online community solutions for the electronic design industry. Their main customers, Cadence and Synopsys, are using the services for CRM and virtual demo only. But Xuropa could become a platform that enables collaborative design in the cloud, providing secured access to a multi-vendor flows. More on this in a future post.</p>
<p><strong>Last words</strong></p>
<p>I felt that there was a lot of system-centric messages (best captured by EDA360), and attempts at rising the abstraction level for higher productivity. EDA vendors are forced to see the big picture –full system design, software and hardware together. But as pointed out by Steve Jones (TI) at Cadence’s <a rel="nofollow" href="http://www.cadence.com/dac2010/pages/events.aspx">Silicon Realization Luncheon</a>, EDA is still missing out on two important parts of the SoC design. One is that customers want a first-silicon that is functionally operational, and Steve singled out the need for useable <a rel="nofollow" href="http://twitter.com/ocoudert/status/16248311456">verification IP</a> –UVM/OVM is a step in the right direction. The other is analog –mixed-signal design is the rule, and there is no good integration there.</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/01/14/did-you-feel-the-tremor/' rel='bookmark' title='Permanent Link: Did you feel the tremor? The 2010 challenges for EDA'>Did you feel the tremor? The 2010 challenges for EDA</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/' rel='bookmark' title='Permanent Link: The formal verification market is still untapped'>The formal verification market is still untapped</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/01/24/has-formal-verification-technology-stalled/' rel='bookmark' title='Permanent Link: Has formal verification technology stalled?'>Has formal verification technology stalled?</a></li>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2010/06/21/dac-47th-digest-what-you-missed-even-if-you-were-there/feed/</wfw:commentRss>
		<slash:comments>10</slash:comments>
		</item>
		<item>
		<title>Who should worry about Xilinx and Oasys partnership?</title>
		<link>http://www.ocoudert.com/blog/2010/06/11/who-should-worry-about-xilinx-and-oasys-partnership/</link>
		<comments>http://www.ocoudert.com/blog/2010/06/11/who-should-worry-about-xilinx-and-oasys-partnership/#comments</comments>
		<pubDate>Fri, 11 Jun 2010 17:51:27 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[EDA]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[synthesis]]></category>
		<category><![CDATA[Xilinx]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=796</guid>
		<description><![CDATA[<p><a rel="nofollow" href="http://www.xilinx.com/"></a><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/logo-Xilinx.png"></a><a rel="nofollow" href="http://www.xilinx.com/">Xilinx</a> <a rel="nofollow" href="http://www.eetimes.com/news/latest/showArticle.jhtml?articleID=225500059">announced</a> that it signed a multi-year strategic licensing agreement to use <a rel="nofollow" href="http://www.oasys-ds.com/">Oasys</a>’ synthesis. What does that mean for the FPGA and EDA community?</p>
<p>Oasys’ product, RealTime Designer, is claimed to be 10x-60x faster than the competition. Among other things, it uses <a rel="nofollow" href="http://en.wikipedia.org/wiki/And-inverter_graph">AIG</a>-based optimization. This technology [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2010/06/11/who-should-worry-about-xilinx-and-oasys-partnership/">Who should worry about Xilinx and Oasys partnership?</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/04/20/is-fpga-a-sustainable-market-for-eda/' rel='bookmark' title='Permanent Link: Is FPGA a sustainable market for EDA?'>Is FPGA a sustainable market for EDA?</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/30/how-can-xilinx-improve-its-bottom-line/' rel='bookmark' title='Permanent Link: How can Xilinx improve its bottom line'>How can Xilinx improve its bottom line</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/15/what-to-read-in-xilinx%e2%80%99-and-altera%e2%80%99s-third-quarter-results/' rel='bookmark' title='Permanent Link: What to read in Xilinx’ and Altera’s third quarter results'>What to read in Xilinx’ and Altera’s third quarter results</a></li>
</ol>]]></description>
			<content:encoded><![CDATA[<p><a rel="nofollow" href="http://www.xilinx.com/"></a><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/logo-Xilinx.png"><img class="alignright size-full wp-image-801" title="logo-Xilinx" src="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/logo-Xilinx.png" alt="" width="210" height="134" /></a><a rel="nofollow" href="http://www.xilinx.com/">Xilinx</a> <a rel="nofollow" href="http://www.eetimes.com/news/latest/showArticle.jhtml?articleID=225500059">announced</a> that it signed a multi-year strategic licensing agreement to use <a rel="nofollow" href="http://www.oasys-ds.com/">Oasys</a>’ synthesis. What does that mean for the FPGA and EDA community?</p>
<p>Oasys’ product, RealTime Designer, is claimed to be 10x-60x faster than the competition. Among other things, it uses <a rel="nofollow" href="http://en.wikipedia.org/wiki/And-inverter_graph">AIG</a>-based optimization. This technology is best illustrated by UC Berkeley’s <a rel="nofollow" href="http://www.eecs.berkeley.edu/%7Ealanmi/abc/">ABC</a> synthesis: several FPGA startups reported that ABC boosted significantly the speed, capacity, and quality of their synthesis engines. No question that Oasys’ synthesis is competitive, at least in the FPGA world.</p>
<p>Xilinx is an investor into Oasys, and it has been toying with their synthesis technology for at least <a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/oasys_logo.gif"><img class="alignright size-full wp-image-802" title="oasys_logo" src="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/oasys_logo.gif" alt="" width="210"  /></a>a year, so it’s not like they just discover each other. Xilinx has to close a software technological gap with respect to its closest competitor, <a rel="nofollow" href="http://www.altera.com/">Altera</a>, and a fast, high capacity synthesis will certainly help.</p>
<p>Synthesis speed is key here. Until recently FPGA design was mostly an iterative process: synthesize, simulate, and debug (i.e., change in the RTL) until the performances and functionality of the design were satisfactory. That trial-and-error approach becomes impractical as the size of FPGA devices is increasing to the point that one single iteration takes hours, if not a day. Having a 10x speedup in synthesis means you can restore that familiar design iteration for a few more years.</p>
<p>Verification has become a bottleneck in FPGA. Simulating is used and will still be used in the future. But FPGA’s complexity requires a more complete verification methodology, like formal verification. However formal verification has trouble addressing optimization techniques heavily used in FPGA synthesis, like retiming and state re-encoding. An ABC-like optimization engine comes with a built-in formal verifier that can check independently the correctness of every incremental optimization steps performed during the optimization run. The correctness of the resulting netlist comes with a very high degree of confidence, and only the RTL description needs to be simulated.</p>
<p>Xilinx’ customers will benefit from that technology, and catch up with Altera’s synthesis. As for the EDA vendors selling their own FPGA synthesis, they all use or will use some flavor of AIG-based optimization. Differentiation will be done on the smartness of the high-level optimization –datapath, IPs–, the user experience (GUI), the integrated verification environment (still to be demonstrated), and of course the bottom-line: QoR –clock cycle, area, and power. The race is on.</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/04/20/is-fpga-a-sustainable-market-for-eda/' rel='bookmark' title='Permanent Link: Is FPGA a sustainable market for EDA?'>Is FPGA a sustainable market for EDA?</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/30/how-can-xilinx-improve-its-bottom-line/' rel='bookmark' title='Permanent Link: How can Xilinx improve its bottom line'>How can Xilinx improve its bottom line</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/15/what-to-read-in-xilinx%e2%80%99-and-altera%e2%80%99s-third-quarter-results/' rel='bookmark' title='Permanent Link: What to read in Xilinx’ and Altera’s third quarter results'>What to read in Xilinx’ and Altera’s third quarter results</a></li>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2010/06/11/who-should-worry-about-xilinx-and-oasys-partnership/feed/</wfw:commentRss>
		<slash:comments>6</slash:comments>
		</item>
		<item>
		<title>Is FPGA a sustainable market for EDA?</title>
		<link>http://www.ocoudert.com/blog/2010/04/20/is-fpga-a-sustainable-market-for-eda/</link>
		<comments>http://www.ocoudert.com/blog/2010/04/20/is-fpga-a-sustainable-market-for-eda/#comments</comments>
		<pubDate>Tue, 20 Apr 2010 23:53:13 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[EDA]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[synthesis]]></category>
		<category><![CDATA[verification]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=767</guid>
		<description><![CDATA[<p>A FPGA company makes revenue with the hardware: it sells its device, and gives away its design tools –synthesis, place-and-route. Yet the EDA industry has had success with its own (non-free) FPGA synthesis solutions. For good reasons: in its days, Synplicity’s <a rel="nofollow" href="http://www.synopsys.com/Tools/Implementation/FPGAImplementation/FPGASynthesis/Pages/SynplifyPro.aspx">Synplify</a> was the best FPGA synthesis out there. Synopsys <a rel="nofollow" href="http://www.eetimes.com/showArticle.jhtml?articleID=206905027">acquired</a> Synplicity [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2010/04/20/is-fpga-a-sustainable-market-for-eda/">Is FPGA a sustainable market for EDA?</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2009/09/15/why-fpga-startups-keep-failing/' rel='bookmark' title='Permanent Link: Why FPGA startups keep failing'>Why FPGA startups keep failing</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/' rel='bookmark' title='Permanent Link: The formal verification market is still untapped'>The formal verification market is still untapped</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/06/11/who-should-worry-about-xilinx-and-oasys-partnership/' rel='bookmark' title='Permanent Link: Who should worry about Xilinx and Oasys partnership?'>Who should worry about Xilinx and Oasys partnership?</a></li>
</ol>]]></description>
			<content:encoded><![CDATA[<p>A FPGA company makes revenue with the hardware: it sells its device, and gives away its design tools –synthesis, place-and-route. Yet the EDA industry has had success with its own (non-free) FPGA synthesis solutions. For good reasons: in its days, Synplicity’s <a rel="nofollow" href="http://www.synopsys.com/Tools/Implementation/FPGAImplementation/FPGASynthesis/Pages/SynplifyPro.aspx">Synplify</a> was the best FPGA synthesis out there. Synopsys <a rel="nofollow" href="http://www.eetimes.com/showArticle.jhtml?articleID=206905027">acquired</a> Synplicity two years ago, but it was more to get a comprehensive emulation solution than pushing FPGA synthesis. Mentor Graphics is still invested in FPGA synthesis with <a rel="nofollow" href="http://www.mentor.com/products/fpga/synthesis/">Precision</a>, and competes head to head with Xilinx’ <a rel="nofollow" href="http://www.xilinx.com/tools/xst.htm">XST</a> and Altera’s <a rel="nofollow" href="http://www.altera.com/products/software/quartus-ii/web-edition/qts-we-index.html">Quartus</a>.</p>
<p>In a world where FPGA software design is expected to be free (or very cheap, compared to it ASIC counterpart), is there still a market for EDA companies to sell their FPGA solutions? Synplicity stopped growing after it built its success on FPGA synthesis. Is that the fate of EDA for FPGA?</p>
<p>There are several forces at play here: device complexity, software complexity, and know-how.</p>
<p>The complexity of FPGA starts to rival that of ASIC’s. The largest FPGA devices contain 100,000’s of LUTs and registers, 1000’s of DSP components, and are equivalent to 1+ million gate designs. The increasing device size requires faster synthesis and larger capacity. It also strains verification because simulation costs are augmenting accordingly. The days were a designer could complete her FPGA project with a simple write-RTL/synthesize/simulate/fix iterative flow are gone.</p>
<p>FPGA companies differentiate with their devices’ speed, capacity, and power consumption. But beyond the raw hardware features, software to design FPGA has become a key for success. Altera learnt the lesson the hard way 10 years ago when it released software that was not ready: Altera quickly lost its top customers to Xilinx, while it could have become the undisputed #1 FPGA vendor. Some FPGA startups in the past could not get off the ground because they fail to deliver good synthesis for their device. Closer to us, we have heard about Tabula’s chronic problems to bring up its synthesis before it finally announced its device earlier this year. And Abound Logic’s huge netlist has stretched the capacity of today’s FPGA synthesis.</p>
<p>Altera has now a software powerhouse, and is meticulous about its software design and testing. Xilinx is currently going through a major overhaul of its software to catch up with its main competitor. There is no question that software is taken very seriously by the two vendors –they both have a couple hundreds engineers dedicated to provide customers with a full design tool suite.</p>
<p>So does EDA has any future in FPGA synthesis? There will always be FPGA startups looking for an OEM with Synopsys and Mentor, but this is not enough. The EDA industry must showcase a comprehensive FPGA development environment that will cover design, synthesis, and verification:</p>
<ul>
<li>Verification      is becoming ever more costly for FPGAs, as it already is for ASICs. Formal      verification for FPGA is still embryonic –FPGA synthesis uses retiming and      FSM re-encoding that makes formal verification quite difficult.</li>
<li>Synthesis      of complex systems with a large IP spectrum is an area of expertise that      EDA must leverage. Also EDA could provide a much-needed improvement in power      management.</li>
<li>As for      design, EDA must seize on the FPGA community’s ability to adopt new methodologies      much faster than the ASIC community. ESL, SystemC, and C/C++ as hardware      description languages are the right direction.</li>
</ul>
<p>If EDA wants to compete with the few hundred software engineers of Xilinx and Altera, it needs to deliver a best-in-class and innovative FPGA design environment. Else it will end up as a no-growth by-product of ASIC synthesis.</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2009/09/15/why-fpga-startups-keep-failing/' rel='bookmark' title='Permanent Link: Why FPGA startups keep failing'>Why FPGA startups keep failing</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/' rel='bookmark' title='Permanent Link: The formal verification market is still untapped'>The formal verification market is still untapped</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/06/11/who-should-worry-about-xilinx-and-oasys-partnership/' rel='bookmark' title='Permanent Link: Who should worry about Xilinx and Oasys partnership?'>Who should worry about Xilinx and Oasys partnership?</a></li>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2010/04/20/is-fpga-a-sustainable-market-for-eda/feed/</wfw:commentRss>
		<slash:comments>9</slash:comments>
		</item>
		<item>
		<title>Can Tabula and Tier Logic be successful?</title>
		<link>http://www.ocoudert.com/blog/2010/03/12/can-tabula-and-tier-logic-be-successful/</link>
		<comments>http://www.ocoudert.com/blog/2010/03/12/can-tabula-and-tier-logic-be-successful/#comments</comments>
		<pubDate>Fri, 12 Mar 2010 13:08:03 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[Business]]></category>
		<category><![CDATA[EDA]]></category>
		<category><![CDATA[Tech]]></category>
		<category><![CDATA[Altera]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[startup]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=753</guid>
		<description><![CDATA[<p>The past two weeks were pretty interesting if you follow FPGAs. Yes, Xilinx and Altera kept upping their target to Wall St., but that is not where the excitement came from. It came from the recent announcements of two startups, both created in 2003 and heavily funded. <a rel="nofollow" href="http://www.tabula.com/">Tabula</a> released its long-awaited device, which goes [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2010/03/12/can-tabula-and-tier-logic-be-successful/">Can Tabula and Tier Logic be successful?</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/07/15/rip-tier-logic/' rel='bookmark' title='Permanent Link: RIP Tier Logic'>RIP Tier Logic</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/09/15/why-fpga-startups-keep-failing/' rel='bookmark' title='Permanent Link: Why FPGA startups keep failing'>Why FPGA startups keep failing</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/06/03/rip-abound-logic/' rel='bookmark' title='Permanent Link: RIP Abound Logic'>RIP Abound Logic</a></li>
</ol>]]></description>
			<content:encoded><![CDATA[<p>The past two weeks were pretty interesting if you follow FPGAs. Yes, Xilinx and Altera kept upping their target to Wall St., but that is not where the excitement came from. It came from the recent announcements of two startups, both created in 2003 and heavily funded. <a rel="nofollow" href="http://www.tabula.com/">Tabula</a> released its long-awaited device, which goes by the sexy name of “Spacetime”. And <a rel="nofollow" href="http://www.tierlogic.com/">Tier Logic</a> left its stealth mode this week to announce its own device, “TierFPGA”.</p>
<p>The dominant factor in classical FPGA architecture is the interconnect: most of the die area is taken by the wires and the interconnect switches and muxes. If you can somehow reduce the area dedicated to interconnect, you can augment the logic density and lessen the cost of the device. Tabula and Tier Logic pitch a 3D architecture to address the interconnect bottleneck, albeit in very different flavors.</p>
<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/03/tabula_logo.jpg"><img class="alignright size-full wp-image-754" title="tabula_logo" src="http://www.ocoudert.com/blog/wp-content/uploads/2010/03/tabula_logo.jpg" alt="" width="85" height="67" /></a>Tabula innovative <a rel="nofollow" href="http://www.edn.com/blog/1690000169/post/1770052977.html">design</a> is based on its ability to reconfigure itself, up to 8 times with a clock running at 1.6GHz. At each cycle a cell can change its functionality, its latch configuration, and its interconnect. The time-multiplexing increases the amount of logic that can be fit on the same area. It is like having 8 layers (or “folds”) of cells stacked on top of each other along a time axis, with very short connection between cells at the same (x,y) coordinate but in two adjacent folds. At each cycle one jumps to the next fold and feeds the new configured logic with the results of the previous fold. Tabula claims they increase the logic density by 2.5x compared to classical FPGA architectures.</p>
<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/03/tierlogiclogo.png"><img class="alignright size-full wp-image-755" title="tierlogiclogo" src="http://www.ocoudert.com/blog/wp-content/uploads/2010/03/tierlogiclogo.png" alt="" width="86" height="86" /></a>Tier Logic’s design <a rel="nofollow" href="http://www.edn.com/blog/1690000169/post/1870053187.html">idea</a> is to place the SRAM cells that configure the interconnect muxes on top of the routing layers, instead of having them distributed throughout the logic die area. Doing so leaves more room for logic cells, increasing the cell density by about 50% according to the company. The design flow will not throw anybody off: it uses Mentor’s Precision for synthesis, and is followed by Tier Logic’s mapping and P&amp;R.</p>
<p>A big plus touted by Tier Logic is the ability of <a rel="nofollow" href="http://www.pldesignline.com/223400079">moving</a> painlessly from their device to an ASIC. Simply replace the interconnect configuration SRAM cells at the top with metal, and voila, you obtain an ASIC with <em>no change</em> in timing. This is a simple, predictable <a rel="nofollow" href="http://www.tierlogic.com/news/8/121/Tier-Logic-announces-innovative-3D-FPGA-technology-low-cost-FPGAs-no-risk-timing-exact-ASICs/">process</a>: it takes about 4 weeks to go from the SRAM configuration to a top-layer mask, and you do not need to go through a timing closure flow again, which means a non-recurring engineering cost of about $50k. This is a real bargain when you consider that moving from FPGA to ASIC usually requires a redesign that can take as long as 9 months.</p>
<p>So who of Tabula and Tier Logic is best positioned to challenge the duopoly Xilinx/Altera?</p>
<p>Tabula made it clear that they are aiming at the high-end of the FPGA market. There are a number of FPGA startups that targeted the same niche, and none survived. One reason is that it is easy for Xilinx and Altera to increase the size of their device, by simply moving to the next technology node. Tabula’s design is innovative and pushes the limits, but how far is too far? It is unclear whether the company can deliver the design tools to match their device’s challenges –they went through a complete reset a few years ago, replacing the whole software team. Verifying a device that can reconfigure itself 8 times in a loop may be another challenging problem. Increased density is obtained by continuous reconfiguration, which means extra power consumption: is it still an acceptable tradeoff? Last but not least, with 100+ people in the US, it is a well-known fact in the Silicon Valley that Tabula burns cash fast, and their funding of <a rel="nofollow" href="http://www.eetimes.com/showArticle.jhtml?articleID=223100910">$106 millions</a> so far is about to come short.</p>
<p>Tier Logic’s FPGA can reduce the cost of the device for the same density. But their compelling value proposition is really their FPGA to ASIC translation. This is what Altera’s HardCopy was supposed to be, a seamless and risk-free migration from FPGA to ASIC. For anybody that wants to design an application and then migrate to a low/medium volume ASIC production, this could be the most cost efficient solution. I do not know the inside story regarding the financial aspect, but their business proposal looks more solid.</p>
<p>So who do you think has a chance here? Let’s meet again in 3-4 quarters and see how the two companies are doing.</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/07/15/rip-tier-logic/' rel='bookmark' title='Permanent Link: RIP Tier Logic'>RIP Tier Logic</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/09/15/why-fpga-startups-keep-failing/' rel='bookmark' title='Permanent Link: Why FPGA startups keep failing'>Why FPGA startups keep failing</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/06/03/rip-abound-logic/' rel='bookmark' title='Permanent Link: RIP Abound Logic'>RIP Abound Logic</a></li>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2010/03/12/can-tabula-and-tier-logic-be-successful/feed/</wfw:commentRss>
		<slash:comments>10</slash:comments>
		</item>
		<item>
		<title>Formal verification stalling, take two</title>
		<link>http://www.ocoudert.com/blog/2010/02/21/formal-verification-stalling-take-two/</link>
		<comments>http://www.ocoudert.com/blog/2010/02/21/formal-verification-stalling-take-two/#comments</comments>
		<pubDate>Mon, 22 Feb 2010 03:57:24 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[EDA]]></category>
		<category><![CDATA[verification]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=724</guid>
		<description><![CDATA[<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/02/clapboard3-2.png"></a>My <a href="../2010/01/24/has-formal-verification-technology-stalled/">last post</a> must have struck a nerve. In this post I ask whether fundamental innovation stalled in formal verification, and I speculate which area the next technological leap will come from. This post received some quite interesting comments. It also brought a <a rel="nofollow" href="http://www.techbites.com/201002122062/myblog/articles/z000e-formal-is-more-than-just-alive-and-well-it-is-thriving.html">counter point</a> by Brian Bailey, partially motivated by his [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2010/02/21/formal-verification-stalling-take-two/">Formal verification stalling, take two</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/01/24/has-formal-verification-technology-stalled/' rel='bookmark' title='Permanent Link: Has formal verification technology stalled?'>Has formal verification technology stalled?</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/' rel='bookmark' title='Permanent Link: The formal verification market is still untapped'>The formal verification market is still untapped</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/06/automated-low-power-design-flow-is-up-for-grabs-part-ii/' rel='bookmark' title='Permanent Link: Automated low-power design flow is up for grabs (Part II)'>Automated low-power design flow is up for grabs (Part II)</a></li>
</ol>]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/02/clapboard3-2.png"><img class="alignright size-full wp-image-735" title="clapboard3-2" src="http://www.ocoudert.com/blog/wp-content/uploads/2010/02/clapboard3-2.png" alt="" width="250" /></a>My <a href="../2010/01/24/has-formal-verification-technology-stalled/">last post</a> must have struck a nerve. In this post I ask whether fundamental innovation stalled in formal verification, and I speculate which area the next technological leap will come from. This post received some quite interesting comments. It also brought a <a rel="nofollow" href="http://www.techbites.com/201002122062/myblog/articles/z000e-formal-is-more-than-just-alive-and-well-it-is-thriving.html">counter point</a> by Brian Bailey, partially motivated by his business partnership with <a rel="nofollow" href="http://www.jasper-da.com/">Jasper</a> –Brian sits in Jasper’s Technical Advisory Board. Last Friday I had a lively discussion with Rajeev Ranjan (CTO) and Holly Stump (VP Marketing) of Jasper. I am now taking the time to discuss these feedbacks.</p>
<p>My claim is that formal verification has reached a plateau from both the core technology and business point of view.</p>
<p>Yet that does not mean there is no progress! There is a world between creating a brand new technology and using it for an actual working product. This is what the Jasper, Real Intent, Atrenta, OneSpin, and many others are doing, as they creatively use these core technologies to propose new applications.</p>
<p>From the technological point of view, we have experienced steady improvements in many aspects –equivalence checking (EC), sequential verification, abstraction and refinement, etc. The scope of application of formal verification techniques has dramatically increased for the past few years. It has of course benefited from more powerful hardware –faster CPU, larger memory, multi-threading, distributed systems, FPGA. It also benefited from the skilled engineering of the core technologies, to the credit of the many private companies in the field.</p>
<p>But there is no recent verification tool that has been enabled by any new core technology. Nothing wrong with this, it is partially the consequence of a mature industry, where most of the effort goes into improving the customer experience and helping him integrating verification and design/synthesis flow.</p>
<p>When Randy Bryant published his BDD <a rel="nofollow" href="http://www.cs.cmu.edu/%7Ebryant/pubdir/ieeetc86.ps">paper</a> in 1986, he revolutionized the field of formal verification with a technology that could address problems previously out of reach. When EC switched from BDD to SAT solvers nearly 10 years ago, it made possible verifying multi-million gate designs against their RTL description. Bounded model checking became a practical approach to sequential property verification. <em>These</em> were disruptive technologies. Where is the next leap?</p>
<p>From the business point of view, force is to admit that the formal verification market has been pretty stable. Most of the ever-increasing design cost is taken by verification, but that does not translate into a fast growing formal verification market. Instead, the more and more daunting verification task benefits simulators more than formal tools. Yes, customers are slow to move to a different verification flow. Yes, the formal verification industry, as the rest of EDA, struggles to find a business model that would bring back a much needed growth. But which application or technology will bring enough value to make the ratio simulation/formal in favor of the later?</p>
<p>Regarding the simulation vs. formal debate, I would recommend reading Chris Wilson’s <a href="../2010/01/24/has-formal-verification-technology-stalled/#comments">comment</a>. He agrees with me that formal verification has had a relatively low return on investment. He then argues that simulators will remain the main verification solution, with formal verification technologies under the hood to speed up simulation, to increase coverage, and to help debugging. He may well have a point here.</p>
<p>One aspect that everybody agrees on is that debugging is still a bottleneck in the verification industry. Why does a design fail its functional requirement? Having a counter example (e.g., a sequence of inputs that disproves a safety property) is often not sufficient: the complexity and length of the counter example can make pinpointing the design error very difficult. A failing liveness property cannot be revealed with a finite sequence of inputs. Similarly, there is no tool that provides consistent debugging information explaining why a statement of a RTL description is unreachable. Formal verification techniques can certainly help here, and there are a few available products aiming at the problem.</p>
<p>In conclusion, formal verification as an industry has matured, but is still looking for the market share it deserves. I think there are a lot of <a href="../2009/10/19/the-formal-verification-market-is-still-untapped/">opportunities</a> to grow the market. Success may come as an enabler of a better, faster, high coverage, simulation. I rather believe it will come when formal verification allows software and hardware to be verified and debugged in a common, continuous, design flow. And this requires some major technical innovation.</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/01/24/has-formal-verification-technology-stalled/' rel='bookmark' title='Permanent Link: Has formal verification technology stalled?'>Has formal verification technology stalled?</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/' rel='bookmark' title='Permanent Link: The formal verification market is still untapped'>The formal verification market is still untapped</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/06/automated-low-power-design-flow-is-up-for-grabs-part-ii/' rel='bookmark' title='Permanent Link: Automated low-power design flow is up for grabs (Part II)'>Automated low-power design flow is up for grabs (Part II)</a></li>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2010/02/21/formal-verification-stalling-take-two/feed/</wfw:commentRss>
		<slash:comments>4</slash:comments>
		</item>
		<item>
		<title>Has formal verification technology stalled?</title>
		<link>http://www.ocoudert.com/blog/2010/01/24/has-formal-verification-technology-stalled/</link>
		<comments>http://www.ocoudert.com/blog/2010/01/24/has-formal-verification-technology-stalled/#comments</comments>
		<pubDate>Mon, 25 Jan 2010 07:15:45 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[EDA]]></category>
		<category><![CDATA[Tech]]></category>
		<category><![CDATA[verification]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=705</guid>
		<description><![CDATA[<p>We all know that functional verification is the <a rel="nofollow" href="http://www.elsevier.com/wps/find/bookdescription.cws_home/705233/description#description" target="_blank">costliest</a> and most time-consuming aspect of ASIC design &#8211;about 50% of the total cost, and from 40% to 70% of the total project duration. And we all know that simulation is by far the prevalent verification method, even though it is inherently incomplete due to [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2010/01/24/has-formal-verification-technology-stalled/">Has formal verification technology stalled?</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/' rel='bookmark' title='Permanent Link: The formal verification market is still untapped'>The formal verification market is still untapped</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/02/21/formal-verification-stalling-take-two/' rel='bookmark' title='Permanent Link: Formal verification stalling, take two'>Formal verification stalling, take two</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/05/automated-low-power-design-flow-is-up-for-grab-part-i/' rel='bookmark' title='Permanent Link: Automated low-power design flow is up for grabs (Part I)'>Automated low-power design flow is up for grabs (Part I)</a></li>
</ol>]]></description>
			<content:encoded><![CDATA[<p>We all know that functional verification is the <a rel="nofollow" href="http://www.elsevier.com/wps/find/bookdescription.cws_home/705233/description#description" target="_blank">costliest</a> and most time-consuming aspect of ASIC design &#8211;about 50% of the total cost, and from 40% to 70% of the total project duration. And we all know that simulation is by far the prevalent verification method, even though it is inherently incomplete due to an input space that is too large to be enumerated. So formal verification, which aims at <em>completeness</em>, should be a thriving field, given the impact it can have on the overall cost and schedule of ASIC designs.</p>
<p>There is certainly no lack of competition in formal verification. The big three EDA public companies, Synopsys, Cadence, and Mentor Graphics, have all their own formal verification offering (Formality, Conformal, 0-in), and there are a number of startups, e.g., <a rel="nofollow" href="http://www.jasper-da.com/">Jasper</a>, <a rel="nofollow" href="http://www.atrenta.com/">Atrenta</a>, <a rel="nofollow" href="http://www.realintent.com/">Real Intent</a>, <a rel="nofollow" href="http://www.onespin-solutions.com/">OneSpin</a>, <a rel="nofollow" href="http://www.bluepearlsoftware.com/">Blue Pearl Software</a>, to name a few. Formal verification products cover a wide range of applications: System Verilog Assertion (<a rel="nofollow" href="http://en.wikipedia.org/wiki/SystemVerilog#Assertions">SVA</a>) and property checking; RTL static check; equivalence checking (EC); some limited IP verification; clock-domain crossing (CDC) verification; and timing exception verification (false paths and multi-cycle paths).</p>
<p>Looking at the <a rel="nofollow" href="http://www.dac.com/47th/index.aspx">DAC</a> submissions this year though, I am puzzled by the overwhelming number of papers focused on increasing simulation speed and coverage, as opposed to the handful of papers discussing formal techniques. And this year is not different from last year. And the year before last. Does that mean there is a lack of innovation in formal verification core techniques?</p>
<p>Improving simulation &#8211;higher coverage, less patterns, more automation— with formal techniques is a very active field, both in the academic and industrial world. Some inject faults in the RTL to separate the most discriminating patterns (e.g., <a rel="nofollow" href="http://www.springsoft.com/products/functional-qualification/certitude">Certess</a>). Others use SAT and integer constraint solvers to reduce the number of patterns, or to automatically generate patterns for hard-to-cover code branches (e.g., <a rel="nofollow" href="http://www.nusym.com/">NuSym</a>). But success is all relative. Certess was quickly acquired last year, while NuSym is actively looking for a buyer. There are also semi-formal tools, mixing simulation and state exploration techniques (e.g., <a rel="nofollow" href="http://www.synopsys.com/TOOLS/VERIFICATION/FUNCTIONALVERIFICATION/Pages/Magellan.aspx">Magellan</a>), but they a have limited usage.</p>
<p>What about the more fundamental formal verification technologies? The 80’s were dominated by the development of rigorous semantics models (e.g., multi-valued logic, Verilog and VHDL operational semantics for synthesis and simulation, <a rel="nofollow" href="http://en.wikipedia.org/wiki/Temporal_logic">temporal logics</a>, and synchronous languages like <a rel="nofollow" href="http://www-sop.inria.fr/esterel-org/files/">Esterel</a> and <a rel="nofollow" href="http://www-users.cs.york.ac.uk/%7Eburns/papers/lustre.pdf">Lustre</a>) and the introduction of <a rel="nofollow" href="http://en.wikipedia.org/wiki/Binary_decision_diagram">BDDs</a>. The 90’s saw EC tools spreading in the industry and the rise of model checking. The 00’s were all about <a rel="nofollow" href="http://en.wikipedia.org/wiki/Boolean_satisfiability_problem#Algorithms_for_solving_SAT">SAT</a> and model abstraction to push the capacity of EC and bring property checking to the end-user, as well as static code analysis, CDC, and timing verification. What are we going to see in this decade?</p>
<p>Verification has a lot of challenging problems, with incomplete or no solution at all. Here is my list:</p>
<ul>
<li>Merged      arithmetic. There are robust methods to verify adders and multipliers of practically      any size, but no one can verify merged arithmetics as small as 32-bits.</li>
<li>Low      power. This leads to complex properties capturing the correctness of      sequential clock gating and power gating. The former is becoming more      common, and there are techniques to address most of it (e.g., Calypto and      Conformal). But the later is still waiting for a comprehensive and      automated solution.</li>
<li>RTL      debugging. There are a number of static code checkers, but debugging is      still very poor.</li>
<li>HW/SW      verification. Can we leverage deductive methods (predicate logic, HOL,      rewriting system) to close the gap between software and RTL?</li>
<li>Mixed      signal (analog/digital) devices: this is a very young area of research,      but it should see a lot of focus given the increasing ubiquity of mixed      signal designs.</li>
</ul>
<p>If formal verification core technology is to evolve, we will see some original solutions to the problems listed above. What do you think should be added to this list? And which techniques will evolve as the most promising?</p>
<hr />
<strong>UPDATE</strong>: I had enough interesting comments and feedback about this post to motivate a <a href="http://www.ocoudert.com/blog/2010/02/21/formal-verification-stalling-take-two/" target="_self">follow-up post</a>.</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/' rel='bookmark' title='Permanent Link: The formal verification market is still untapped'>The formal verification market is still untapped</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/02/21/formal-verification-stalling-take-two/' rel='bookmark' title='Permanent Link: Formal verification stalling, take two'>Formal verification stalling, take two</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/05/automated-low-power-design-flow-is-up-for-grab-part-i/' rel='bookmark' title='Permanent Link: Automated low-power design flow is up for grabs (Part I)'>Automated low-power design flow is up for grabs (Part I)</a></li>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2010/01/24/has-formal-verification-technology-stalled/feed/</wfw:commentRss>
		<slash:comments>11</slash:comments>
		</item>
		<item>
		<title>Did you feel the tremor? The 2010 challenges for EDA</title>
		<link>http://www.ocoudert.com/blog/2010/01/14/did-you-feel-the-tremor/</link>
		<comments>http://www.ocoudert.com/blog/2010/01/14/did-you-feel-the-tremor/#comments</comments>
		<pubDate>Fri, 15 Jan 2010 07:39:14 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[EDA]]></category>
		<category><![CDATA[low power]]></category>
		<category><![CDATA[mobile]]></category>
		<category><![CDATA[SoC]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=614</guid>
		<description><![CDATA[<p>Yes, did you feel it? No, I am not talking about the <a rel="nofollow" href="http://www.nowpublic.com/environment/4-1-magnitude-earthquake-san-jose-california-2552566.html">two</a> <a rel="nofollow" href="http://quake.usgs.gov/recenteqs/Quakes/nc71337451.html">earthquakes</a> that I felt last week in San Jose, shaking the buildings, and leaving people with that weird feeling that they just experienced a whisper of the Big One to come. No, I am talking about the tremor in [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2010/01/14/did-you-feel-the-tremor/">Did you feel the tremor? The 2010 challenges for EDA</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/04/20/is-fpga-a-sustainable-market-for-eda/' rel='bookmark' title='Permanent Link: Is FPGA a sustainable market for EDA?'>Is FPGA a sustainable market for EDA?</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/06/21/dac-47th-digest-what-you-missed-even-if-you-were-there/' rel='bookmark' title='Permanent Link: DAC 47th digest: what you missed (even if you were there)'>DAC 47th digest: what you missed (even if you were there)</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/12/11/why-service-companies-will-eat-up-eda/' rel='bookmark' title='Permanent Link: Why service companies will eat up EDA'>Why service companies will eat up EDA</a></li>
</ol>]]></description>
			<content:encoded><![CDATA[<p>Yes, did you feel it? No, I am not talking about the <a rel="nofollow" href="http://www.nowpublic.com/environment/4-1-magnitude-earthquake-san-jose-california-2552566.html">two</a> <a rel="nofollow" href="http://quake.usgs.gov/recenteqs/Quakes/nc71337451.html">earthquakes</a> that I felt last week in San Jose, shaking the buildings, and leaving people with that weird feeling that they just experienced a whisper of the Big One to come. No, I am talking about the tremor in the US economy. And, closer to me, in the EDA ecosystem.</p>
<p>After about a year of seeing a desolated EDA landscape, littered with startups that could not find the money to survive to the next decade, or with promises that faltered as the semiconductor industry was hit hard with inventories it could not clear, the beginning of 2010 is suddenly looking brighter. Well, not as bright as I would like it to be, but there is definitely a sense of revival.</p>
<p>The semiconductor industry is announcing <a rel="nofollow" href="http://eetimes.com/news/latest/showArticle.jhtml;jsessionid=1OZBAVKMIQGNZQE1GHPSKHWATMY32JVN?articleID=222300572">better-than-expected</a> numbers for CY09Q4, and the recent Consumer Electronic Show (<a rel="nofollow" href="http://www.cesweb.org/">CES</a>) led new expectations for exciting products that should be available within the year. How will this impact EDA? If impact there is, it will not be immediate, as many of its customers are still holding on their investments for the rest of the year, since most of their designs can be done with their current flows and tools. But, as pointed out by <a rel="nofollow" href="http://www.cadence.com/Community/blogs/ii/archive/2010/01/11/ces-provides-wake-up-call-for-eda.aspx">Richard Goering</a>, CES showcased the hot products to come, and some will definitely require EDA tools to step up. Whether it is tablet PCs, ever more powerful mobile phones, <a rel="nofollow" href="http://www.eetimes.com/news/latest/showArticle.jhtml?articleID=222300797">3D-TVs</a> (over-hyped, if I may say so), USB 3.0, or wifi-enabled cars, there are <a rel="nofollow" href="http://www.eetimes.com/news/latest/showArticle.jhtml?articleID=222300525">plenty</a> of avenues where mixed signals, low power, packaging, and high-capacity SoC design and verification tools can shine.</p>
<p>These are all familiar topics, but CES stressed the need for better, automated, and scalable solutions.</p>
<ul>
<li>Mixed      signals will help Cadence –Synopsys does not have a credible solution      there, and Magma is still too young in this market to push its <a rel="nofollow" href="http://www.magma-da.com/products-solutions/analogmixed/titanADX.aspx">Titan</a> offering, regardless of its technical merits.</li>
<li>Low      power will be a leveled field, because there is no one-vendor comprehensive      solution covering all its many facets; e.g., CPF/UPF support (<a rel="nofollow" href="http://www.cadence.com/us/pages/default.aspx" target="_self">Cadence</a> and      <a rel="nofollow" href="http://www.synopsys.com" target="_self">Synospys</a>-<a rel="nofollow" href="http://www.mentor.com/" target="_self">Mentor</a>-<a rel="nofollow" href="http://www.magma-da.com/" target="_self">Magma</a> respectively); RTL-level low power synthesis, which      requires complex IP or/and manual architecturing; power-efficient clock      tree synthesis, best done by <a rel="nofollow" href="http://www.azuro.com/">Azuro</a> and Mentor&#8217;s <a rel="nofollow" href="http://www.mentor.com/products/ic_nanometer_design/place-route/">Olympus</a>; and last but not      least, low power verification, still led by Cadence&#8217;s <a rel="nofollow" href="http://www.cadence.com/products/ld/conformal_lowpower/pages/default.aspx" target="_self">Conformal</a>.</li>
<li>Early      packaging estimation will be an interesting challenge –table PC and mobile      phones require very thin, heat-dissipating, robust devices. Mentor and Cadence      should capitalize on some of their technology and experience there.</li>
<li>Large      SoC design and verification is becoming more acute. Synospys and Mentor look      positioned to make a move against an aging <a rel="nofollow" href="http://www.cadence.com/products/di/first_encounter/pages/default.aspx" target="_blank">First Encounter</a>-based Cadence      solution.</li>
</ul>
<p>It is still difficult to find money to finance new ventures or keep existing startups alive, so predicting what will come from startups is quite difficult for 2010. We will surely see whether <a rel="nofollow" href="http://www.oasys-ds.com/" target="_blank">Oasys</a>, with its promise of 10-50x larger and faster synthesis, are for real. We will see whether <a rel="nofollow" href="http://www.atoptech.com/">ATopTech</a> can separate itself from the increasingly commodity-like backend offering. We may see whether ESL or some flavor of C/C++-based hardware design environment can help addressing SoC challenges –for designing and verifying both the silicon and the software.</p>
<p>There is a window of opportunities driven by a recovering consumer electronic market, where EDA can demonstrate that innovation and responsiveness to the next technological challenge does pay off. Let the game begin.</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/04/20/is-fpga-a-sustainable-market-for-eda/' rel='bookmark' title='Permanent Link: Is FPGA a sustainable market for EDA?'>Is FPGA a sustainable market for EDA?</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/06/21/dac-47th-digest-what-you-missed-even-if-you-were-there/' rel='bookmark' title='Permanent Link: DAC 47th digest: what you missed (even if you were there)'>DAC 47th digest: what you missed (even if you were there)</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/12/11/why-service-companies-will-eat-up-eda/' rel='bookmark' title='Permanent Link: Why service companies will eat up EDA'>Why service companies will eat up EDA</a></li>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2010/01/14/did-you-feel-the-tremor/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
		</item>
		<item>
		<title>End-of-the-year reflection: what is it to blog in EDA?</title>
		<link>http://www.ocoudert.com/blog/2009/12/29/end-of-the-year-reflection-what-is-it-to-blog-in-eda/</link>
		<comments>http://www.ocoudert.com/blog/2009/12/29/end-of-the-year-reflection-what-is-it-to-blog-in-eda/#comments</comments>
		<pubDate>Wed, 30 Dec 2009 01:27:28 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[blog]]></category>
		<category><![CDATA[EDA]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=570</guid>
		<description><![CDATA[<p>It is not quite yet the last day of the year, but two days to go is good enough to reflect on my recent blogging experience. I published my first post on September 14 of this year. Starting from scratch is always difficult, and starting a blog nowadays means you have to compete with millions of [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2009/12/29/end-of-the-year-reflection-what-is-it-to-blog-in-eda/">End-of-the-year reflection: what is it to blog in EDA?</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2009/09/14/why-starting-a-blog-in-the-first-place/' rel='bookmark' title='Permanent Link: Why starting a blog in the first place?'>Why starting a blog in the first place?</a></li>
</ol>]]></description>
			<content:encoded><![CDATA[<p>It is not quite yet the last day of the year, but two days to go is good enough to reflect on my recent blogging experience. I published my first post on September 14 of this year. Starting from scratch is always difficult, and starting a blog nowadays means you have to compete with millions of already established writers out there.</p>
<p>Well, not millions after all. I have been writing mostly on EDA and related subjects, like outsourcing, software quality, and FPGA, covering both technical and business aspects; this is of interest to only a few tens of thousands of people. Most of these posts were featured in <a href="http://www.design-reuse.com/" target="_self">Design &amp; Reuse</a>, <a href="http://www.edacafe.com/" target="_self">EDACafé</a>, and <a href="http://www.codeproject.com/" target="_self">CodeProject</a>. Simply put, <a href="http://www.design-reuse.com/" target="_self">Design &amp; Reuse</a> has been for me the greatest portal to get an EDA audience to read my blog, right next to <a href="http://www.linkedin.com/" target="_self">LinkedIn</a>. Interestingly enough, quite a lot of traffic came from Yahoo finance because of <a href="http://www.ocoudert.com/blog/2009/10/15/what-to-read-in-xilinx%e2%80%99-and-altera%e2%80%99s-third-quarter-results/" target="_self">two</a> <a href="http://www.ocoudert.com/blog/2009/10/30/how-can-xilinx-improve-its-bottom-line/" target="_self">posts</a> I had on Xilinx&#8217; and Altera&#8217;s financial results. The fastest growing audience vector has been <a href="http://twitter.com/ocoudert" target="_self">Twitter</a>. I really started to use Twitter in September, and only now I can see Twitter to carry some significant interest from followers and retweets to my blog. It has been great to see comments and discussions unfolding around topics I discussed on this site.</p>
<p>One of my early blog, about <a href="http://www.ocoudert.com/blog/2009/09/15/why-fpga-startups-keep-failing/" target="_self">why FPGA startups keep failing</a>, captured a lot of interest. I had many comments on the blog, messages via LinkedIn, or direct feedback by email. But that post had an early start, so somehow I do not consider it as the most successful. The one that clearly hit a nerve is the post where I discussed <a href="http://www.ocoudert.com/blog/2009/12/11/why-service-companies-will-eat-up-eda/" target="_self">EDA versus VLSI service companies</a>. Two days after being published it racked up the number two spot of the most popular posts, and it triggered very interesting exchanges with a number of people in the industry.</p>
<p>After its inspection three months on a half ago, the twenty posts of my blog received just short of 10,000 views. I was glad to see one of my posts in the <a href="http://www.cadence.com/Community/blogs/ii/archive/2009/12/28/notable-eda-blog-postings-for-2009.aspx" target="_self">notable EDA blog postings for 2009</a> list of <a href="http://www.cadence.com/community/posts/rgoering.aspx" target="_self">Richard Goering</a>. EDA has been my passion for 20 years, still is, and it is exciting to establish new connections and opportunities via this blog.</p>
<p>But I have to admit that the traffic I draw to this blog is nothing compared to a handful of posts I wrote for <a href="http://thenextweb.com/" target="_self">TheNextWeb</a> and <a href="http://www.neowin.net/" target="_self">Neowin</a>. It was a great experience to write as a freelance and guest blogger, and I intend to pursue writing editorial, analysis, or opinion pieces for these high quality tech news sites.</p>
<p>I enjoy the interaction resulting from my writing about topics I care about. I hope that you, reader, enjoy it too. Let us meet again in 2010 on this site for more discussions.</p>
<p>I wish you a happy new year!</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2009/09/14/why-starting-a-blog-in-the-first-place/' rel='bookmark' title='Permanent Link: Why starting a blog in the first place?'>Why starting a blog in the first place?</a></li>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2009/12/29/end-of-the-year-reflection-what-is-it-to-blog-in-eda/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Why service companies will eat up EDA</title>
		<link>http://www.ocoudert.com/blog/2009/12/11/why-service-companies-will-eat-up-eda/</link>
		<comments>http://www.ocoudert.com/blog/2009/12/11/why-service-companies-will-eat-up-eda/#comments</comments>
		<pubDate>Fri, 11 Dec 2009 23:27:07 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[Business]]></category>
		<category><![CDATA[EDA]]></category>
		<category><![CDATA[ASIC]]></category>
		<category><![CDATA[India]]></category>
		<category><![CDATA[outsourcing]]></category>
		<category><![CDATA[SaaS]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=548</guid>
		<description><![CDATA[<p>Over the past week we heard good news from <a href="http://www.eetimes.com/showArticle.jhtml?articleID=222001076">Xilinx</a> and <a href="http://www.eetimes.com/showArticle.jhtml?articleID=221901485">Altera</a>, both raising their revenue targets for Q4CY09 (Q3FY10 and Q4FY09 respectively). Both of the FPGA giants are doing fine, and are poised to grow <a href="http://www.eetimes.com/rss/showArticle.jhtml?articleID=222001174&#38;cid=RSSfeed_eetimes_newsRSS">twice as fast</a> as the semiconductor industry. The semiconductors companies are doing well too, with <a href="http://www.edn.com/article/CA6710879.html">TI</a> [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2009/12/11/why-service-companies-will-eat-up-eda/">Why service companies will eat up EDA</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2009/11/06/what-eda-needs-to-change-for-2020-success/' rel='bookmark' title='Permanent Link: What EDA needs to change for 2020 success?'>What EDA needs to change for 2020 success?</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/09/20/software-outsourcing-a-necessary-evil/' rel='bookmark' title='Permanent Link: Software outsourcing, a necessary evil'>Software outsourcing, a necessary evil</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/30/how-can-xilinx-improve-its-bottom-line/' rel='bookmark' title='Permanent Link: How can Xilinx improve its bottom line'>How can Xilinx improve its bottom line</a></li>
</ol>]]></description>
			<content:encoded><![CDATA[<p>Over the past week we heard good news from <a href="http://www.eetimes.com/showArticle.jhtml?articleID=222001076">Xilinx</a> and <a href="http://www.eetimes.com/showArticle.jhtml?articleID=221901485">Altera</a>, both raising their revenue targets for Q4CY09 (Q3FY10 and Q4FY09 respectively). Both of the FPGA giants are doing fine, and are poised to grow <a href="http://www.eetimes.com/rss/showArticle.jhtml?articleID=222001174&amp;cid=RSSfeed_eetimes_newsRSS">twice as fast</a> as the semiconductor industry. The semiconductors companies are doing well too, with <a href="http://www.edn.com/article/CA6710879.html">TI</a> upping its Q4CY09 guidance, <a href="http://www.eetimes.com/rss/showArticle.jhtml?articleID=222001601&amp;cid=RSSfeed_eetimes_newsRSS">National</a> leading the forecast in industrial demand, <a href="http://www.eetimes.com/showArticle.jhtml?articleID=222000982">UMC</a> and <a href="http://www.eetimes.com/rss/showArticle.jhtml?articleID=222001384">TSMC</a> reporting a year-to-year sales increase of 52% in November, and the overall <a href="http://www.eetimes.com/rss/showArticle.jhtml?articleID=222000641&amp;cid=RSSfeed_eetimes_newsRSS">chip sales</a> growing 14% year-to-year in October.</p>
<p>It is good to learn that the customers of the EDA industry are doing better –if they do badly, EDA will do too. But will that seemingly economic improvement of the semiconductor industry translate into better days for EDA? Nothing is less certain. The recent quarterly reports of <a href="http://blogs.barrons.com/techtraderdaily/2009/12/02/synopsys-tumbles-fy-q4-solid-but-outlook-disappoints/?mod=yahoobarrons" target="_self">Synopsys</a>, <a href="http://blogs.barrons.com/techtraderdaily/2009/12/03/mentor-graphics-fy-q3-beats-q4-outlook-light-stock-falls/?mod=yahoobarrons" target="_self">Mentor</a>, <a href="http://blogs.barrons.com/techtraderdaily/2009/10/28/earnings-wrap-slab-cdns-efi/?mod=yahoobarrons" target="_self">Cadence</a>, and <a href="http://blogs.barrons.com/techtraderdaily/2009/12/03/magma-design-fy-q2-tops-estimates/?mod=yahoobarrons" target="_self">Magma</a>, although slightly above guidance, show a bleak outlook. Most of the book-to-bill ratios decreased, and they all carefully announcing a lean year ahead.</p>
<p>I recently ran into some acquaintance working for a leading semiconductor company (in the top 15), who told me that they are reaching out to services companies to get more values out of them. The numbers speak for themselves: they will put $12 millions down for an evaluation project that will encompass the full backend part of the design cycle –about 8 months project. That is only for an evaluation! When was the last time any EDA company was given that amount of cash for a real-life trial?</p>
<p>More numbers? Let us only look at the VLSI service companies in India, i.e., in no specific order: <a href="http://www.hcltech.com/" target="_self">HCL Technologies</a>, <a href="http://www.kpitcummins.com/" target="_self">KPIT Cummins Infosystems Ltd</a>, <a href="http://www.mindtree.com/" target="_self">MindTree Ltd</a>, <a href="http://www.sasken.com/" target="_self">Sasken Communication Technologies</a>, <a href="http://www.tcs.com/homepage/Pages/default.aspx" target="_self">Tata Consultancy Services</a>, <a href="http://www.wipro.com/" target="_self">Wipro Technologies</a>. According to the <a href="http://www.eetindia.co.in/ART_8800577532_1800000_NT_afb66074.HTM" target="_self">India Semiconductor Association</a>, VLSI design service revenues in India could hit $1.13 billion in 2009, while hardware and board design could reach $560 million and embedded design and services about $7.29 billion. Yes, that’s nearly $9 billion overall, nearly twice the EDA market, and China is not even in the picture yet. Despite the dramatic downturn in 2009, some of these services companies did quite well, and most expect an uptick with a recovery in the semi industry next year.</p>
<p>The truth is that EDA companies have been providing software solutions that are more and more seen as commodities. The license renewal rate is dropping and its volume is decreasing.  In a flat, if not slowly shrinking market, the EDA firms have to eat their competitors’ share if they want to grow or just survive. They drop their prices and fork free AE support to sweet the deal for the customer. The vast majority of the designs can be done with last year’s generation suite, thus there is no urgency to buy new design tools. Then semiconductor companies might indeed be better off with a dedicated service company, which provides hands-on design expertise, and will be judged on results, i.e., the final tapeout. This is a win-win situation: the customer can fully rely on the service company, and since this business model commands a much higher fee than for a software license, the service company can expand and further invest to be an intimate part of their customers’ flows.</p>
<p>EDA has better look around and see what is happening. Semiconductors companies will more and more rely on service companies, tailored to their needs. Chip design and verification looks more and more like an IP assembly that requires an expertise that EDA tools do no longer deliver. The value-added is in that expertise, not in the tools that are becoming more and more push-process.</p>
<p>It is true that VLSI service companies buy tools to EDA companies, but the service companies factorize the license usage between several customers, which means that overall, less licenses are needed. Today, <a href="http://www.tcs.com/homepage/Pages/default.aspx" target="_self">TCS</a> can easily rent any EDA tool from the big 3 by the week or by the month. Imagine tomorrow Synopsys, Cadence, and Mentor dealing only with the top 6 hardware design service companies, themselves servicing the top 20-30 in the semi industry: EDA will loose a lot of leverage in the sale negotiation process. If Magma ends up as a cheap provider of IC implementation solutions, all developed in India, it will lower the bar even more.</p>
<p>EDA has to evolve quickly if it does not want to be sidelined as just an enabler. The EDA industry must be part of the design expertise, and work closely with its customers, even if it means its solution is no longer generic. And yes, as I said in the past, the value-added is in the system-level software, and this is where resides the growth of hardware designs. So the EDA industry must go into chip software design and verification if it wants to be relevant in five years from now.</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2009/11/06/what-eda-needs-to-change-for-2020-success/' rel='bookmark' title='Permanent Link: What EDA needs to change for 2020 success?'>What EDA needs to change for 2020 success?</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/09/20/software-outsourcing-a-necessary-evil/' rel='bookmark' title='Permanent Link: Software outsourcing, a necessary evil'>Software outsourcing, a necessary evil</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/10/30/how-can-xilinx-improve-its-bottom-line/' rel='bookmark' title='Permanent Link: How can Xilinx improve its bottom line'>How can Xilinx improve its bottom line</a></li>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2009/12/11/why-service-companies-will-eat-up-eda/feed/</wfw:commentRss>
		<slash:comments>22</slash:comments>
		</item>
		<item>
		<title>What EDA needs to change for 2020 success?</title>
		<link>http://www.ocoudert.com/blog/2009/11/06/what-eda-needs-to-change-for-2020-success/</link>
		<comments>http://www.ocoudert.com/blog/2009/11/06/what-eda-needs-to-change-for-2020-success/#comments</comments>
		<pubDate>Sat, 07 Nov 2009 01:24:52 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[Business]]></category>
		<category><![CDATA[EDA]]></category>
		<category><![CDATA[ASIC]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[software]]></category>
		<category><![CDATA[verification]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=504</guid>
		<description><![CDATA[<p><a href="http://www.iccad.com/2009/index.html" target="_blank">ICCAD’09</a> was a fairly good vintage. It started Monday morning with an excellent <a href="http://www.iccad.com/events/eventdetails.aspx?id=106-100">keynote</a> from Hamid Pirahesh about cloud computing. The same day in the afternoon, a more EDA-focused discussion was initiated by Jim Hogan and Paul McLellan (slides can be found <a href="http://leepr.com/PDF/iccad09_20091030.pdf">here</a>), asking the question “What EDA needs to change for [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2009/11/06/what-eda-needs-to-change-for-2020-success/">What EDA needs to change for 2020 success?</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/' rel='bookmark' title='Permanent Link: The formal verification market is still untapped'>The formal verification market is still untapped</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/12/11/why-service-companies-will-eat-up-eda/' rel='bookmark' title='Permanent Link: Why service companies will eat up EDA'>Why service companies will eat up EDA</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/04/20/is-fpga-a-sustainable-market-for-eda/' rel='bookmark' title='Permanent Link: Is FPGA a sustainable market for EDA?'>Is FPGA a sustainable market for EDA?</a></li>
</ol>]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.iccad.com/2009/index.html" target="_blank">ICCAD’09</a> was a fairly good vintage. It started Monday morning with an excellent <a href="http://www.iccad.com/events/eventdetails.aspx?id=106-100">keynote</a> from Hamid Pirahesh about cloud computing. The same day in the afternoon, a more EDA-focused discussion was initiated by Jim Hogan and Paul McLellan (slides can be found <a href="http://leepr.com/PDF/iccad09_20091030.pdf">here</a>), asking the question “What EDA needs to change for 2020 success?”</p>
<p>Paul rightly <a href="http://www.edn.com/blog/920000692/post/920050292.html">emphasized</a> three trends. The first one is well know: the continuously rising cost of IC designs, about $50M for today’s 45nm node. The second trend is that the fastest growing part of the design cost is software –more than half of the overall cost, Paul even claiming close to 2/3 of the overall cost. The third trend is an increasingly fragmented consumer market: the number of end products goes into the 10’s of billions, but these products are declined in many more different kinds, which means that most of them are shipping in smaller individual volumes.</p>
<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2009/11/units_versus_time_and_market_size.png"><img class="aligncenter size-full wp-image-506" title="units_versus_time_and_market_size" src="http://www.ocoudert.com/blog/wp-content/uploads/2009/11/units_versus_time_and_market_size.png" alt="units_versus_time_and_market_size" width="500" /></a></p>
<p>Source: <em>Morgan Stanley, <a href="http://www.morganstanley.com/institutional/techresearch/pdfs/MS_Economy_Internet_Trends_102009_FINAL.pdf" target="_blank">Economy + Internet Trends</a>, Web 2.0 Summit, San Francisco, Oct 2009.</em></p>
<p>This is bad news for EDA as we know it: the rising cost of design can no longer be justified if the number of units does not grow fast enough (a $50M chip starts to make sense only if it is produced for 250M units and more). Also EDA has been slow to climb up the food chain and proposes solutions for software design, which dominates the overall chip design cost.</p>
<p>Rising IC design cost and smaller number of units is the call for FPGA to growth even faster. Mobile applications require FPGA to do much better in terms of power consumption, but this is a hot topic (no pun intended) drawing a lot of attention and investment, and some competitive solution will emerge in the next few years. So EDA, which makes its bread and butter on IC design, should better re-align its growth strategy on software, embedded systems, HW/SW co-design, and verification. Else EDA will continue to shrink to only service the few that can still afford chip design.</p>
<p>The end product, as a SoC, is a puzzle where the designer mostly assembles existing cores and IPs, and decides of the tradeoff between the software and hardware parts, based on flexibility and cost factors.</p>
<p>I see two strong needs that EDA could build its growth on. One is functional validation of the whole system &#8211;software plus hardware. EDA has started to address the issue, even though it is still short of proposing a scalable and automated environment. To functional validation, I would also add <em>functional flexibility</em>: how much of the behavior can be upgraded thanks to the software part? The other need is a design navigator that would estimate the speed, area, power consumption, and cost of a SoC by exploring alternatives between cores (ARM, MIPS, etc), IPs, FPGA, and software.</p>
<p>Last but not least, the eternal question of an EDA serving a $250B semiconductor industry, but making less than $5B. The time-based license model has only served the interests of the semiconductor companies, to the expenses of R&amp;D investment in EDA. Claiming a lack of innovation in the EDA industry is sometimes fair, but EDA should also innovate in business solutions instead of cannibalizing itself by cutting costs to only survive another quarter. The semiconductor industry needs a healthy EDA if it wants to address the system-level design challenges of the next 10 years. Unless, of course, a new player coming from the software world with the experience of scalable systems signs the death of the EDA industry as we know it.</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/' rel='bookmark' title='Permanent Link: The formal verification market is still untapped'>The formal verification market is still untapped</a></li>
<li><a href='http://www.ocoudert.com/blog/2009/12/11/why-service-companies-will-eat-up-eda/' rel='bookmark' title='Permanent Link: Why service companies will eat up EDA'>Why service companies will eat up EDA</a></li>
<li><a href='http://www.ocoudert.com/blog/2010/04/20/is-fpga-a-sustainable-market-for-eda/' rel='bookmark' title='Permanent Link: Is FPGA a sustainable market for EDA?'>Is FPGA a sustainable market for EDA?</a></li>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2009/11/06/what-eda-needs-to-change-for-2020-success/feed/</wfw:commentRss>
		<slash:comments>12</slash:comments>
		</item>
	</channel>
</rss>
