<?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; FPGA</title>
	<atom:link href="http://www.ocoudert.com/blog/tag/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>RIP Tier Logic</title>
		<link>http://www.ocoudert.com/blog/2010/07/15/rip-tier-logic/</link>
		<comments>http://www.ocoudert.com/blog/2010/07/15/rip-tier-logic/#comments</comments>
		<pubDate>Thu, 15 Jul 2010 22:28:27 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[Business]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[startup]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=892</guid>
		<description><![CDATA[<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/03/tierlogiclogo.png"></a>It&#8217;s official: <a rel="nofollow" href="http://www.tierlogic.com/" target="_blank">Tier Logic</a> will cease to be in business on Friday July 16, 2010. The company has been trying to close its second round of funding, but it became clear last week that no short-term funding from a new VC  would come, despite some due diligence by two lead investors. [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2010/07/15/rip-tier-logic/">RIP Tier Logic</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/03/12/can-tabula-and-tier-logic-be-successful/' rel='bookmark' title='Permanent Link: Can Tabula and Tier Logic be successful?'>Can Tabula and Tier Logic be successful?</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>
<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>
</ol>]]></description>
			<content:encoded><![CDATA[<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>It&#8217;s official: <a rel="nofollow" href="http://www.tierlogic.com/" target="_blank">Tier Logic</a> will cease to be in business on Friday July 16, 2010. The company has been trying to close its second round of funding, but it became clear last week that no short-term funding from a new VC  would come, despite some due diligence by two lead investors. Since Tier Logic&#8217;s existing investor decided to not pursue on its  own, it had no choice but to close the doors.</p>
<p>Tier Logic had a unique <a rel="nofollow" href="http://www.ocoudert.com/blog/2010/03/12/can-tabula-and-tier-logic-be-successful/" target="_blank">value proposition</a>: you could turn its FPGA into an ASIC in a predictable time and cost. It had a working silicon and a proven production tool, and achieved to do so with spending only $20M.</p>
<p>It is a pity to see that a company with such a good technology and such an attracting business proposition must shut down because of lack of interest from VCs. You have to wonder which strings you have to pull in the investment community to get the attention you deserve.</p>
<p>Although Tier Logic will likely attempt to sell its technology to a Xilinx or an Altera, it is also quite likely that whoever the buyer is will simply buy Tier Logic&#8217;s patents to bury them. Too bad.</p>
<p>After <a href="http://www.ocoudert.com/blog/2010/06/03/rip-abound-logic/" target="_self">Abound Logic</a>&#8216;s shut down 6 weeks ago, another startup showing how <a href="http://www.ocoudert.com/blog/2009/09/15/why-fpga-startups-keep-failing/" target="_blank">hard</a> it is to be successful in FPGA.</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/03/12/can-tabula-and-tier-logic-be-successful/' rel='bookmark' title='Permanent Link: Can Tabula and Tier Logic be successful?'>Can Tabula and Tier Logic be successful?</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>
<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>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2010/07/15/rip-tier-logic/feed/</wfw:commentRss>
		<slash:comments>8</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>RIP Abound Logic</title>
		<link>http://www.ocoudert.com/blog/2010/06/03/rip-abound-logic/</link>
		<comments>http://www.ocoudert.com/blog/2010/06/03/rip-abound-logic/#comments</comments>
		<pubDate>Thu, 03 Jun 2010 18:10:38 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[Business]]></category>
		<category><![CDATA[FPGA]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=789</guid>
		<description><![CDATA[<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/abound-logic-logo.jpg"></a>Another FPGA startup met the fate of so many others: <a href="http://www.aboundlogic.com/index.html">Abound Logic</a> is reported to have shut down this week, Wednesday June 2nd, 2010.</p>
<p>Abound logic, previously known as M2000, was founded by three EDA veterans who had previously started Meta Systems. Meta Systems developed the industry’s first emulation system based on custom FPGAs, which [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2010/06/03/rip-abound-logic/">RIP Abound Logic</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/2010/03/12/can-tabula-and-tier-logic-be-successful/' rel='bookmark' title='Permanent Link: Can Tabula and Tier Logic be successful?'>Can Tabula and Tier Logic be successful?</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>
</ol>]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/abound-logic-logo.jpg"><img class="alignright size-full wp-image-792" title="abound logic logo" src="http://www.ocoudert.com/blog/wp-content/uploads/2010/06/abound-logic-logo.jpg" alt="" width="280" height="117" /></a>Another FPGA startup met the fate of so many others: <a href="http://www.aboundlogic.com/index.html">Abound Logic</a> is reported to have shut down this week, Wednesday June 2nd, 2010.</p>
<p>Abound logic, previously known as M2000, was founded by three EDA veterans who had previously started Meta Systems. Meta Systems developed the industry’s first emulation system based on custom FPGAs, which was to become the basis for the Abound Logic device after Meta Systems was acquired by Mentor Graphics in May 1996.</p>
<p>Abound logic’s device, the Raptor FPGA, offered in 65nm technology the capacity of 774k CLBs, each containing a 4-input LUT. This made the Raptor the largest FPGA on the market at a time.</p>
<p>Abound logic was in discussions to close another financing round, estimated around $20M, but one of the main tentatively new investor pulled out, which put to rest the last investment opportunities.</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/2010/03/12/can-tabula-and-tier-logic-be-successful/' rel='bookmark' title='Permanent Link: Can Tabula and Tier Logic be successful?'>Can Tabula and Tier Logic be successful?</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>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2010/06/03/rip-abound-logic/feed/</wfw:commentRss>
		<slash:comments>7</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>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>
		<item>
		<title>How can Xilinx improve its bottom line</title>
		<link>http://www.ocoudert.com/blog/2009/10/30/how-can-xilinx-improve-its-bottom-line/</link>
		<comments>http://www.ocoudert.com/blog/2009/10/30/how-can-xilinx-improve-its-bottom-line/#comments</comments>
		<pubDate>Fri, 30 Oct 2009 22:45:05 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[Business]]></category>
		<category><![CDATA[Altera]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[India]]></category>
		<category><![CDATA[outsourcing]]></category>
		<category><![CDATA[software]]></category>
		<category><![CDATA[Xilinx]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=473</guid>
		<description><![CDATA[<p>Last week I wrote a <a href="../2009/10/15/what-to-read-in-xilinx%E2%80%99-and-altera%E2%80%99s-third-quarter-results/">post</a> discussing Xilinx and Altera Q3’09 results, and I mentioned Xilinx’ operation margin consistently trailing Altera’s by 3-4%. I had a few emails regarding that gap, and why that gap would be closed eventually. Let me address this topic with this post.</p>
<p>Comparing the yearly fiscal exercises directly would be biased [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2009/10/30/how-can-xilinx-improve-its-bottom-line/">How can Xilinx improve its bottom line</a></p>


Related posts:<ol><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>
<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>
<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>
</ol>]]></description>
			<content:encoded><![CDATA[<p>Last week I wrote a <a href="../2009/10/15/what-to-read-in-xilinx%E2%80%99-and-altera%E2%80%99s-third-quarter-results/">post</a> discussing Xilinx and Altera Q3’09 results, and I mentioned Xilinx’ operation margin consistently trailing Altera’s by 3-4%. I had a few emails regarding that gap, and why that gap would be closed eventually. Let me address this topic with this post.</p>
<p>Comparing the yearly fiscal exercises directly would be biased (Xilinx’ fiscal year end on March 31<sup>st</sup>, and Altera’s fiscal year on Dec 31<sup>st</sup>). Instead we can look at a quarter by quarter comparison, even though that can be too low a level. Better is to look for ttm (trailing twelve months) comparison to smooth out the local variations.</p>
<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2009/10/XLNX-ALTR-income-statements1.png"><img class="aligncenter" title="XLNX ALTR income statements" src="http://www.ocoudert.com/blog/wp-content/uploads/2009/10/XLNX-ALTR-income-statements1.png" alt="" width="450" /></a>Source: <em>Yahoo! Finance. All figures in thousands.<br />
</em></p>
<p>One can see that Altera’s operating margin is overall better. Also in their respective Q3’09 revenue reports, Xilinx expects its Q4’09 gross margin to improve to 62-63%, and Altera sees his to be 67-68%.  So a 3-4% operating margin gap will remain, which is significant.</p>
<p>On the other hand, Xilinx quotes 3145 full time employees, and Altera 2760. This means that a Xilinx employee brings back revenue about 26% higher than an Altera employee! So it all boils down to the question: how can Xilinx be more cost efficient?</p>
<p>One of the differences is the way software is developed. Altera’s software is mostly done in their technology center of Penang, Malaysia, with a very small core technology group in Toronto,  Canada. Xilinx’s software team is mostly in the US, and only 5% of the team is in their R&amp;D facilities in Hyderabad, India. A back-of-the-envelop calculation shows that if Xilinx had the same software team but with a US/India ratio 1/3-2/3, which is a healthy ratio for a company that can leverage its India facility, Xilinx would improve its operating margin by one point.</p>
<p>If you extend the same reasoning to whole R&amp;D –not only software&#8211;, then it is clear that Xilinx can get the upper hand. Looking at the R&amp;D job listings, it is also clear that Xilinx is moving into that direction. The question then is whether Xilinx has the structure and the drive to achieve such a transformation successfully.</p>


<p>Related posts:<ol><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>
<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>
<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>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2009/10/30/how-can-xilinx-improve-its-bottom-line/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>The formal verification market is still untapped</title>
		<link>http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/</link>
		<comments>http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/#comments</comments>
		<pubDate>Mon, 19 Oct 2009 16:19:31 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[Business]]></category>
		<category><![CDATA[EDA]]></category>
		<category><![CDATA[Tech]]></category>
		<category><![CDATA[ASIC]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[quality]]></category>
		<category><![CDATA[verification]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=418</guid>
		<description><![CDATA[<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2009/10/873609_33942684.jpg"></a>Functional verification is a major bottleneck in the chip design cycle. Any misstep in closing the functional correctness of a digital system costs millions of dollars in redesign, additional testing, and silicon respins. One can argue at length about its <a href="http://www.elsevier.com/wps/find/bookdescription.cws_home/705233/description#description">actual cost</a>, but people in the industry usually agree that functional verification takes between [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/">The formal verification market is still untapped</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/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/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/2009/10/873609_33942684.jpg"><img class="alignright size-full wp-image-421" title="873609_33942684" src="http://www.ocoudert.com/blog/wp-content/uploads/2009/10/873609_33942684.jpg" alt="873609_33942684" width="140" /></a>Functional verification is a major bottleneck in the chip design cycle. Any misstep in closing the functional correctness of a digital system costs millions of dollars in redesign, additional testing, and silicon respins. One can argue at length about its <a href="http://www.elsevier.com/wps/find/bookdescription.cws_home/705233/description#description">actual cost</a>, but people in the industry usually agree that functional verification takes between 40 and 70% of a project&#8217;s labor, and about 50% of the total cost. The recent <a href="http://www.eetimes.com/news/design/showArticle.jhtml?articleID=220900541" target="_self">announcement </a>of Synopsys and Freescale to <span>broaden their collaboration to cut IC verification says it all: </span>the two partners intend to manage<span> &#8220;the ever-increasing cost of verification, which can encompass up to 75 percent of the total cost of product development&#8221;.</span></p>
<p>Getting actual figures about the size of the functional verification market proves to be elusive because of the way the products are tied to synthesis license deals, and because of the lack of independent analysts in EDA. Still, the simulation and emulation market of digital systems can be estimated to be at least five times larger than today’s formal verification market. But simulation can only take you so far, so one wonders why formal verification does not have a larger share. Is it because the technology is limited, or because the market is not ready?</p>
<p><strong>Equivalence checking</strong></p>
<p>Equivalence checking (EC) consists of verifying that a netlist implements the behavior specified by a RTL description, or that two netlists are equivalent. Historically, EC is the first industrial formal verification tool brought to the ASIC world. Cadence’s <a href="http://www.cadence.com/products/ld/equivalence_checker/pages/default.aspx">Conformal</a> is still the reference (about 60% of the market), with Synopsys’ <a href="http://www.synopsys.com/tools/verification/formalequivalence/pages/formality.aspx">Formality</a> coming second.</p>
<p>EC’s technology is very mature, but this does not mean no further progress is necessary. Flip-flop matching, the primarily step that consists of determining the pairs of flip-flops that need to be compared, is expected to be done quickly and automatically, with no manual guidance. Datapath verification remains a major challenge, and proving the correctness of merged arithmetic automatically is still an open problem. Last but not least, debugging is a very complicated task. Incremental verification and rectification techniques can be quite useful to help pinpointing the functional issue.</p>
<p><strong>Model checking and property verification</strong></p>
<p>Model checking and property verification are still a fraction of the formal verification market, with many players on the field. There are two obstacles for a larger usage of the approach. The first one is that it can be complicated to write a FSM or property that captures a particular behavior. SVA (System Verilog Assertions), OVL (Open Verification Library), and PSL (Property Specification Language) help in that regard, but they need to be more systematically used in the design community. The second obstacle is that model checking techniques can only solve relatively small problem instances. This is why some go with hybrid verification techniques (read: may be incomplete), like <a href="http://www.synopsys.com/TOOLS/VERIFICATION/FUNCTIONALVERIFICATION/Pages/Magellan.aspx">Magellan</a> or <a href="http://www.mentor.com/products/fv/0-in_fv/">0-in</a>, while other stick with complete formal methods, like <a href="http://www.jasper-da.com/">Jasper</a> and <a href="http://www.onespin-solutions.com/">OneSpin</a>.</p>
<p>Because writing properties can be so complicated, specialized branches grew to address specific needs, as shown below.</p>
<ul>
<li><strong>IP verification</strong>. With SoCs using      IPs from many different sources, verifying the compliance of these IPs with      respect to standard interfaces (e.g., PCI or USB) in the context of the      application is crucial.  Conformal,      with its verification IP portfolio, is in a good position to address the      problem. Also OneSpin is known to have interesting technology in that      space, even though they are not pushing it at the moment.</li>
<li><strong>Timing verification</strong>. Incorrect      timing constraints can lead to missing a target clock cycle, or worse, to a      chip failure. Verifying timing exceptions (false paths and multi-cycle      paths), as well as CDC (Clock-Domain Crossing), has become a center of      attention. It is still unclear how big the market is. However several      discussions with IC design companies led me to believe that verifying a      set of timing exceptions (usually in the order of 10,000 SDC constraints) save      one month work of an engineer. Automation and speed are keys here. <a href="http://www.atrenta.com/">Atrenta</a>, <a href="http://www.realintent.com/">Real Intent</a>, and <a href="http://www.mentor.com/products/fv/0-in-cdc/">0-in</a> propose      interesting solutions in that space.</li>
<li><strong>Power verification</strong>. When doing <a href="../2009/10/05/automated-low-power-design-flow-is-up-for-grab-part-i/#power_gating">power      gating</a>, one needs to verify that the application is powered back up <a href="../2009/10/06/automated-low-power-design-flow-is-up-for-grabs-part-ii/#power_gating_verification">properly</a>.      Integration with UPF or CPF provides the required automation. Conformal and      CPF have an edge in that field.</li>
<li><strong>Sequential clock gating verification</strong>.      Traditional (combinatorial) clock gating is well supported by EC tools.      Sequential clock gating exploits sequential dependencies to derive      additional gating conditions, which can be used to save more dynamic      power. It has been made popular by <a href="http://www.calypto.com/">Calypto</a> &#8211;<a href="http://www.envis.com/">Envis</a> is also proposing a similar      technique at the netlist level. Sequential clock gating correctness cannot      be expressed easily with SVA or OVL without making the verification task      extremely complex, which explained why specialized verification techniques      have been developed.</li>
</ul>
<p><strong>Where formal verification will grow</strong></p>
<p>Formal verification is no longer limited to ASICs: complex systems –SoC, FPGA, and HW/SW co-design— will benefit dramatically from better formal verification techniques if they are deployed adequately.</p>
<p>With the ever-growing size of FPGAs (Altera’s <a href="http://www.altera.com/products/devices/stratix-fpgas/stratix-iv/stxiv-index.jsp">Stratix IV</a> packs 820k logic elements, and Xilinx’ <a href="http://www.xilinx.com/products/virtex6/lxt.htm">Virtex-6</a> has up to 750k logic cells), it is clear that simulation will no longer be sufficient to validate the correctness of programmable logic devices. The need for FPGA EC is real, and this requires complete automation and full support for <a href="http://en.wikipedia.org/wiki/Retiming">retiming</a> –OneSpin’s <a href="http://www.onespin-solutions.com/360ec-fpga.php">360 EC FPGA</a> has shown some competitive solution in that space. Also note that IP verification and timing verification apply to the FPGA designs too. The real question is whether FPGA designers are willing to pay for formal verification tools.</p>
<p>IP verification, and verifying the correctness of a SoC using IPs, is certainly a very strong driver for more sophisticated formal verification solutions. Power verification will become part of the ASIC design flow, as EC is part of the synthesis flow. Timing verification is still looking for its footing in the design flow –one question is the debug environment, which is still relatively limited, e.g., to showing waveforms.</p>
<p>Looking forward, formal verification techniques can be used (and have been used) in other fields than circuit design. Any critical digital system can benefit from formal verification techniques –transportation, medical equipments, security and privacy applications. The automotive industry is one of the most obvious targets. Cars are ubiquitous, they contains more and more electronics (representing about 30% of the end price today), and a functional bug can have very costly <a href="http://www.latimes.com/business/la-fi-toyota-recall18-2009oct18,0,739395.story">consequences</a>. Cars rely on digital systems for anything from optimizing their engine’s efficiency to navigation systems, entertainment, and on-board diagnosis. Soon the intra-vehicle, vehicle-to-vehicle, and vehicle-to-roadside networking will fuel innovative products, driving the needs for fast development and the highest possible level of correctness. The EDA industry is taking notice, and Mentor has certainly taken the <a href="http://www.mentor.com/products/vnd/">lead</a> there. Whether they provide the adequate functional verification framework is another matter.</p>
<p>Formal verification will extend its reach by addressing the hard problems of EC (datapath verification, and retiming for FPGA), by being seamlessly integrated in the synthesis flow (power and timing exception verification), and by providing practical solutions to IP and hybrid HW/SW design verification.</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/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/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/2009/10/19/the-formal-verification-market-is-still-untapped/feed/</wfw:commentRss>
		<slash:comments>4</slash:comments>
		</item>
		<item>
		<title>What to read in Xilinx’ and Altera’s third quarter results</title>
		<link>http://www.ocoudert.com/blog/2009/10/15/what-to-read-in-xilinx%e2%80%99-and-altera%e2%80%99s-third-quarter-results/</link>
		<comments>http://www.ocoudert.com/blog/2009/10/15/what-to-read-in-xilinx%e2%80%99-and-altera%e2%80%99s-third-quarter-results/#comments</comments>
		<pubDate>Thu, 15 Oct 2009 16:03:54 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[Business]]></category>
		<category><![CDATA[Altera]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[Xilinx]]></category>

		<guid isPermaLink="false">http://www.ocoudert.com/blog/?p=383</guid>
		<description><![CDATA[<p>This week Xilinx and Altera released their September results (<a href="http://investor.xilinx.com/phoenix.zhtml?c=75919&#38;p=irol-newsArticle&#38;ID=1341979&#38;highlight=">Q2FY10</a> and <a href="http://investor.altera.com/phoenix.zhtml?c=83265&#38;p=irol-newsArticle&#38;ID=1341510&#38;highlight=">Q3FY09</a> respectively). The bottom line is shown below (all numbers in $M).</p>
<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2009/10/Q309_XLNX_ALTR.png"></a></p>
<p>Source: Xilinx and Altera financial reports, and Yahoo! Finance </p>
<p>Xilinx’ quarterly income of $64M (0.23$/share) <a href="http://www.eetimes.com/news/design/showArticle.jhtml?articleID=220600879">beats</a> Wall Street’s expectation of 0.19$/share. Altera’s quarterly income of $56.7M (0.19$/share) <a href="http://www.eetimes.com/showArticle.jhtml?articleID=220600696">meets</a> Wall [...]<p>Continue reading <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/">What to read in Xilinx’ and Altera’s third quarter results</a></p>


Related posts:<ol><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/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>This week Xilinx and Altera released their September results (<a href="http://investor.xilinx.com/phoenix.zhtml?c=75919&amp;p=irol-newsArticle&amp;ID=1341979&amp;highlight=">Q2FY10</a> and <a href="http://investor.altera.com/phoenix.zhtml?c=83265&amp;p=irol-newsArticle&amp;ID=1341510&amp;highlight=">Q3FY09</a> respectively). The bottom line is shown below (all numbers in $M).</p>
<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2009/10/Q309_XLNX_ALTR.png"><img class="aligncenter size-full wp-image-384" title="Q309_XLNX_ALTR" src="http://www.ocoudert.com/blog/wp-content/uploads/2009/10/Q309_XLNX_ALTR.png" alt="Q309_XLNX_ALTR" width="460" /></a></p>
<p>Source: <em>Xilinx and Altera financial reports, and Yahoo! Finance </em></p>
<p>Xilinx’ quarterly income of $64M (0.23$/share) <a href="http://www.eetimes.com/news/design/showArticle.jhtml?articleID=220600879">beats</a> Wall Street’s expectation of 0.19$/share. Altera’s quarterly income of $56.7M (0.19$/share) <a href="http://www.eetimes.com/showArticle.jhtml?articleID=220600696">meets</a> Wall Street’s expectation. Both companies expect a 6-10% revenue increase for Q4’09 from previous quarter. Xilinx expects its Q4’09 gross margin to improve to 62-63%, and Altera sees his to be 67-68%.</p>
<p>Both companies are benefiting equally of an improving economy. Altera is seeing a large part of its revenue coming from new products (60% for Q3’09), as opposed to Xilinx (31% in Q3’09).</p>
<p>I would give a slight edge to Altera, given its recent offer of high-performance new devices, and its operation margin consistently ahead of Xilinx’. One day Xilinx should be able to close the 3-4% operation margin gap it has with Altera, but until then it will not be as efficient and dynamic as Altera. I will discuss in another <a href="http://www.ocoudert.com/blog/2009/10/30/how-can-xilinx-improve-its-bottom-line/" target="_self">post</a> how Xilinx can close this gap.</p>


<p>Related posts:<ol><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/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/2009/10/15/what-to-read-in-xilinx%e2%80%99-and-altera%e2%80%99s-third-quarter-results/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Why FPGA startups keep failing</title>
		<link>http://www.ocoudert.com/blog/2009/09/15/why-fpga-startups-keep-failing/</link>
		<comments>http://www.ocoudert.com/blog/2009/09/15/why-fpga-startups-keep-failing/#comments</comments>
		<pubDate>Wed, 16 Sep 2009 01:16:07 +0000</pubDate>
		<dc:creator>Olivier Coudert</dc:creator>
				<category><![CDATA[Business]]></category>
		<category><![CDATA[Tech]]></category>
		<category><![CDATA[EDA]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[startup]]></category>

		<guid isPermaLink="false">http://coudert.wordpress.com/?p=31</guid>
		<description><![CDATA[<p>The FPGA market has been entrenched in a duopoly for a number of years now.  In 2008, according to Gartner Inc., Xilinx Inc. and Altera Corp. hold together 87% of the market of programmable logic (51.2% and 35.5% respectively).  The rest of the market is covered mostly by Actel Corp. and Lattice Semiconductor Corp., about 6% [...]<p>Continue reading <a href="http://www.ocoudert.com/blog/2009/09/15/why-fpga-startups-keep-failing/">Why FPGA startups keep failing</a></p>


Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/03/12/can-tabula-and-tier-logic-be-successful/' rel='bookmark' title='Permanent Link: Can Tabula and Tier Logic be successful?'>Can Tabula and Tier Logic be successful?</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>
<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>
</ol>]]></description>
			<content:encoded><![CDATA[<p>The FPGA market has been entrenched in a duopoly for a number of years now.  In 2008, according to Gartner Inc., Xilinx Inc. and Altera Corp. hold together 87% of the market of programmable logic (51.2% and 35.5% respectively).  The rest of the market is covered mostly by Actel Corp. and Lattice Semiconductor Corp., about 6% each.</p>
<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2009/09/fpga-market-20083.gif"><img class="aligncenter" title="FPGA market in 2008" src="http://www.ocoudert.com/blog/wp-content/uploads/2009/09/fpga-market-20083.gif" alt="" width="450" /></a></p>
<p>There have been attempts to challenge the comfortable equilibrium between the two FPGA giants Xilinx and Altera.  Indeed, the number of FPGA startups increased after the 2000 downturn.  Over the past 7-9 years it looks like VCs founded FPGA startups one after another.  Beside the attraction of a programmable logic market that has been growing a healthy 8-11%, compared to a stalled ASIC market, the availability of engineers and executives from the most prestigious firms (Xilinx, Altera, Intel, LSI, etc) may have been a factor in driving more VC money in FPGA startups.</p>
<p>However, most of these startups die after a few years.  The list includes Chameleon Systems, which died in 2002; the promising Velogix, formerly known as Flexlogics, created in 2002, and which eventually ran out of funds; Ambric Inc, whose assets were acquired by Nethra in 2008; Mathstar Inc, which stopped operating in 2008; and CSwitch, which closed the doors this summer.</p>
<p><a href="http://www.ocoudert.com/blog/wp-content/uploads/2009/10/History_of_PLD_startups.gif"><img class="aligncenter" title="History_of_PLD_startups" src="http://www.ocoudert.com/blog/wp-content/uploads/2009/10/History_of_PLD_startups.gif" alt="" width="450" /></a></p>
<p>Still, there are a number of active FPGA startups.  Among the most notable, one can cite Abound Logic, formerly known as M2000, which started back in 1996, and claims high density FPGA for high-end customers; Tabula, which had to go through a full reset, raised a considerable amount of money, and from which a product is expected sometime later this year; eAsic, still on going after a few misfires; Achronix, which promises a throughput of up to 1.5GHz; SiliconBlue, which aims at low power application; and certainly more companies lesser known or still in stealth mode, like Tier Logic.</p>
<p>All these attempts failed so far to jeopardize the duopoly Xilinx/Altera.  Why is it so?  Any new venture needs to come with a significant differentiation if it wants to challenge the existing competitors.  Many FPGA startups came out with claims of higher densities and better clock cycles.  But regardless of how you look at FPGA architectures, it is not a fundamentally difficult hardware to design, especially with the profusion of expert layout engineers that exists in this field.  One cannot expect a revolution that would bring a 10x better density.  Startups’ claims of 2x or higher density eventually have to face the harsh reality that Xilinx and Altera just need to move to the next technology node to match or substantially reduce the performance claims.  Moving to the next technology node is certainly more accessible to a Xilinx or an Altera giant than to a startup for which a new mask can consume half of a second- or third-round financing.  The bottom line is that displacing a well established vendor requires more than a 2x density improvement.  First of all, you need to make sure you have the software that can exploit that extra density to deliver better results; second, for most applications, density becomes secondary as long as it fits on a board, and the ever-increasing size of the Xilinx and Altera devices makes capacity a hard sell, except possibly for a small fraction of the high-end customers; third, capacity is even more secondary when power consumption comes into play.</p>
<p>In a consumer electronics market more and more dictated by portable and wireless products, power is a factor that is more important that raw performance.  In that regard, SiliconBlue looks the best positioned to distinguish itself from its peers, and proposes a value that both Xilinx and Altera cannot meet, at least for the moment.  They are the ones to watch.</p>


<p>Related posts:<ol><li><a href='http://www.ocoudert.com/blog/2010/03/12/can-tabula-and-tier-logic-be-successful/' rel='bookmark' title='Permanent Link: Can Tabula and Tier Logic be successful?'>Can Tabula and Tier Logic be successful?</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>
<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>
</ol></p>]]></content:encoded>
			<wfw:commentRss>http://www.ocoudert.com/blog/2009/09/15/why-fpga-startups-keep-failing/feed/</wfw:commentRss>
		<slash:comments>15</slash:comments>
		</item>
	</channel>
</rss>
