<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" media="screen" href="/~d/styles/rss2full.xsl"?><?xml-stylesheet type="text/css" media="screen" href="http://feeds.feedburner.com/~d/styles/itemcontent.css"?><rss 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/" version="2.0">

<channel>
	<title>On Verification: A Software to Silicon Verification Blog</title>
	
	<link>http://blogs.synopsys.com/softwaretosiliconverification</link>
	<description>Tom Borgstrom explores software-to-silicon verification.</description>
	<lastBuildDate>Tue, 08 Nov 2011 23:08:54 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.1.2</generator>
		<atom10:link xmlns:atom10="http://www.w3.org/2005/Atom" rel="self" type="application/rss+xml" href="http://feeds.feedburner.com/synopsysoc/OnVerification" /><feedburner:info xmlns:feedburner="http://rssnamespace.org/feedburner/ext/1.0" uri="synopsysoc/onverification" /><atom10:link xmlns:atom10="http://www.w3.org/2005/Atom" rel="hub" href="http://pubsubhubbub.appspot.com/" /><feedburner:emailServiceId xmlns:feedburner="http://rssnamespace.org/feedburner/ext/1.0">synopsysoc/OnVerification</feedburner:emailServiceId><feedburner:feedburnerHostname xmlns:feedburner="http://rssnamespace.org/feedburner/ext/1.0">http://feedburner.google.com</feedburner:feedburnerHostname><item>
		<title>Getting the last 20%</title>
		<link>http://blogs.synopsys.com/softwaretosiliconverification/2010/07/getting-the-last-20/</link>
		<comments>http://blogs.synopsys.com/softwaretosiliconverification/2010/07/getting-the-last-20/#comments</comments>
		<pubDate>Wed, 07 Jul 2010 00:11:31 +0000</pubDate>
		<dc:creator>Tom Borgstrom</dc:creator>
				<category><![CDATA[Coverage]]></category>

		<guid isPermaLink="false">http://synopsysoc.org/softwaretosiliconverification/?p=180</guid>
		<description><![CDATA[I am happy to write that Nusym’s pioneering coverage convergence technology is now part of Synopsys. Over the years, I’ve seen the “long pole” in verification schedules shift based on the evolution of verification technologies and chip architectures.  A few years ago one of the long poles was writing tests – it was nearly impossible [...]]]></description>
			<content:encoded><![CDATA[<p>I am happy to write that Nusym’s pioneering coverage convergence technology is now part of Synopsys.</p>
<p>Over the years, I’ve seen the “long pole” in verification schedules shift based on the evolution of verification technologies and chip architectures.  A few years ago one of the long poles was writing tests – it was nearly impossible to think of and write the tests required to verify all of the likely operational scenarios for a complex design.  Fortunately constrained-random verification with SystemVerilog emerged and made it much easier to automatically generate the thousands of tests needed.  Today it is not uncommon to go from 0% to 80% coverage in just a few days after the SystemVerilog testbench is up &amp; running.</p>
<p>What about the remaining 20%?</p>
<p>Today, one of the long poles in verification is coverage convergence – the process where verification engineers analyze the coverage generated by constrained-random tests, identify gaps or “coverage holes”, and adjust the verification environment to try to fill the gaps.  If you think this sounds laborious, repetitive and time-consuming you’d be correct.  I’ve spoken to chip designers who say a third of their overall chip development schedule is spent in this iterative, largely manual, coverage convergence phase of verification.</p>
<p>Automating the coverage convergence process is one of the grand challenges in functional verification.  Closing coverage holes requires precise control over logic buried deep in a design using only external design signals.  This is tough enough for verification engineers – hence all the time spent on coverage convergence.  It can be even harder for a tool to automate completely.  VCS currently offers automated coverage convergence for inputs through its <a href="http://www.synopsys.com/tools/verification/functionalverification/pages/vcs.aspx">Echo</a> technology.  But what about coverage that is deeply buried in a design, many sequential levels deep from the design inputs?</p>
<p><a href="http://blogs.synopsys.com/softwaretosiliconverification/files/2010/07/Automated-Coverage-Convergece.jpg" rel="lightbox[180]"><img class="size-medium wp-image-181 aligncenter" src="http://blogs.synopsys.com/softwaretosiliconverification/files/2010/07/Automated-Coverage-Convergece-300x178.jpg" alt="" width="300" height="178" /></a></p>
<p>Nusym’s automated coverage convergence technology is targeted at just this challenge.  Nusym arguably invented the concept of automated coverage convergence back in 2004, and received glowing customer testimonials over the years (<a href="http://deepchip.com/items/dvcon07-06.html">here</a>, <a href="http://deepchip.com/items/0473-06.html">here</a>, <a href="http://www.deepchip.com/i/dac09-Nusym_Denibulator_Breker_Trek.html">here</a> and <a href="http://deepchip.com/items/0479-05.html">here</a>).  Their technology shows great promise both in providing focused feedback needed to debug coverage issues, as well as in intelligently generating stimulus to target coverage holes anywhere in the design or testbench. I look forward to this technology bringing down the “long pole” of coverage convergence!</p>
 <img src="http://blogs.synopsys.com/softwaretosiliconverification/wp-content/plugins/feed-statistics.php?view=1&post_id=180" width="1" height="1" style="display: none;" />]]></content:encoded>
			<wfw:commentRss>http://blogs.synopsys.com/softwaretosiliconverification/2010/07/getting-the-last-20/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Verification Peace, Love and Interoperability</title>
		<link>http://blogs.synopsys.com/softwaretosiliconverification/2009/11/verification-peace-love-and-interoperability/</link>
		<comments>http://blogs.synopsys.com/softwaretosiliconverification/2009/11/verification-peace-love-and-interoperability/#comments</comments>
		<pubDate>Mon, 02 Nov 2009 20:44:14 +0000</pubDate>
		<dc:creator>Tom Borgstrom</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://synopsysoc.org/softwaretosiliconverification/?p=169</guid>
		<description><![CDATA[This is going to be a pretty boring post, without much drama. But, I think that’s OK (once in a while). Let me explain. In the world of national and international politics, sensational news of conflict often gets more media attention than stories of cooperation, collaboration and progress.   Much the same happens in the world [...]]]></description>
			<content:encoded><![CDATA[<p>This is going to be a pretty boring post, without much drama. But, I think that’s OK (once in a while). Let me explain.</p>
<p>In the world of national and international politics, sensational news of conflict often gets more media attention than stories of cooperation, collaboration and progress.   Much the same happens in the world of electronic design automation, albeit at a much smaller scale.  Editors and bloggers alike are drawn to controversy, like moths to a light, in an effort to get more readers or pump up circulation.  Verilog vs VHDL!  Vera vs. Specman! SystemVerilog vs. SystemC!  VMM vs OVM! Some readers are also drawn to this for the vicarious thrill of seeing their favorite company or technology face off against an opponent.  It’s hard not to get caught up in it! Sometimes these debates actually help drive progress and consensus, but very often they are based on a false argument and end up annoying chip developers who just want to get their design out.</p>
<p>Stories of cooperation and interoperability tend to get less airtime amongst the media, perhaps because it is expected that companies will just make things work.  In the developed world, nobody writes stories about how the lights turn on or the phone works or the water runs.  However, I’d say that the EDA industry is not quite as developed as the public infrastructure in advanced countries.  Complex chip development technologies created by independent, competing companies don’t “just work” together without consistent focused effort and significant involvement from end users.</p>
<p><img class="alignright size-medium wp-image-172" src="http://blogs.synopsys.com/softwaretosiliconverification/files/2009/11/Peace-300x174.png" alt="Peace" width="300" height="174" /></p>
<p>This Thursday (November 5) in Santa Clara, Synopsys will be celebrating the progress made over the past year in EDA interoperability and standards at its 22<sup>nd</sup> EDA Interoperability Forum with the theme “<a href="http://www.synopsys.com/Community/Interoperability/Pages/InteropForumNov09.aspx" target="_blank">Peace, Love and Interoperability</a>”.  This all-day event, held at the Sun Conference Center at Agnes Historic Park, is open for both EDA tool developers and IP/chip developers.</p>
<p>The agenda includes quite a bit for verification-minded folks: learn the latest developments around SystemC TLM 2.0 for interoperable system-level models, the latest VMM methodology updates for interoperable verification environments, and the HapsTrak interface for open connectivity to FPGA-based rapid prototypes.  As an added bonus, the first 100 attendees will receive free copies of the <a href="http://www.vmmcentral.org/vmmlp/vmmlp.html" target="_blank">VMM for Low Power </a>book, and Doulos’ <a href="http://www.doulos.com/content/products/golden_reference_guides.php#anchor%20vmm" target="_blank">VMM Golden Reference Guide</a>.</p>
<p><a href="https://events.synopsys.com/sap%28bD1lbiZjPTkxMA==%29/bc/bsp/sap/zeventreg_ext/main.do?url_event_id=onInitializeSchedule&amp;toConfirm=X&amp;view_type=REGISTRATION&amp;event_id=0100000288" target="_blank">Registration</a> is free, and breakfast and lunch is provided. I hope to see you there!</p>
<div style="overflow: hidden;width: 1px;height: 1px"><img src="/DOCUME%7E1/thb/LOCALS%7E1/Temp/moz-screenshot.png" alt="" /></div>
 <img src="http://blogs.synopsys.com/softwaretosiliconverification/wp-content/plugins/feed-statistics.php?view=1&post_id=169" width="1" height="1" style="display: none;" />]]></content:encoded>
			<wfw:commentRss>http://blogs.synopsys.com/softwaretosiliconverification/2009/11/verification-peace-love-and-interoperability/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Engineering an Elevator Pitch</title>
		<link>http://blogs.synopsys.com/softwaretosiliconverification/2009/10/engineering-an-elevator-pitch/</link>
		<comments>http://blogs.synopsys.com/softwaretosiliconverification/2009/10/engineering-an-elevator-pitch/#comments</comments>
		<pubDate>Mon, 26 Oct 2009 16:00:07 +0000</pubDate>
		<dc:creator>Tom Borgstrom</dc:creator>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[elevator pitch]]></category>
		<category><![CDATA[engineering]]></category>
		<category><![CDATA[marketing]]></category>

		<guid isPermaLink="false">http://synopsysoc.org/softwaretosiliconverification/?p=132</guid>
		<description><![CDATA[Do you have an elevator pitch for your IP, chip or system? Don’t say “I’m an engineer – pitching is marketing’s job!” Everyone developing technology products should be able to deliver their product’s elevator pitch. Engineers have a strong tendency to quickly dive down into the technical minutiae of their product and lose the big [...]]]></description>
			<content:encoded><![CDATA[<p><!--[endif]--></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"><span>Do you have an elevator pitch for your IP, chip or system? Don’t say “I’m an engineer – pitching is marketing’s job!”  Everyone developing technology products should be able to deliver their product’s elevator pitch. </span></p>
<p class="MsoNormal"><span><img class="alignnone size-full wp-image-139" src="http://blogs.synopsys.com/softwaretosiliconverification/files/2009/10/pd_elevator_080420_main.jpg" alt="What's Your Elevator Pitch?" width="413" height="310" /><br />
</span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"><span>Engineers have a strong tendency to quickly dive down into the technical minutiae of their product and lose the big picture. However, this detail often overwhelms and obscures the importance of their great new technology.  Whether you develop IP, chips, electronic systems or even EDA software, the ability to effectively communicate the value and relevance of your product (or the feature you are working on) will help you stay connected to what is important for the product, your company and the customer. </span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"><span>An elevator pitch shouldn’t be long – less than a minute.  It is a concise explanation of your product that you could give to your CEO (or your customer’s CEO or a potential investor’s CEO) should you find yourself next to him or her on an elevator for a few floors. </span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"><span>I’ll admit that in my 20 years in the semiconductor industry I haven&#8217;t often found myself in a position to give a pitch to a CEO who happened to be standing next to me in an elevator (lots of single-story buildings in Silicon Valley, I guess). But the process of crafting an elevator pitch is valuable in itself. It is a process to help crystallize in your mind the value proposition, target user and competitive differentiation of your product or feature – all very good things for engineers and marketeers alike to know.</span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"><span>Here’s my favorite way to quickly put together an elevator pitch, from the technology marketing classic <em><a title="Amazon.com link to book" href="http://www.amazon.com/Crossing-Chasm-Geoffrey-Moore/dp/0060517123/" target="_blank">Crossing the Chasm</a></em> (I must be a real <a title="Rapid Prototyping &amp; Core vs. Context" href="http://synopsysoc.org/softwaretosiliconverification/?p=11" target="_blank">fan </a>of <a title="Photo" href="http://www.tcg-advisors.com/images/photos/gmoore2Web.jpg" target="_blank" rel="lightbox[132]">Geoffrey Moore</a>!). Just fill in the blanks and you’ll have a concise, compelling elevator pitch for your product or feature:</span></p>
<p class="MsoNormal"><span> </span></p>
<blockquote>
<ul>
<li><!--[if !supportLists]--><span style="color: #000000"><strong><em><span>For</span></em></strong><span><strong> </strong>(target customers)</span></span><!--[endif]--></li>
<li><!--[if !supportLists]--><span style="color: #000000"><strong><em><span>Who</span></em></strong><span><strong> </strong>(statement of the need or opportunity)</span></span><!--[endif]--></li>
<li><!--[if !supportLists]--><span style="color: #000000"><strong><em><span>The</span></em></strong><span><strong> </strong>(product name) <strong><em>is a</em> </strong>(product category)</span></span><!--[endif]--></li>
<li><!--[if !supportLists]--><span style="color: #000000"><strong><em><span>That</span></em></strong><span><strong> </strong>(statement of key benefit – that is, compelling reason to buy)</span></span><!--[endif]--></li>
<li><!--[if !supportLists]--><span style="color: #000000"><strong><em><span>Unlike</span></em></strong><span><strong> </strong>(primary competitive alternative)</span></span><!--[endif]--></li>
<li><!--[if !supportLists]--><span style="color: #000000"><strong><em><span>Our product</span></em></strong><span> (statement of primary differentiation)</span></span><!--[endif]--></li>
</ul>
<p class="MsoNormal" style="margin-left: 0.25in"><span style="color: #000000"><span> </span></span></p>
<p class="MsoNormal" style="margin-left: 0.25in;text-indent: 0.5in"><span style="color: #000000"><span>Let’s try a few examples. Suppose we are Amdahl, a maker of plug-compatible clones of IBM mainframe, and let us say that our primary competitive alternative is Hitachi Data Systems. Our elevator message might be:</span></span></p>
<p class="MsoNormal" style="margin-left: 0.25in;text-indent: 0.5in"><span style="color: #000000"><span><br />
</span></span></p>
<p class="MsoNormal" style="margin-left: 0.25in"><span style="color: #000000"><span> </span></span></p>
<p class="MsoNormal" style="margin: 0in 0.5in 0.0001pt 0.75in;text-align: justify"><span style="color: #000000"><span>For Fortune 500 companies who are looking to cut costs and who operate in data centers of IBM mainframe computers, Amdahl’s computers are plug-compatible mainframes that match or surpass the equivalent IBM computers in features and performance, at a far more attractive price. Unlike the Hitachi line of computers, our products have been backed by the same service and support organization for over 20 years.</span></span></p>
<p class="MsoNormal" style="margin: 0in 0.5in 0.0001pt 0.75in;text-align: justify"><span style="color: #000000"><span><br />
</span></span></p>
<p class="MsoNormal" style="margin-left: 0.25in;text-align: right" align="right"><span style="color: #000000"><em><span>Crossing the Chasm</span></em><span>, p. 161</span></span></p>
<p class="MsoNormal" style="margin-left: 0.25in;text-align: justify"><span style="color: #000000"><span> </span></span></p>
<p class="MsoNormal" style="margin-left: 0.25in;text-align: right" align="right"><span style="color: #000000"><span>Geoffrey Moore</span></span></p>
<p class="MsoNormal" style="margin-left: 0.25in;text-align: right" align="right"><span style="color: #000000"><span><br />
</span></span></p></blockquote>
<p class="MsoNormal" style="text-align: justify"><span> </span></p>
<p class="MsoNormal" style="text-align: justify"><span> </span></p>
<p><span>What’s your elevator pitch?</span></p>
 <img src="http://blogs.synopsys.com/softwaretosiliconverification/wp-content/plugins/feed-statistics.php?view=1&post_id=132" width="1" height="1" style="display: none;" />]]></content:encoded>
			<wfw:commentRss>http://blogs.synopsys.com/softwaretosiliconverification/2009/10/engineering-an-elevator-pitch/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>High Level Synthesis and Verification?</title>
		<link>http://blogs.synopsys.com/softwaretosiliconverification/2009/10/high-level-synthesis-and-verification/</link>
		<comments>http://blogs.synopsys.com/softwaretosiliconverification/2009/10/high-level-synthesis-and-verification/#comments</comments>
		<pubDate>Mon, 12 Oct 2009 17:59:19 +0000</pubDate>
		<dc:creator>Tom Borgstrom</dc:creator>
				<category><![CDATA[System Level Design & Verification]]></category>
		<category><![CDATA[high level synthesis]]></category>
		<category><![CDATA[HLS]]></category>
		<category><![CDATA[M-language]]></category>
		<category><![CDATA[verification]]></category>

		<guid isPermaLink="false">http://synopsysoc.org/softwaretosiliconverification/?p=124</guid>
		<description><![CDATA[After a long break from On Verification, I’m back at it again now with today’s rollout of Synopsys’ latest synthesis tool – Synphony HLS. “Synthesis? I thought this blog was On Verification” you may ask. Let me explain. As I’ve said before, software development and verification are the two biggest and fastest growing parts of [...]]]></description>
			<content:encoded><![CDATA[<p><!--[endif]--></p>
<p class="MsoNormal">After a long break from On Verification, I’m back at it again now with today’s rollout of Synopsys’ latest synthesis tool – <a href="http://synopsys.mediaroom.com/index.php?s=43&amp;item=739">Synphony HLS</a>.<span> </span>“Synthesis? I thought this blog was On Verification” you may ask. Let me explain.</p>
<p class="MsoNormal">As <a href="http://www.eetimes.com/showArticle.jhtml?articleID=218400573">I’ve said before</a>, software development and verification are the two biggest and fastest growing parts of the total cost of chip design.<span> </span>With chip development cost approaching $100m on advanced process nodes, any technology that improves productivity of software and verification teams can have a huge payback.<span> </span>High level synthesis (HLS) is one such technology.</p>
<p class="MsoNormal">In general, HLS raises the level of abstraction for design, enabling verification to also be done at a higher level and reducing downstream verification effort. <span> </span>With “correct-by-construction” generation of RTL and other views, more verification effort can be applied at higher levels without having to be repeated for RTL. This means designers can quickly explore many architectures (i.e. build the right design), write fewer lines of synthesizable code (i.e. code fewer bugs) and rapidly simulate complex functionality (i.e. complete verification sooner).<span> </span>So, HLS can be an important technology for chip developers looking to manage growing verification costs. <span> </span></p>
<p class="MsoNormal">So, how does Synphony HLS fit into the world of high level synthesis?<span> </span>First of all, Synphony HLS <span> </span>is targeted at communications and multimedia chips with high algorithmic content – a large and growing market.<span> </span>Designers of these chips typically do algorithm development in the M-language using untimed, floating-point code. To reach silicon these engineers have to manually re-code their algorithms into fixed-point architectures and then re-verify – a time-consuming and error-prone process.<span> </span>Synphony HLS changes all of that by automatically synthesizing floating-point M-code into fixed-point RTL that is optimized for power, performance, area, etc.<span> </span>based on user constraints. We all know that “one size” of RTL doesn’t fit all, so Synphony HLS generates RTL targeted at the intended use – ASIC synthesis, FPGA synthesis or FPGA-based rapid prototype.<span> </span>Synphony HLS also generates a C-level representation of the fixed-point algorithm that can be used in virtual platforms for early software development.<span> </span>There’s nothing else in the market today that does all of this.</p>
<p class="MsoNormal">So, while today’s announcement is about high level synthesis, it is really exciting news for verification as well!</p>
 <img src="http://blogs.synopsys.com/softwaretosiliconverification/wp-content/plugins/feed-statistics.php?view=1&post_id=124" width="1" height="1" style="display: none;" />]]></content:encoded>
			<wfw:commentRss>http://blogs.synopsys.com/softwaretosiliconverification/2009/10/high-level-synthesis-and-verification/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Verification Methodologies:  Standards will come; in the mean time get that chip verified!</title>
		<link>http://blogs.synopsys.com/softwaretosiliconverification/2009/05/verification-methodologies-standards-will-come-in-the-mean-time-get-that-chip-verified/</link>
		<comments>http://blogs.synopsys.com/softwaretosiliconverification/2009/05/verification-methodologies-standards-will-come-in-the-mean-time-get-that-chip-verified/#comments</comments>
		<pubDate>Mon, 11 May 2009 05:48:23 +0000</pubDate>
		<dc:creator>Tom Borgstrom</dc:creator>
				<category><![CDATA[Methodology]]></category>
		<category><![CDATA[vmm methodology standards systemverilog VIP interoperability verification]]></category>

		<guid isPermaLink="false">http://synopsysoc.org/softwaretosiliconverification/?p=111</guid>
		<description><![CDATA[Ed Sperling’s post at the System-Level Design Community revives a methodology topic that I think many verification teams are growing tired of and wish would get resolved. As Ed points out, the discussion of xxM verses yyM often devolves into a “religious” debate. This debate reflects the strong desire of verification teams to achieve higher [...]]]></description>
			<content:encoded><![CDATA[<p class="MsoNormal"><!--[if gte mso 9]&gt;  Normal 0     false false false  EN-US X-NONE X-NONE                           &lt;![endif]--><!--[if gte mso 9]&gt;                                                                                                                                            &lt;![endif]-->Ed Sperling’s <a title="VMM vs. OVM Becomes More Important" href="http://chipdesignmag.com/sld/sperling/2009/05/07/vmm-vs-ovm-becomes-more-important/" target="_blank">post</a> at the System-Level Design Community revives a methodology topic that I think many verification teams are growing tired of and wish would get resolved.<span> </span>As Ed points out, the discussion of <em>xxM </em>verses <em>yyM</em> often devolves into a “religious” debate.<span> </span>This debate reflects the strong desire of verification teams to achieve higher productivity, but does little to help realize the goal.<span> </span></p>
<p class="MsoNormal">With verification environments for complex chips often over a million lines of code, the case for higher productivity through verification reuse and interoperable VIP is strong.<span> </span>A key enabler on this front is to have a single, standard verification methodology and library.<span> </span>The last thing verification teams want to do is rewrite big chunks of their verification environment to fit in a different methodology, or to add layers of additional complexity to bind multiple disparate methodologies in a “franken-vironment”. <span> </span></p>
<p class="MsoNormal">The ultimate user goal – a single, standard verification methodology and library – must be driven by an independent organization with an open and transparent process.<span> </span>The good news is that the verification community has recognized this and is well on its way to achieve this goal.<span> </span>For the past year or so, a technical <a title="Accellera VIP-TSC" href="http://www.accellera.org/activities/vip" target="_blank">working group</a> at Accellera composed of chip designers and EDA vendors have been working furiously to develop standards for verification interoperability and ultimately a single, standard methodology.<span> </span>The process isn’t easy or fast, but progress is being made.<span> </span>Synopsys, for its part, has made significant <a title="VMM donation" href="http://synopsys.mediaroom.com/index.php?s=43&amp;item=564" target="_blank">contributions</a> both in terms of technology and people to help support this process.<span> </span></p>
<p class="MsoNormal">In the mean time, verification teams have to continue getting their chips out.<span> </span>Many <a title="Latest VMM success story" href="http://synopsys.mediaroom.com/index.php?s=43&amp;item=675" target="_blank">take advantage</a> of the productivity benefits of a vendor-supported methodology like the <a title="VMM Central web site" href="http://www.vmmcentral.org/" target="_blank">VMM</a>, including <span> </span><a title="VMM Performance Analyzer, for example" href="http://www.vmmcentral.org/vmartialarts/?p=93" target="_blank">advanced methodology applications</a>, extensions into <a title="VMM for Low Power" href="http://synopsys.mediaroom.com/index.php?s=43&amp;item=651" target="_blank">new domains</a>, <a title="VMM 1.1 announcement" href="http://www.vmmcentral.org/vmartialarts/?p=18" target="_blank">focused R&amp;D investment</a> and a <a title="VMM Services" href="http://www.synopsys.com/Services/VerificationCon/Pages/default.aspx" target="_blank">worldwide support</a> infrastructure.<span> </span></p>
<p class="MsoNormal">Standards will come.<span> </span>In the mean time, get that chip verified!</p>
 <img src="http://blogs.synopsys.com/softwaretosiliconverification/wp-content/plugins/feed-statistics.php?view=1&post_id=111" width="1" height="1" style="display: none;" />]]></content:encoded>
			<wfw:commentRss>http://blogs.synopsys.com/softwaretosiliconverification/2009/05/verification-methodologies-standards-will-come-in-the-mean-time-get-that-chip-verified/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>System Prototypes:  Virtual, Hardware or Hybrid?</title>
		<link>http://blogs.synopsys.com/softwaretosiliconverification/2009/05/system-prototypes-virtual-hardware-or-hybrid/</link>
		<comments>http://blogs.synopsys.com/softwaretosiliconverification/2009/05/system-prototypes-virtual-hardware-or-hybrid/#comments</comments>
		<pubDate>Tue, 05 May 2009 18:09:36 +0000</pubDate>
		<dc:creator>Tom Borgstrom</dc:creator>
				<category><![CDATA[System Prototyping]]></category>
		<category><![CDATA[DAC]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[rapid prototype]]></category>
		<category><![CDATA[system prototype]]></category>
		<category><![CDATA[system validation]]></category>
		<category><![CDATA[SystemC]]></category>
		<category><![CDATA[TLM-2.0]]></category>
		<category><![CDATA[virtual platform]]></category>

		<guid isPermaLink="false">http://synopsysoc.org/softwaretosiliconverification/?p=89</guid>
		<description><![CDATA[If you are going to DAC this year, you may be interested in attending the panel System Prototypes: Virtual, Hardware or Hybrid that I’ve been organizing with Eshel Haritan of CoWare. We’ve got a great lineup of panelists from Amicus Wireless, Synopsys, Qualcomm, ST-Ericsson, LSI and CoWare who will debate the pros and cons of [...]]]></description>
			<content:encoded><![CDATA[<p>If you are going to DAC this year, you may be interested in attending the panel <a href="http://www.dac.com/events/eventdetails.aspx?id=95-1">System Prototypes: Virtual, Hardware or Hybrid</a><a href="http://" target="_blank"> </a>that I’ve been organizing with Eshel Haritan of CoWare.<span> </span>We’ve got a great lineup of panelists from Amicus Wireless, Synopsys, Qualcomm, ST-Ericsson, LSI and CoWare who will debate the pros and cons of SystemC TLM-2.0 based virtual platforms, FPGA-based rapid prototypes or hybrids of the two for system prototyping.<span> </span>I’ve had a chance to peek at the panelist’s positions – all I can say now is that it promises to be a very lively discussion!<span> </span>Ron Wilson of EDN will moderate. <span> </span></p>
<p>Tuesday July 28, 10:30am – 12:00pm; <span> </span>Room 102, Moscone Convention Center, San Francisco.</p>
<p><a href="http://technorati.com/claim/sdsxzkje89" rel="me">Technorati Profile</a></p>
 <img src="http://blogs.synopsys.com/softwaretosiliconverification/wp-content/plugins/feed-statistics.php?view=1&post_id=89" width="1" height="1" style="display: none;" />]]></content:encoded>
			<wfw:commentRss>http://blogs.synopsys.com/softwaretosiliconverification/2009/05/system-prototypes-virtual-hardware-or-hybrid/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Differentiation: It’s all about software…unless it’s about hardware</title>
		<link>http://blogs.synopsys.com/softwaretosiliconverification/2009/04/differentiation-it%e2%80%99s-all-about-software%e2%80%a6unless-it%e2%80%99s-about-hardware/</link>
		<comments>http://blogs.synopsys.com/softwaretosiliconverification/2009/04/differentiation-it%e2%80%99s-all-about-software%e2%80%a6unless-it%e2%80%99s-about-hardware/#comments</comments>
		<pubDate>Wed, 29 Apr 2009 22:45:58 +0000</pubDate>
		<dc:creator>Tom Borgstrom</dc:creator>
				<category><![CDATA[System Prototyping]]></category>
		<category><![CDATA[differentiation]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[rapid prototype]]></category>
		<category><![CDATA[SoC]]></category>
		<category><![CDATA[software]]></category>
		<category><![CDATA[system prototype]]></category>
		<category><![CDATA[system validation]]></category>
		<category><![CDATA[SystemC]]></category>
		<category><![CDATA[TLM-2.0]]></category>
		<category><![CDATA[virtual platform]]></category>

		<guid isPermaLink="false">http://synopsysoc.org/softwaretosiliconverification/?p=38</guid>
		<description><![CDATA[So, you are a chip or system developer and you want to differentiate your next product. Do you implement key features in hardware or software? For an increasing number of companies the answer seems obvious – hardware is a commodity and differentiation comes from software. It’s hard to argue with the results in some industries [...]]]></description>
			<content:encoded><![CDATA[<p class="MsoNormal">So, you are a chip or system developer and you want to differentiate your next product.<span> </span>Do you implement key features in hardware or software?</p>
<p class="MsoNormal" style="text-align: justify">For an increasing number of companies the answer seems obvious – hardware is a commodity and differentiation comes from software.<span> </span>It’s hard to argue with the results in some industries – <a href="http://apple20.blogs.fortune.cnn.com/2008/06/24/virtual-teardown-puts-apples-iphone-3g-profit-margin-at-56/" target="_blank">over 50%</a> gross margins on the software-centric iPhone compared to the <a href="http://www.techfaithwireless.com/english/document/Presentation%20of%20ML%20Conference%20-%20Mar%2020%202008.pdf" target="_blank">10% -30%</a> gross margins on more hardware-centric feature phones.<span> </span>Platform chips can be customized with software to serve <a href="http://www.clearlyqdeo.com/products-with-qdeo.aspx" target="_blank">multiple end-products</a>, software patches can <a href="http://www.wired.com/gadgetlab/2009/01/nikon-d700-firm" target="_blank">fix bugs</a> without hardware recalls or silicon respins, and <a href="http://www.gadgetvenue.com/sony-psp-50-firmware-released-10160652/" target="_blank">firmware updates</a> can extend the life of hardware platforms.</p>
<p class="MsoNormal">Industry data also seem to support this trend towards a bigger focus on software. According to IBS, over half of chip development costs are software-related at 65nm, with the percentage nearing 70% at 32 nm.<span> </span>IBS also reports that the semiconductor revenue/ R&amp;D multiplier, once over 6:1 in favor of hardware R&amp;D over SW R&amp;D (i.e. you would get 6x more revenue investing R&amp;D budget into HW compared to SW), is now less than 2:1, indicating an increasing ROI on SW R&amp;D. The <a href="http://www.itrs.net/Links/2008ITRS/Update/2008_Update.pdf" target="_blank">ITRS 2008 roadmap update</a> further confirms “software as an integral part of semiconductor products, and software design productivity as a key driver of overall design productivity” adding that embedded software design “has emerged as the most critical challenge to SOC productivity”, requiring a “concurrent software development and debug infrastructure”.</p>
<p class="MsoNormal">Fortunately, a concurrent software development and debug infrastructure is emerging with the rise of high-performance system prototyping.<span> </span>System prototypes – combining <a href="http://www.synopsys.com/Tools/SLD/VirtualPlatforms/Pages/default.aspx" target="_blank">SystemC TLM-2.0 based virtual platforms</a>, <a href="http://www.synopsys.com/Tools/Verification/HardwareAssistedVerification/Pages/default.aspx" target="_blank">FPGA-based rapid prototypes</a> and related <a href="http://www.synopsys.com/IP/Pages/default.aspx" target="_blank">hardware &amp; software IP</a> – provide the performance, availability, fidelity and affordability to enable large embedded software development teams to start and often finish their work long before first silicon is available.<span> </span>This means that chip developers incorporating more software in their products can transition to volume production sooner.</p>
<p class="MsoNormal">But what about hardware?<span> </span>Will the design of customized silicon fade into oblivion with the growing importance of software?<span> </span>Don’t count on it.<span> </span>SoC continue to enable strong differentiation in terms of cost, size, power and performance.<span> </span>What we seem to be seeing is a more balanced approach to differentiating semiconductors and electronic systems, where hardware and software both play important roles in delivering value to the end-product in many markets.<span> </span>You can see this trend played out today at the maker of the iPhone, whose CEO once said that <a href="http://digitaldaily.allthingsd.com/tag/iphone-software-20/" target="_blank">“phone of the future will be differentiated by software”</a> but continues to <a href="http://www.forbes.com/2008/04/23/apple-buys-pasemi-tech-ebiz-cz_eb_0422apple.html" target="_blank">invest</a> in building a very strong <a href="http://online.wsj.com/article/SB124104666426570729.html" target="_blank">chip development team</a> –  presumably to differentiate future phones.</p>
<p class="MsoNormal">Differentiation – it’s all about software…unless it’s about hardware.</p>
<p><a href="http://technorati.com/claim/yms6d6pgki" rel="me">Technorati Profile</a></p>
 <img src="http://blogs.synopsys.com/softwaretosiliconverification/wp-content/plugins/feed-statistics.php?view=1&post_id=38" width="1" height="1" style="display: none;" />]]></content:encoded>
			<wfw:commentRss>http://blogs.synopsys.com/softwaretosiliconverification/2009/04/differentiation-it%e2%80%99s-all-about-software%e2%80%a6unless-it%e2%80%99s-about-hardware/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Multicore Verification — Don’t Waste Your Cores!</title>
		<link>http://blogs.synopsys.com/softwaretosiliconverification/2009/04/multicore-verification-don%e2%80%99t-waste-your-cores/</link>
		<comments>http://blogs.synopsys.com/softwaretosiliconverification/2009/04/multicore-verification-don%e2%80%99t-waste-your-cores/#comments</comments>
		<pubDate>Mon, 06 Apr 2009 18:51:55 +0000</pubDate>
		<dc:creator>Tom Borgstrom</dc:creator>
				<category><![CDATA[Multicore Verification]]></category>
		<category><![CDATA[circuit simulation]]></category>
		<category><![CDATA[HDL simulation]]></category>
		<category><![CDATA[simulation performance]]></category>

		<guid isPermaLink="false">http://synopsysoc.org/softwaretosiliconverification/?p=13</guid>
		<description><![CDATA[This weekend I found myself telling my 9-year old daughter to “Eat all of your beans &#8212; don’t waste your food!”  It has always bothered me to see perfectly good food get thrown away; these days it seems even more relevant. The same can be said about processor cores in verification. About a year ago, [...]]]></description>
			<content:encoded><![CDATA[<p class="MsoNormal">This weekend I found myself telling my 9-year old daughter to “Eat all of your beans &#8212; don’t waste your food!”  It has always bothered me to see perfectly good food get thrown away; these days it seems even more relevant. The same can be said about processor cores in verification.</p>
<p class="MsoNormal">About a year ago, Synopsys announced a corporate <a href="http://synopsys.mediaroom.com/index.php?s=43&amp;item=546">initiative</a> to take advantage of multicore processor technology across its broad tool portfolio.<span> </span>On the verification front, the first tool out of the multicore gate was <a href="http://synopsys.mediaroom.com/index.php?s=43&amp;item=547">HSPICE</a>, with impressive performance gains.<span> </span>What about Synopsys’ other verification tools?</p>
<p class="MsoNormal">Well, functional verification and FastSPICE tool users no longer have to suffer multicore-envy.<span> </span><span> </span>Today, Synopsys announced its <a href="http://synopsys.mediaroom.com/index.php?s=43&amp;item=665">Discovery 2009</a> verification platform, including new <a href="http://synopsys.mediaroom.com/index.php?s=43&amp;item=664">VCS multicore technology</a> and the new <a href="http://synopsys.mediaroom.com/index.php?s=43&amp;item=663">CustomSim</a> unified circuit simulation solution with multicore capabilities.<span> </span></p>
<p class="MsoNormal">This is a really big deal.<span> </span>Over the past few years, processor advances have come largely through multicore architectures rather than raw clock speeds, while the effort required for SoC verification has continued to grow exponentially.<span> </span>Improvements in single-core simulation algorithms, verification methodologies and use of compute farms have enabled large gains in verification productivity and will continue to do so.<span> </span><span> </span>Multicore technology represents a fundamental and important new element of the verification toolkit, essential to taking advantage of the processing power available today and in the future.<span> </span></p>
<p class="MsoNormal">So, with a nod to the new sense of thrift emerging in many households, you can do your part and take advantage of all of the cores in your workstation&#8217;s processor. “Use all of your cycles &#8212; don’t waste your cores!”</p>
 <img src="http://blogs.synopsys.com/softwaretosiliconverification/wp-content/plugins/feed-statistics.php?view=1&post_id=13" width="1" height="1" style="display: none;" />]]></content:encoded>
			<wfw:commentRss>http://blogs.synopsys.com/softwaretosiliconverification/2009/04/multicore-verification-don%e2%80%99t-waste-your-cores/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Rapid Prototyping &amp; Core vs. Context</title>
		<link>http://blogs.synopsys.com/softwaretosiliconverification/2009/02/rapid-prototyping-core-vs-context/</link>
		<comments>http://blogs.synopsys.com/softwaretosiliconverification/2009/02/rapid-prototyping-core-vs-context/#comments</comments>
		<pubDate>Mon, 09 Feb 2009 15:44:32 +0000</pubDate>
		<dc:creator>Tom Borgstrom</dc:creator>
				<category><![CDATA[System Prototyping]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[rapid prototyping]]></category>
		<category><![CDATA[SoC verification]]></category>
		<category><![CDATA[system validation]]></category>

		<guid isPermaLink="false">http://synopsysoc.org/softwaretosiliconverification/?p=11</guid>
		<description><![CDATA[In the rush getting ready to head to the airport a couple of days ago, I grabbed a copy of the 2002 book Living on the Fault Line: Managing for Shareholder Value in Any Economy by Geoffrey Moore, one of my favorite business authors. These kind of books tend to get dated pretty quickly, but [...]]]></description>
			<content:encoded><![CDATA[<p class="MsoNormal">In the rush getting ready to head to the airport a couple of days ago, I grabbed a copy of the 2002 book <a href="http://www.amazon.com/Living-Fault-Line-Revised-Shareholder/dp/0060086769" target="_blank"><em>Living on the Fault Line: Managing for Shareholder Value in Any Economy</em> </a>by Geoffrey Moore, one of my favorite business authors. These kind of books tend to get dated pretty quickly, but I wanted to browse through it to see if it still had any relevant insights given today’s economic slowdown. And, in the worst case, it could help me fall asleep on the long flight to Beijing!</p>
<p class="MsoNormal">The part that really caught my attention was <a title="Read excerpt on Google Books" href="http://books.google.com/books?id=7oPEax4IKlQC&amp;pg=PA25" target="_blank">Chapter 2: Core verses Context</a>. The author defines core activities as any behavior that can raise your stock price; everything else is context. For these core activities the goal is to “differentiate as much as possible on any variable that impacts customers’ purchase decisions and to assign one’s best resources to that challenge.” The author goes on to describe different scenarios for outsourcing, partnering, contracting or making based on whether the activity is core or context, mission-critical or supporting. But, the basic ideas are pretty simple: (a) to maximize shareholder value, companies should engage (i.e. focus time, talent and management attention) on their core activities and disengage on context, and (b) one company’s context can be another company’s core.</p>
<p class="MsoNormal">So, what does all of this b-school theory have to do with verification? Today, Synopsys <a title="Press release" href="http://synopsys.mediaroom.com/index.php?s=43&amp;item=646" target="_blank">announced </a>an expanded <a href="http://www.synopsys.com/Tools/Verification/HardwareAssistedVerification/Pages/default.aspx" target="_blank">Confirma </a>rapid prototyping platform. Rapid prototyping is an increasingly important part of SoC development, enabling early embedded software development and system validation. With Confirma you can, for the first time, get everything you need to create a rapid prototype from a single company – design partitioning, FPGA synthesis, high-performance prototype boards and fully-enclosed systems, expansion boards, transaction-based co-verification interfaces, and prototype debug technology. Plus a single point of contact for prototype training and support around the world.</p>
<p class="MsoNormal">This opens up some interesting opportunities for chip and system vendors looking to focus their attention on core activities. Because while designing and building high-performance prototype boards is very <span style="text-decoration: underline">difficult</span> (1700+ pin FPGAs, 20+ layer boards, high-speed interconnect, etc.) does it really <span style="text-decoration: underline">differentiate</span> your company? Should you have some of your best engineers designing &amp; debugging prototype boards, or should this talent be focused on designing and verifying your next product to prepare for the inevitable market recovery?</p>
<p class="MsoNormal">For many companies, the answer is that prototype design has become context and the smart move is to work with a trusted partner for prototype development, enabling key engineering and management talent to engage on core activities. This type of transition repeats periodically in the EDA industry. It wasn’t too long ago that some semiconductor vendors actually wrote their own HDL simulators for in-house use; today most if not all HDL simulator development has been “outsourced” to EDA companies. In the end, buying simulators from EDA companies actually saved semiconductor vendors money by allowing them to engage their attention and resources on core activities.</p>
<p class="MsoNormal">Having the best, most complete rapid prototyping solution is absolutely core for Synopsys. We’ve got top R&amp;D and management talent focused every day on designing the highest-performance, most reliable hardware; writing and testing the best &amp; most integrated implementation and debug software; and working with customers from many industries to conceive and plan even better prototyping systems in the future. Your context is our core.</p>
<p class="MsoNormal">If you are interested in learning more about rapid prototyping, please sign up for one of our worldwide prototyping management <a title="Link to more information on seminar" href="http://www.synopsys.com/Tools/Verification/HardwareAssistedVerification/Pages/Rapid_Seminar.aspx" target="_blank">seminars </a>or technical workshops, which we kicked off today in China. Or drop me a <a href="mailto:thb@synopsys.com" target="_blank">line </a>– I’d love to hear from you on verification!</p>
<p><!--[if gte mso 9]&gt;  Normal 0     false false false  EN-US X-NONE X-NONE                           &lt;![endif]--><!--[if gte mso 9]--></p>
 <img src="http://blogs.synopsys.com/softwaretosiliconverification/wp-content/plugins/feed-statistics.php?view=1&post_id=11" width="1" height="1" style="display: none;" />]]></content:encoded>
			<wfw:commentRss>http://blogs.synopsys.com/softwaretosiliconverification/2009/02/rapid-prototyping-core-vs-context/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Welcome to On Verification!</title>
		<link>http://blogs.synopsys.com/softwaretosiliconverification/2009/01/welcome-to-on-verification/</link>
		<comments>http://blogs.synopsys.com/softwaretosiliconverification/2009/01/welcome-to-on-verification/#comments</comments>
		<pubDate>Thu, 22 Jan 2009 01:13:32 +0000</pubDate>
		<dc:creator>Tom Borgstrom</dc:creator>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[verification]]></category>
		<category><![CDATA[verification complexity]]></category>

		<guid isPermaLink="false">http://synopsysoc.org/softwaretosiliconverification/?p=10</guid>
		<description><![CDATA[I thought I would break the ice on my first blog post here and tell you a little bit about myself and my history in verification. (well, it was actually not my thought but rather a suggestion from fellow blogger Karen Bartleson over at The Standards Game , that helped me break my writer’s block [...]]]></description>
			<content:encoded><![CDATA[<p class="MsoNormal">I thought I would break the ice on my first blog post here and tell you a little bit about myself and my history in verification.<span> </span> (well, it was actually not <em>my</em> thought but rather a suggestion from fellow blogger Karen Bartleson over at <a title="The Standards Game Blog" href="http://www.synopsysoc.org/thestandardsgame/" target="_blank">The Standards Game</a> , that helped me break my writer’s block and get started on this…Thanks Karen!)</p>
<p class="MsoNormal">I verified my first design way back in 1990 when I was an ASIC designer at Matsushita in Osaka.<span> </span> My chip was a video image processor / system controller for a “<a title="Not this exactly, but something similar" href="http://xpressinfo.ca/xhome/commerce/catalog/images/Video%20Doorphone%20System%20(1%20Phone1%20Camera).jpg" target="_blank" rel="lightbox[10]">TV Door Phone</a> ”, and we were the first team to use this new-fangled VHDL language, logic synthesis and HDL simulation (anyone remember the Very Slow Simulator? <img src='http://blogs.synopsys.com/softwaretosiliconverification/wp-includes/images/smilies/icon_wink.gif' alt=';)' class='wp-smiley' /> .<span> </span> Top-down design was very cool back then, and I was able to run the same simulations (I don’t think we called them testbenches yet) against high level models, RTL and netlists.<span> </span> Analysis was quite a chore; I remember having to tape multiple 3-meter long waveform printouts up on the wall to really understand what was happening throughout a complete video frame.<span> </span> I also recall very long nights as we approached our tapeout date, trying to complete timing verification of our scan chains and wondering if we had missed any errors in the functional waveforms.<span> </span> In the end we taped out not when verification was complete, but when my boss said “time’s up!”.<span> </span> Sound familiar? In the end, the gate array came back and worked, apart from about half of the scan chains with hold-time violations.<span> </span> We finished the entire design, from concept and tool selection to working first-silicon in a year. Top-down design was declared a success!</p>
<p class="MsoNormal">I then joined the EDA industry with a variety of startups, focusing on DFT, design services, FPGA synthesis, code coverage and functional verification until joining Synopsys five years ago to focus on testbench languages, tools and methodologies.<span> </span></p>
<p class="MsoNormal">One of the interesting things I’ve observed over the past few years is how complex verification has become.<span> </span> Million line testbenches?<span> </span> Object-oriented programming?<span> </span> It seems like you have to be a software engineer to do verification anymore. But, without constrained-random testbenches, powerful debug environments and very fast simulators I can’t imagine how anyone could verify a modern chip – certainly not by taping waveforms on the wall and hoping you didn’t miss anything!<span> </span> “<a title="Hope Poster" href="http://obeygiant.com/blog/wp-content/uploads/2008/02/barack-hope-poster.jpg" rel="lightbox[10]">Hope</a> ” may be a mantra for the new Obama administration, but I don’t think it’s the best way to verify your design!</p>
<p class="MsoNormal">And it’s just not about digital simulation anymore.<span> </span> Chips have really become Systems on Chips, with mixed signal blocks, multiple embedded processors, 3<sup>rd</sup> party IP, lots of embedded software and globally-distributed design teams becoming the norm for most designs, rather than the exception.<span> </span> How to efficiently verify these super-complex chips and systems from both a technology/methodology perspective and an organizational/economic perspective is what I’m interested in now, and what I look forward to writing about in the coming months.</p>
<p class="MsoNormal">Until then, keep your eye On Verification!</p>
 <img src="http://blogs.synopsys.com/softwaretosiliconverification/wp-content/plugins/feed-statistics.php?view=1&post_id=10" width="1" height="1" style="display: none;" />]]></content:encoded>
			<wfw:commentRss>http://blogs.synopsys.com/softwaretosiliconverification/2009/01/welcome-to-on-verification/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
	</channel>
</rss>

