<?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/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
	>

<channel>
	<title>Ninja ASIC Verification</title>
	<atom:link href="http://ninjaverification.wordpress.com/feed/" rel="self" type="application/rss+xml" />
	<link>http://ninjaverification.wordpress.com</link>
	<description>personal discoveries on ASIC development and verification</description>
	<lastBuildDate>Tue, 20 Dec 2011 04:26:35 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
<cloud domain='ninjaverification.wordpress.com' port='80' path='/?rsscloud=notify' registerProcedure='' protocol='http-post' />
<image>
		<url>http://s2.wp.com/i/buttonw-com.png</url>
		<title>Ninja ASIC Verification</title>
		<link>http://ninjaverification.wordpress.com</link>
	</image>
	<atom:link rel="search" type="application/opensearchdescription+xml" href="http://ninjaverification.wordpress.com/osd.xml" title="Ninja ASIC Verification" />
	<atom:link rel='hub' href='http://ninjaverification.wordpress.com/?pushpress=hub'/>
		<item>
		<title>Name your compare method diff</title>
		<link>http://ninjaverification.wordpress.com/2011/12/19/name-your-compare-method-diff/</link>
		<comments>http://ninjaverification.wordpress.com/2011/12/19/name-your-compare-method-diff/#comments</comments>
		<pubDate>Tue, 20 Dec 2011 04:26:33 +0000</pubDate>
		<dc:creator>Martin d'Anjou</dc:creator>
				<category><![CDATA[asic verification]]></category>

		<guid isPermaLink="false">http://ninjaverification.wordpress.com/?p=323</guid>
		<description><![CDATA[In this article, I will talk about naming the comparison method &#8220;diff&#8221;, what constitute a good return value for the diff method, and how I emulate exception handling in SystemVerilog, a language which does not have formal exception handling. First, &#8230; <a href="http://ninjaverification.wordpress.com/2011/12/19/name-your-compare-method-diff/">Continue reading <span class="meta-nav">&#8594;</span></a><img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ninjaverification.wordpress.com&amp;blog=2633153&amp;post=323&amp;subd=ninjaverification&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
		<wfw:commentRss>http://ninjaverification.wordpress.com/2011/12/19/name-your-compare-method-diff/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/dfd028459e476f0f99b7bfb52ef3d8b8?s=96&#38;d=http%3A%2F%2F1.gravatar.com%2Favatar%2Fad516503a11cd5ca435acc9bb6523536%3Fs%3D96" medium="image">
			<media:title type="html">Martin d'Anjou</media:title>
		</media:content>
	</item>
		<item>
		<title>GNU Make poetry</title>
		<link>http://ninjaverification.wordpress.com/2011/12/07/gnu-make-poetry/</link>
		<comments>http://ninjaverification.wordpress.com/2011/12/07/gnu-make-poetry/#comments</comments>
		<pubDate>Thu, 08 Dec 2011 04:37:22 +0000</pubDate>
		<dc:creator>Martin d'Anjou</dc:creator>
				<category><![CDATA[asic verification]]></category>
		<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[gnu-make]]></category>
		<category><![CDATA[poetry]]></category>

		<guid isPermaLink="false">http://ninjaverification.wordpress.com/?p=235</guid>
		<description><![CDATA[I use GNU Make a lot. A while back I wrote this: Three rules for a thousand Vera files Seven for the Designers in the Valleys of Verilog Nine for a dynamic Register Abstraction Layer One for processing the output &#8230; <a href="http://ninjaverification.wordpress.com/2011/12/07/gnu-make-poetry/">Continue reading <span class="meta-nav">&#8594;</span></a><img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ninjaverification.wordpress.com&amp;blog=2633153&amp;post=235&amp;subd=ninjaverification&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
		<wfw:commentRss>http://ninjaverification.wordpress.com/2011/12/07/gnu-make-poetry/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/dfd028459e476f0f99b7bfb52ef3d8b8?s=96&#38;d=http%3A%2F%2F1.gravatar.com%2Favatar%2Fad516503a11cd5ca435acc9bb6523536%3Fs%3D96" medium="image">
			<media:title type="html">Martin d'Anjou</media:title>
		</media:content>
	</item>
		<item>
		<title>Git push for is publishing, not for integration</title>
		<link>http://ninjaverification.wordpress.com/2010/08/12/git-push-for-is-publishing-not-for-integration/</link>
		<comments>http://ninjaverification.wordpress.com/2010/08/12/git-push-for-is-publishing-not-for-integration/#comments</comments>
		<pubDate>Thu, 12 Aug 2010 05:03:27 +0000</pubDate>
		<dc:creator>Martin d'Anjou</dc:creator>
				<category><![CDATA[asic verification]]></category>
		<category><![CDATA[continuous integration]]></category>
		<category><![CDATA[git]]></category>

		<guid isPermaLink="false">http://ninjaverification.wordpress.com/?p=286</guid>
		<description><![CDATA[This may seem obvious, but don&#8217;t use git push like CVS commit. Repositories should be accepting commits by pulling them, not pushing them. CVS commit may be your integration strategy in a simple world without branches, but git push shouldn&#8217;t &#8230; <a href="http://ninjaverification.wordpress.com/2010/08/12/git-push-for-is-publishing-not-for-integration/">Continue reading <span class="meta-nav">&#8594;</span></a><img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ninjaverification.wordpress.com&amp;blog=2633153&amp;post=286&amp;subd=ninjaverification&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
		<wfw:commentRss>http://ninjaverification.wordpress.com/2010/08/12/git-push-for-is-publishing-not-for-integration/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/dfd028459e476f0f99b7bfb52ef3d8b8?s=96&#38;d=http%3A%2F%2F1.gravatar.com%2Favatar%2Fad516503a11cd5ca435acc9bb6523536%3Fs%3D96" medium="image">
			<media:title type="html">Martin d'Anjou</media:title>
		</media:content>
	</item>
		<item>
		<title>Git Workflow for ASIC Development</title>
		<link>http://ninjaverification.wordpress.com/2009/12/01/git-workflow-for-asic-development/</link>
		<comments>http://ninjaverification.wordpress.com/2009/12/01/git-workflow-for-asic-development/#comments</comments>
		<pubDate>Tue, 01 Dec 2009 14:43:14 +0000</pubDate>
		<dc:creator>Martin d'Anjou</dc:creator>
				<category><![CDATA[asic verification]]></category>
		<category><![CDATA[continuous integration]]></category>

		<guid isPermaLink="false">http://ninjaverification.wordpress.com/?p=257</guid>
		<description><![CDATA[I recently purchased Pro Git at my local Chapters bookstore. After reading it, I discovered I could get it for free on-line, but that did not make me feel bad, on the contrary! In a week, I had taken it &#8230; <a href="http://ninjaverification.wordpress.com/2009/12/01/git-workflow-for-asic-development/">Continue reading <span class="meta-nav">&#8594;</span></a><img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ninjaverification.wordpress.com&amp;blog=2633153&amp;post=257&amp;subd=ninjaverification&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
		<wfw:commentRss>http://ninjaverification.wordpress.com/2009/12/01/git-workflow-for-asic-development/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/dfd028459e476f0f99b7bfb52ef3d8b8?s=96&#38;d=http%3A%2F%2F1.gravatar.com%2Favatar%2Fad516503a11cd5ca435acc9bb6523536%3Fs%3D96" medium="image">
			<media:title type="html">Martin d'Anjou</media:title>
		</media:content>

		<media:content url="https://images-na.ssl-images-amazon.com/images/I/41jTq%2B3EV5L._SL160_.jpg" medium="image">
			<media:title type="html">Pro Git</media:title>
		</media:content>

		<media:content url="http://progit.org/figures/ch5/18333fig0502-tn.png" medium="image">
			<media:title type="html">Integration manager workflow</media:title>
		</media:content>
	</item>
		<item>
		<title>A Continuous Integration System For ASIC Development</title>
		<link>http://ninjaverification.wordpress.com/2009/10/29/a-continuous-integration-system-for-asic-development/</link>
		<comments>http://ninjaverification.wordpress.com/2009/10/29/a-continuous-integration-system-for-asic-development/#comments</comments>
		<pubDate>Fri, 30 Oct 2009 01:35:53 +0000</pubDate>
		<dc:creator>Martin d'Anjou</dc:creator>
				<category><![CDATA[asic verification]]></category>
		<category><![CDATA[continuous integration]]></category>

		<guid isPermaLink="false">http://ninjaverification.wordpress.com/?p=250</guid>
		<description><![CDATA[I recently wrote an article published on AgileSOC titled A Continuous Integration System For ASIC Development. Hope you enjoy it!<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ninjaverification.wordpress.com&amp;blog=2633153&amp;post=250&amp;subd=ninjaverification&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
		<wfw:commentRss>http://ninjaverification.wordpress.com/2009/10/29/a-continuous-integration-system-for-asic-development/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/dfd028459e476f0f99b7bfb52ef3d8b8?s=96&#38;d=http%3A%2F%2F1.gravatar.com%2Favatar%2Fad516503a11cd5ca435acc9bb6523536%3Fs%3D96" medium="image">
			<media:title type="html">Martin d'Anjou</media:title>
		</media:content>
	</item>
		<item>
		<title>Missing Platform LSF commands part 2: btree</title>
		<link>http://ninjaverification.wordpress.com/2009/08/13/missing-platform-lsf-commands-part-2-btree/</link>
		<comments>http://ninjaverification.wordpress.com/2009/08/13/missing-platform-lsf-commands-part-2-btree/#comments</comments>
		<pubDate>Fri, 14 Aug 2009 02:44:43 +0000</pubDate>
		<dc:creator>Martin d'Anjou</dc:creator>
				<category><![CDATA[asic verification]]></category>

		<guid isPermaLink="false">http://ninjaverification.wordpress.com/?p=238</guid>
		<description><![CDATA[In a previous article, I discussed a hypothetical Platform LSF command, bwait, which would waits for LSF jobs to complete before returning. Another command that I would like to see in the Platform LSF suite of commands is a command &#8230; <a href="http://ninjaverification.wordpress.com/2009/08/13/missing-platform-lsf-commands-part-2-btree/">Continue reading <span class="meta-nav">&#8594;</span></a><img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ninjaverification.wordpress.com&amp;blog=2633153&amp;post=238&amp;subd=ninjaverification&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
		<wfw:commentRss>http://ninjaverification.wordpress.com/2009/08/13/missing-platform-lsf-commands-part-2-btree/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/dfd028459e476f0f99b7bfb52ef3d8b8?s=96&#38;d=http%3A%2F%2F1.gravatar.com%2Favatar%2Fad516503a11cd5ca435acc9bb6523536%3Fs%3D96" medium="image">
			<media:title type="html">Martin d'Anjou</media:title>
		</media:content>
	</item>
		<item>
		<title>Missing Platform LSF commands part 1: bwait</title>
		<link>http://ninjaverification.wordpress.com/2009/06/10/missing-platform-lsf-commands-part-1-bwait/</link>
		<comments>http://ninjaverification.wordpress.com/2009/06/10/missing-platform-lsf-commands-part-1-bwait/#comments</comments>
		<pubDate>Thu, 11 Jun 2009 02:20:30 +0000</pubDate>
		<dc:creator>Martin d'Anjou</dc:creator>
				<category><![CDATA[asic verification]]></category>

		<guid isPermaLink="false">http://ninjaverification.wordpress.com/?p=128</guid>
		<description><![CDATA[In the spirit of the POSIX wait command, Platform LSF should have a bwait command. It should work in a way similar to this: Let&#8217;s explain how this hypothetical command would work. As its name suggests, it is a command &#8230; <a href="http://ninjaverification.wordpress.com/2009/06/10/missing-platform-lsf-commands-part-1-bwait/">Continue reading <span class="meta-nav">&#8594;</span></a><img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ninjaverification.wordpress.com&amp;blog=2633153&amp;post=128&amp;subd=ninjaverification&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
		<wfw:commentRss>http://ninjaverification.wordpress.com/2009/06/10/missing-platform-lsf-commands-part-1-bwait/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/dfd028459e476f0f99b7bfb52ef3d8b8?s=96&#38;d=http%3A%2F%2F1.gravatar.com%2Favatar%2Fad516503a11cd5ca435acc9bb6523536%3Fs%3D96" medium="image">
			<media:title type="html">Martin d'Anjou</media:title>
		</media:content>
	</item>
		<item>
		<title>Continous integration system using parallel make</title>
		<link>http://ninjaverification.wordpress.com/2009/02/03/continous-integration-system-using-parallel-make/</link>
		<comments>http://ninjaverification.wordpress.com/2009/02/03/continous-integration-system-using-parallel-make/#comments</comments>
		<pubDate>Wed, 04 Feb 2009 01:20:46 +0000</pubDate>
		<dc:creator>Martin d'Anjou</dc:creator>
				<category><![CDATA[asic verification]]></category>
		<category><![CDATA[software development]]></category>
		<category><![CDATA[bash]]></category>
		<category><![CDATA[buildbot]]></category>
		<category><![CDATA[continuous integration]]></category>
		<category><![CDATA[gnu-make]]></category>

		<guid isPermaLink="false">http://ninjaverification.wordpress.com/?p=191</guid>
		<description><![CDATA[In software design, a continuous integration system is a system for compiling and testing code on a continuous basis. When a build fails, the code is rejected and the owner notified. When the code is good (compiles okay and sanity &#8230; <a href="http://ninjaverification.wordpress.com/2009/02/03/continous-integration-system-using-parallel-make/">Continue reading <span class="meta-nav">&#8594;</span></a><img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ninjaverification.wordpress.com&amp;blog=2633153&amp;post=191&amp;subd=ninjaverification&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
		<wfw:commentRss>http://ninjaverification.wordpress.com/2009/02/03/continous-integration-system-using-parallel-make/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/dfd028459e476f0f99b7bfb52ef3d8b8?s=96&#38;d=http%3A%2F%2F1.gravatar.com%2Favatar%2Fad516503a11cd5ca435acc9bb6523536%3Fs%3D96" medium="image">
			<media:title type="html">Martin d'Anjou</media:title>
		</media:content>
	</item>
		<item>
		<title>Wrapping ssh inside a script, and passing arbitrary commands to another program</title>
		<link>http://ninjaverification.wordpress.com/2008/12/17/wrapping-ssh-inside-a-script-and-passing-arbitrary-commands-to-another-program/</link>
		<comments>http://ninjaverification.wordpress.com/2008/12/17/wrapping-ssh-inside-a-script-and-passing-arbitrary-commands-to-another-program/#comments</comments>
		<pubDate>Thu, 18 Dec 2008 04:46:32 +0000</pubDate>
		<dc:creator>Martin d'Anjou</dc:creator>
				<category><![CDATA[asic verification]]></category>
		<category><![CDATA[bash]]></category>
		<category><![CDATA[ssh]]></category>

		<guid isPermaLink="false">http://ninjaverification.wordpress.com/?p=177</guid>
		<description><![CDATA[A way to solve this problem, which I presented in a previous post, was found with the help from the gurus on #bash. The easy way to make this work is to save the arguments to a file, one per &#8230; <a href="http://ninjaverification.wordpress.com/2008/12/17/wrapping-ssh-inside-a-script-and-passing-arbitrary-commands-to-another-program/">Continue reading <span class="meta-nav">&#8594;</span></a><img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ninjaverification.wordpress.com&amp;blog=2633153&amp;post=177&amp;subd=ninjaverification&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
		<wfw:commentRss>http://ninjaverification.wordpress.com/2008/12/17/wrapping-ssh-inside-a-script-and-passing-arbitrary-commands-to-another-program/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/dfd028459e476f0f99b7bfb52ef3d8b8?s=96&#38;d=http%3A%2F%2F1.gravatar.com%2Favatar%2Fad516503a11cd5ca435acc9bb6523536%3Fs%3D96" medium="image">
			<media:title type="html">Martin d'Anjou</media:title>
		</media:content>
	</item>
		<item>
		<title>Experiment in wrapping ssh inside a script and passing arbitrary commands to another program</title>
		<link>http://ninjaverification.wordpress.com/2008/12/16/experiment-in-wrapping-ssh-inside-a-script-and-passing-arbitrary-commands-to-another-program/</link>
		<comments>http://ninjaverification.wordpress.com/2008/12/16/experiment-in-wrapping-ssh-inside-a-script-and-passing-arbitrary-commands-to-another-program/#comments</comments>
		<pubDate>Tue, 16 Dec 2008 05:52:18 +0000</pubDate>
		<dc:creator>Martin d'Anjou</dc:creator>
				<category><![CDATA[asic verification]]></category>
		<category><![CDATA[bash]]></category>
		<category><![CDATA[ssh]]></category>

		<guid isPermaLink="false">http://ninjaverification.wordpress.com/?p=152</guid>
		<description><![CDATA[Note: This has been solved. Please see the answer here. Wrapping ssh inside a script and passing it arbitrary commands is hard. What I am trying to do here is to come up with a generic way to invoke an &#8230; <a href="http://ninjaverification.wordpress.com/2008/12/16/experiment-in-wrapping-ssh-inside-a-script-and-passing-arbitrary-commands-to-another-program/">Continue reading <span class="meta-nav">&#8594;</span></a><img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ninjaverification.wordpress.com&amp;blog=2633153&amp;post=152&amp;subd=ninjaverification&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
		<wfw:commentRss>http://ninjaverification.wordpress.com/2008/12/16/experiment-in-wrapping-ssh-inside-a-script-and-passing-arbitrary-commands-to-another-program/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/dfd028459e476f0f99b7bfb52ef3d8b8?s=96&#38;d=http%3A%2F%2F1.gravatar.com%2Favatar%2Fad516503a11cd5ca435acc9bb6523536%3Fs%3D96" medium="image">
			<media:title type="html">Martin d'Anjou</media:title>
		</media:content>
	</item>
	</channel>
</rss>
