RubyGems - ruby-vpi - Versions diffs - 11.1.0 → 11.1.1 - Mend

ruby-vpi 11.1.0 → 11.1.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (292) hide show

data/Rakefile +8 -37
data/bin/generate_test_tpl/bench.v +1 -1
data/doc/{src/LICENSE → LICENSE} +0 -0
data/doc/Rakefile +39 -14
data/doc/common.css +144 -0
data/doc/common.tpl +49 -0
data/doc/figures/figures.dia +1589 -0
data/doc/history.erb +18 -0
data/doc/history.html +1726 -0
data/doc/history.rb +14 -0
data/doc/history.yml +686 -0
data/doc/images/{COPYING → LICENSE} +0 -0
data/doc/intro.inc +48 -0
data/doc/lib/doc_format.rb +62 -0
data/doc/lib/doc_proxy.rb +160 -0
data/doc/lib/erb_content.rb +67 -0
data/doc/lib/erb_proxy.rb +48 -0
data/doc/manual.erb +768 -0
data/doc/manual.html +2107 -0
data/doc/manual.rb +5 -0
data/{MEMO → doc/memo.erb} +0 -0
data/{memo.part.html → doc/memo.html} +38 -5
data/doc/readme.erb +36 -0
data/doc/readme.html +171 -0
data/index.html +1 -0
data/lib/ruby-vpi/float.rb +52 -0
data/lib/ruby-vpi/rspec.rb +6 -1
data/lib/ruby-vpi/verilog_parser.rb +4 -5
data/ref/c/annotated.html +1 -6
data/ref/c/common_8h.html +1 -1
data/ref/c/files.html +1 -3
data/ref/c/functions.html +24 -44
data/ref/c/functions_vars.html +24 -44
data/ref/c/globals.html +5 -211
data/ref/c/globals_0x63.html +32 -49
data/ref/c/globals_0x65.html +3 -10
data/ref/c/globals_0x66.html +3 -20
data/ref/c/globals_0x70.html +19 -26
data/ref/c/globals_0x72.html +4 -15
data/ref/c/globals_0x73.html +13 -199
data/ref/c/globals_0x74.html +2 -9
data/ref/c/globals_0x76.html +415 -426
data/ref/c/globals_0x78.html +3 -10
data/ref/c/globals_defs.html +30 -35
data/ref/c/globals_defs_0x65.html +2 -7
data/ref/c/globals_defs_0x70.html +3 -8
data/ref/c/globals_defs_0x76.html +413 -420
data/ref/c/globals_defs_0x78.html +2 -7
data/ref/c/globals_enum.html +1 -1
data/ref/c/globals_eval.html +1 -1
data/ref/c/globals_func.html +14 -173
data/ref/c/globals_type.html +26 -29
data/ref/c/globals_vars.html +4 -88
data/ref/c/index.html +1 -1
data/ref/c/relay_8c.html +1 -1
data/ref/c/relay_8h.html +1 -1
data/ref/c/structrelay____RubyOptions____def.html +1 -1
data/ref/c/structt__cb__data.html +6 -23
data/ref/c/structt__vpi__delay.html +3 -20
data/ref/c/structt__vpi__error__info.html +3 -71
data/ref/c/structt__vpi__strengthval.html +3 -3
data/ref/c/structt__vpi__systf__data.html +12 -46
data/ref/c/structt__vpi__time.html +3 -3
data/ref/c/structt__vpi__value.html +3 -113
data/ref/c/structt__vpi__vecval.html +3 -3
data/ref/c/structt__vpi__vlog__info.html +3 -54
data/ref/c/swig_8c.html +2 -2
data/ref/c/swig_8h.html +1 -1
data/ref/c/verilog_8h.html +1 -1
data/ref/c/vlog_8c.html +1 -1
data/ref/c/vlog_8h.html +1 -1
data/ref/c/vpi__user_8h.html +16 -16
data/ref/ruby/classes/ERB.html +5 -5
data/ref/ruby/classes/ERB.src/{M000034.html → M000036.html} +0 -0
data/ref/ruby/classes/FileUtils.html +10 -10
data/ref/ruby/classes/FileUtils.src/{M000081.html → M000083.html} +0 -0
data/ref/ruby/classes/FileUtils.src/{M000082.html → M000084.html} +0 -0
data/ref/ruby/classes/Float.html +140 -0
data/ref/ruby/classes/Float.src/M000031.html +19 -0
data/ref/ruby/classes/RDoc.html +5 -5
data/ref/ruby/classes/RDoc.src/{M000095.html → M000097.html} +0 -0
data/ref/ruby/classes/RubyVpi.html +10 -10
data/ref/ruby/classes/RubyVpi.src/{M000083.html → M000085.html} +0 -0
data/ref/ruby/classes/RubyVpi.src/{M000084.html → M000086.html} +0 -0
data/ref/ruby/classes/String.html +33 -10
data/ref/ruby/classes/String.src/M000033.html +28 -5
data/ref/ruby/classes/String.src/M000034.html +18 -0
data/ref/ruby/classes/String.src/M000035.html +36 -0
data/ref/ruby/classes/Template.html +5 -5
data/ref/ruby/classes/Template.src/{M000031.html → M000032.html} +0 -0
data/ref/ruby/classes/VerilogParser/Module.src/M000006.html +9 -8
data/ref/ruby/classes/VerilogParser/Module/Parameter.src/M000011.html +5 -7
data/ref/ruby/classes/VerilogParser/Module/Port.src/M000007.html +7 -7
data/ref/ruby/classes/VerilogParser/Module/Port.src/M000008.html +4 -4
data/ref/ruby/classes/VerilogParser/Module/Port.src/M000009.html +4 -4
data/ref/ruby/classes/VerilogParser/Module/Port.src/M000010.html +4 -4
data/ref/ruby/classes/Vpi/Handle.html +46 -46
data/ref/ruby/classes/Vpi/Handle.src/M000087.html +5 -9
data/ref/ruby/classes/Vpi/Handle.src/M000088.html +5 -31
data/ref/ruby/classes/Vpi/Handle.src/M000089.html +9 -74
data/ref/ruby/classes/Vpi/Handle.src/M000090.html +31 -17
data/ref/ruby/classes/Vpi/Handle.src/M000091.html +74 -11
data/ref/ruby/classes/Vpi/Handle.src/M000092.html +30 -0
data/ref/ruby/classes/Vpi/Handle.src/M000093.html +11 -55
data/ref/ruby/classes/Vpi/Handle.src/M000095.html +68 -0
data/ref/ruby/classes/Vpi/Handle/Property.html +5 -5
data/ref/ruby/classes/Vpi/Handle/Property.src/{M000094.html → M000096.html} +0 -0
data/ref/ruby/classes/XX/Document.html +45 -45
data/ref/ruby/classes/XX/Document.src/M000074.html +9 -7
data/ref/ruby/classes/XX/Document.src/M000075.html +7 -7
data/ref/ruby/classes/XX/Document.src/M000076.html +7 -9
data/ref/ruby/classes/XX/Document.src/M000077.html +7 -8
data/ref/ruby/classes/XX/Document.src/M000078.html +9 -8
data/ref/ruby/classes/XX/Document.src/M000079.html +8 -21
data/ref/ruby/classes/XX/Document.src/M000080.html +8 -85
data/ref/ruby/classes/XX/Document.src/M000081.html +34 -0
data/ref/ruby/classes/XX/Document.src/M000082.html +98 -0
data/ref/ruby/classes/XX/HTML4.html +5 -5
data/ref/ruby/classes/XX/HTML4.src/{M000036.html → M000038.html} +0 -0
data/ref/ruby/classes/XX/HTML4/Strict.html +5 -5
data/ref/ruby/classes/XX/HTML4/Strict.src/{M000038.html → M000040.html} +0 -0
data/ref/ruby/classes/XX/HTML4/Transitional.html +5 -5
data/ref/ruby/classes/XX/HTML4/Transitional.src/{M000037.html → M000039.html} +0 -0
data/ref/ruby/classes/XX/Markup.html +5 -5
data/ref/ruby/classes/XX/Markup.src/{M000043.html → M000045.html} +0 -0
data/ref/ruby/classes/XX/Markup/ClassMethods.html +40 -40
data/ref/ruby/classes/XX/Markup/ClassMethods.src/M000046.html +9 -12
data/ref/ruby/classes/XX/Markup/ClassMethods.src/M000047.html +7 -7
data/ref/ruby/classes/XX/Markup/ClassMethods.src/M000048.html +12 -14
data/ref/ruby/classes/XX/Markup/ClassMethods.src/M000049.html +7 -7
data/ref/ruby/classes/XX/Markup/ClassMethods.src/M000050.html +14 -14
data/ref/ruby/classes/XX/Markup/ClassMethods.src/M000051.html +7 -9
data/ref/ruby/classes/XX/Markup/ClassMethods.src/M000052.html +27 -0
data/ref/ruby/classes/XX/Markup/ClassMethods.src/M000053.html +22 -0
data/ref/ruby/classes/XX/Markup/InstanceMethods.html +100 -100
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000054.html +43 -18
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000055.html +20 -35
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000056.html +18 -7
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000057.html +35 -18
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000058.html +7 -19
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000059.html +18 -19
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000060.html +19 -15
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000061.html +19 -10
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000062.html +15 -13
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000063.html +10 -7
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000064.html +13 -7
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000065.html +7 -7
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000066.html +7 -7
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000067.html +7 -7
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000068.html +7 -8
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000069.html +7 -7
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000070.html +8 -7
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000071.html +7 -7
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000072.html +20 -0
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000073.html +20 -0
data/ref/ruby/classes/XX/XHTML.html +5 -5
data/ref/ruby/classes/XX/XHTML.src/{M000039.html → M000041.html} +0 -0
data/ref/ruby/classes/XX/XHTML/Strict.html +5 -5
data/ref/ruby/classes/XX/XHTML/Strict.src/{M000041.html → M000043.html} +0 -0
data/ref/ruby/classes/XX/XHTML/Transitional.html +5 -5
data/ref/ruby/classes/XX/XHTML/Transitional.src/{M000040.html → M000042.html} +0 -0
data/ref/ruby/classes/XX/XML.html +5 -5
data/ref/ruby/classes/XX/XML.src/{M000035.html → M000037.html} +0 -0
data/ref/ruby/classes/XX/XMLish.html +5 -5
data/ref/ruby/classes/XX/XMLish.src/{M000042.html → M000044.html} +0 -0
data/ref/ruby/created.rid +1 -1
data/ref/ruby/files/lib/ruby-vpi/float_rb.html +101 -0
data/ref/ruby/files/lib/ruby-vpi/rspec_rb.html +1 -1
data/ref/ruby/files/lib/ruby-vpi/runner_rb.html +1 -1
data/ref/ruby/files/lib/ruby-vpi/verilog_parser_rb.html +1 -1
data/ref/ruby/fr_class_index.html +1 -0
data/ref/ruby/fr_file_index.html +1 -0
data/ref/ruby/fr_method_index.html +69 -67
data/samp/counter/counter.v +4 -4
data/samp/counter/counter_rspec_spec.rb +4 -8
data/samp/counter/counter_xunit_spec.rb +4 -8
metadata +112 -196
data/HEADER +0 -97
data/HISTORY +0 -687
data/README +0 -23
data/doc/background.html +0 -3
data/doc/background.methodology.html +0 -3
data/doc/background.organization.html +0 -10
data/doc/background.running-tests.html +0 -3
data/doc/background.terminology.html +0 -3
data/doc/gfdl-0.html +0 -18
data/doc/gfdl-1.html +0 -70
data/doc/gfdl-10.html +0 -15
data/doc/gfdl-2.html +0 -13
data/doc/gfdl-3.html +0 -31
data/doc/gfdl-4.html +0 -75
data/doc/gfdl-5.html +0 -20
data/doc/gfdl-6.html +0 -12
data/doc/gfdl-7.html +0 -16
data/doc/gfdl-8.html +0 -17
data/doc/gfdl-9.html +0 -9
data/doc/gfdl-addendum.html +0 -25
data/doc/gfdl.html +0 -11
data/doc/glossary.html +0 -3
data/doc/hacking.html +0 -3
data/doc/hacking.release-packages.html +0 -7
data/doc/images/ChangeLog +0 -27
data/doc/images/blank.png +0 -0
data/doc/images/callouts/1.png +0 -0
data/doc/images/callouts/10.png +0 -0
data/doc/images/callouts/11.png +0 -0
data/doc/images/callouts/12.png +0 -0
data/doc/images/callouts/13.png +0 -0
data/doc/images/callouts/14.png +0 -0
data/doc/images/callouts/15.png +0 -0
data/doc/images/callouts/2.png +0 -0
data/doc/images/callouts/3.png +0 -0
data/doc/images/callouts/4.png +0 -0
data/doc/images/callouts/5.png +0 -0
data/doc/images/callouts/6.png +0 -0
data/doc/images/callouts/7.png +0 -0
data/doc/images/callouts/8.png +0 -0
data/doc/images/callouts/9.png +0 -0
data/doc/images/callouts/ChangeLog +0 -15
data/doc/images/copyright +0 -55
data/doc/images/draft.png +0 -0
data/doc/images/toc-blank.png +0 -0
data/doc/images/toc-minus.png +0 -0
data/doc/images/toc-plus.png +0 -0
data/doc/index.html +0 -4
data/doc/introduction.html +0 -3
data/doc/introduction.license.html +0 -3
data/doc/introduction.manifest.html +0 -3
data/doc/introduction.related-works.html +0 -3
data/doc/introduction.resources.html +0 -3
data/doc/manual.txt +0 -1852
data/doc/problem.ivl.html +0 -18
data/doc/problems.html +0 -3
data/doc/problems.ruby.html +0 -3
data/doc/problems.vsim.html +0 -3
data/doc/setup.html +0 -3
data/doc/setup.installation.html +0 -9
data/doc/setup.maintenance.html +0 -3
data/doc/setup.reqs.html +0 -3
data/doc/src/figures.dia +0 -0
data/doc/src/license.xml +0 -446
data/doc/src/manual.xml +0 -1824
data/doc/src/manual.xsl +0 -23
data/doc/src/shared.dtd +0 -62
data/doc/styles/manual.css +0 -91
data/doc/usage.examples.html +0 -3
data/doc/usage.html +0 -3
data/doc/usage.tools.html +0 -9
data/doc/usage.tutorial.html +0 -189
data/header.html +0 -95
data/header.part.html +0 -95
data/history.html +0 -1442
data/history.part.html +0 -1346
data/memo.html +0 -211
data/readme.html +0 -138
data/readme.part.html +0 -42
data/ref/c/globals_0x62.html +0 -62
data/ref/c/globals_0x67.html +0 -64
data/ref/c/globals_0x69.html +0 -62
data/ref/c/globals_0x6c.html +0 -64
data/ref/c/globals_0x6d.html +0 -62
data/ref/c/globals_0x6e.html +0 -63
data/ref/c/globals_0x75.html +0 -63
data/ref/c/globals_defs_0x6c.html +0 -57
data/ref/c/globals_defs_0x6e.html +0 -56
data/ref/c/globals_defs_0x72.html +0 -57
data/ref/c/globals_defs_0x73.html +0 -164
data/ref/c/globals_defs_0x75.html +0 -56
data/ref/c/globals_func_0x66.html +0 -62
data/ref/c/globals_func_0x67.html +0 -55
data/ref/c/globals_func_0x69.html +0 -53
data/ref/c/globals_func_0x70.html +0 -53
data/ref/c/globals_func_0x72.html +0 -57
data/ref/c/globals_func_0x73.html +0 -114
data/ref/c/globals_func_0x76.html +0 -57
data/ref/c/structswig__cast__info.html +0 -98
data/ref/c/structswig__class.html +0 -115
data/ref/c/structswig__module__info.html +0 -132
data/ref/c/structswig__type__info.html +0 -132
data/ref/c/swig__vpi_8h.html +0 -8739
data/ref/c/swig__wrap_8cin.html +0 -11556
data/ref/c/unions__vpi__value__value.html +0 -166
data/ref/ruby/classes/String.src/M000032.html +0 -41
data/ref/ruby/classes/Vpi/Handle.src/M000085.html +0 -18
data/ref/ruby/classes/Vpi/Handle.src/M000086.html +0 -18
data/ref/ruby/classes/XX/Document.src/M000072.html +0 -22
data/ref/ruby/classes/XX/Document.src/M000073.html +0 -20
data/ref/ruby/classes/XX/Markup/ClassMethods.src/M000044.html +0 -22
data/ref/ruby/classes/XX/Markup/ClassMethods.src/M000045.html +0 -20
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000052.html +0 -56
data/ref/ruby/classes/XX/Markup/InstanceMethods.src/M000053.html +0 -33
data/style.css +0 -47

data/header.part.html DELETED Viewed

@@ -1,95 +0,0 @@
-<head>
-  <link rel="stylesheet" type="text/css" href="style.css" />
-</head>
-<div class="variablelist">
-<dl>
-<dt>
-<span class="term">
-<a href="./doc/usage.tutorial.html" target="_top">Tutorial</a>
-</span>
-</dt>
-<dd>
-<p>Learn how to use Ruby-VPI quickly.</p>
-</dd>
-<dt>
-<span class="term">
-<a href="./doc/" target="_top">Manual</a>
-</span>
-</dt>
-<dd>
-<p>Complete documentation for users. <em>Start here!</em></p>
-</dd>
-<dt>
-<span class="term">
-<a href="./ref/" target="_top">Reference</a>
-</span>
-</dt>
-<dd>
-<p><span class="caps">API</span> reference documentation for Ruby libraries and C extension.</p>
-</dd>
-<dt>
-<span class="term">
-<a href="http://rubyforge.org/projects/ruby-vpi" target="_top">
-Facilities</a>
-</span>
-</dt>
-<dd>
-<p>
-Access the issue tracker, file downloads, support requests, discussion forums, and more at <a href="http://rubyforge.org" target="_top">
-RubyForge</a>.
-</p>
-</dd>
-<dt>
-<span class="term">
-<a href="http://ruby-vpi.rubyforge.org" target="_top">
-Project</a>
-</span>
-</dt>
-<dd>
-<p>
-Access more information at the project&#8217;s home page.
-</p>
-</dd>
-<dt>
-<span class="term">
-<a href="http://ruby-vpi.rubyforge.org/src/ruby-vpi" target="_top">
-Sources</a>
-</span>
-</dt>
-<dd>
-<p>
-Browse or access the source code repository.</p>
-</dd>
-<dt>
-<span class="term">
-<a href="http://ruby-vpi.rubyforge.org/talks" target="_top">
-Talks</a>
-</span>
-</dt>
-<dd>
-<p>
-Access public presentations about Ruby-VPI.</p>
-</dd>
-<dt>
-<span class="term">
-<a href="http://ruby-vpi.rubyforge.org/blog" target="_top">
-News</a>
-</span>
-</dt>
-<dd>
-<p>
-See what the developers are cooking up.</p>
-</dd>
-</dl>
-</div>
-</div>

data/history.html DELETED Viewed

@@ -1,1442 +0,0 @@
-<head>
-  <link rel="stylesheet" type="text/css" href="style.css" />
-</head>
-<div class="variablelist">
-<dl>
-<dt>
-<span class="term">
-<a href="./doc/usage.tutorial.html" target="_top">Tutorial</a>
-</span>
-</dt>
-<dd>
-<p>Learn how to use Ruby-VPI quickly.</p>
-</dd>
-<dt>
-<span class="term">
-<a href="./doc/" target="_top">Manual</a>
-</span>
-</dt>
-<dd>
-<p>Complete documentation for users. <em>Start here!</em></p>
-</dd>
-<dt>
-<span class="term">
-<a href="./ref/" target="_top">Reference</a>
-</span>
-</dt>
-<dd>
-<p><span class="caps">API</span> reference documentation for Ruby libraries and C extension.</p>
-</dd>
-<dt>
-<span class="term">
-<a href="http://rubyforge.org/projects/ruby-vpi" target="_top">
-Facilities</a>
-</span>
-</dt>
-<dd>
-<p>
-Access the issue tracker, file downloads, support requests, discussion forums, and more at <a href="http://rubyforge.org" target="_top">
-RubyForge</a>.
-</p>
-</dd>
-<dt>
-<span class="term">
-<a href="http://ruby-vpi.rubyforge.org" target="_top">
-Project</a>
-</span>
-</dt>
-<dd>
-<p>
-Access more information at the project&#8217;s home page.
-</p>
-</dd>
-<dt>
-<span class="term">
-<a href="http://ruby-vpi.rubyforge.org/src/ruby-vpi" target="_top">
-Sources</a>
-</span>
-</dt>
-<dd>
-<p>
-Browse or access the source code repository.</p>
-</dd>
-<dt>
-<span class="term">
-<a href="http://ruby-vpi.rubyforge.org/talks" target="_top">
-Talks</a>
-</span>
-</dt>
-<dd>
-<p>
-Access public presentations about Ruby-VPI.</p>
-</dd>
-<dt>
-<span class="term">
-<a href="http://ruby-vpi.rubyforge.org/blog" target="_top">
-News</a>
-</span>
-</dt>
-<dd>
-<p>
-See what the developers are cooking up.</p>
-</dd>
-</dl>
-</div>
-</div>
-	<h1>Release history</h1>
-	<p>This is a record of important changes that have occurred with each release of <a href="http://ruby-vpi.rubyforge.org">Ruby-VPI</a>.</p>
-	<h2>Version numbering system</h2>
-We <em>strictly</em> follow the RubyGems project&#8217;s <a href="http://www.rubygems.org/read/chapter/7">rational versioning policy</a> since release 6.3.0. To summarize<sup><a href="#fn1">1</a></sup> this &#8220;major.minor.build&#8221; numbering policy,
-	<ul>
-	<li>an increase in the <em>major</em> number indicates that <em>functionally incompatible</em> changes have occurred. Thus, what may have worked in the previous version may not work in the new one.</li>
-		<li>an increase in the <em>minor</em> number indicates that <em>functionally compatible</em> changes have occurred. Thus, what worked in the previous version will work in the new one.</li>
-		<li>an increase in the <em>build</em> number indicates that the <em>underlying implementation</em> has changed. The functionality has not changed and no features have been added. Thus, what worked in the previous version will work in the new one.</li>
-	</ul>
-	<p id="fn1"><sup>1</sup> C. Gross, &#8220;Explaining Open Source Version Numbers&#8221;, [Online document], 2005 Nov 28, [cited 2006 Aug 27], Available <span class="caps">HTTP</span>: <a href="http://ablog.apress.com/?p=738">http://ablog.apress.com/?p=738</a></p>
-	<h1>Version 11.1.0 (2006-11-08)</h1>
-	<h2>Summary</h2>
-	<p>This release fixes a bug in generated benches, improves the <a href="./ref/ruby/classes/Vpi/Handle.html">the <code>Vpi::Handle</code> class</a>, and improves performance by roughly 20%.</p>
-	<h2>Acknowledgment</h2>
-	<p>Thanks to Matt Fischler for finding the bug in generated benches (see below).</p>
-	<h2>Notice</h2>
-	<ul>
-	<li>A bug in generated Verilog and Ruby benches, which caused this error <pre>ruby: no such file to load -- ruby-vpi (LoadError)</pre> has been fixed.
-	<ul>
-	<li>Please regenerate your tests to apply this bug fix to your tests.</li>
-	</ul></li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>The class <code>SWIG::TYPE_p_unsigned_int</code> has been aliased as <code>Vpi::Handle</code> for easier access.</li>
-	</ul>
-	<ul>
-	<li><code>Vpi::Handle#to_s</code> and <code>Vpi::Handle#inspect</code> now produce more informative output. For example, what used to appear as <pre>#&lt;SWIG::TYPE_p_unsigned_int:0x2aaab6574fa0&gt;</pre> now appears as <pre>#&lt;Vpi::Handle vpiModule fullName=counter_rspec_bench, size=-1, file=counter_rspec_bench.v, lineNo=2&gt;</pre> in this release.
-	<ul>
-	<li>You can also provide a list of <span class="caps">VPI</span> property/type names or integer constants to those methods to see additional information in the output.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li><code>Vpi::Handle</code> now implements all methods from <code>Enumerable</code>, such as <code>map</code>, <code>each</code>, <code>select</code>, and so on. However, unlike their counterparts in <code>Enumerable</code>, these methods also accept a list of <span class="caps">VPI</span> property/type names or integer constants. Thus, you are now able to write <code>handle.select(:reg, :net) {|h| h.size &gt; 5}</code> to obtain a list of child handles to registers and nets whose capacity is greater than 5 bits.</li>
-	</ul>
-	<ul>
-	<li>The <code>Vpi::Handle#[]</code>, <code>Vpi::Handle#get_value</code>, and <code>Vpi::Handle#put_value</code> methods now accept names of <span class="caps">VPI</span> types/properties as well as their integer constants. Thus, you are now able to write <code>handle[:reg, :net]</code> to obtain a list of handles to all child registers and nets.</li>
-	</ul>
-	<ul>
-	<li><code>Vpi::Handle#method_missing</code> has been refactored to cache queries. There is now, approximately, 20% improvement in performance.</li>
-	</ul>
-	<ul>
-	<li><code>Vpi::Handle#method_missing</code> has been fixed to accept operations with multiple underscores. For example, before this release, you could not write <code>handle.find_all_reg {|r| r.name =~ /foo/}</code> because the &#8220;find_all_reg&#8221; method would be interpreted as the operation &#8220;find&#8221; and the <span class="caps">VPI</span> property &#8220;all_reg&#8221;.</li>
-	</ul>
-	<ul>
-	<li>The <code>IntegerGenerator</code> class, in the pipelined <span class="caps">ALU</span> example, has been fixed so that multiple instances do not interfere with the generation of each other&#8217;s prime integers.</li>
-	</ul>
-	<ul>
-	<li>Due to a bug in the <code>Rakefile</code>, the reference documentation was not included in the previous few releases. This has been fixed.</li>
-	</ul>
-	<h1>Version 11.0.0 (2006-11-05)</h1>
-	<h2>Summary</h2>
-	<p>This release shortens generated Ruby benches and uses the less confusing notation for defining <a href="http://wiki.rubygarden.org/Ruby/page/show/SingletonTutorial">singleton methods</a> in generated designs and prototypes.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li>The arguments for the <a href="ref/ruby/classes/RubyVpi.html"><code>RubyVPI.init_bench</code> method</a> have changed.</li>
-	</ul>
-	<ul>
-	<li><strong>generate_test.rb</strong> no longer emits undocumented status indicators: <em>name</em> and <em>format</em>.</li>
-	</ul>
-	<ul>
-	<li>The source code is no longer distributed as a <strong>zip</strong> package, because it seems to be quite underutilized in comparison to the <strong>tgz</strong> and <strong>gem</strong> packages.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>Generated Ruby benches have been shortened to just <em>one</em> line of code!</li>
-	</ul>
-	<ul>
-	<li>The less confusing notation of <pre>def some_object.a_singleton_method
-  do_stuff
-end</pre> is now used instead of the <pre>class &lt;&lt; some_object
-  def a_singleton_method
-    do_stuff
-  end
-end</pre> notation.
-	<ul>
-	<li>The tutorial and examples have been updated accordingly.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>The pipelined <span class="caps">ALU</span> example now has an updated <code>IntegerGenerator</code> class.</li>
-	</ul>
-	<h1>Version 10.0.0 (2006-11-05)</h1>
-	<h2>Summary</h2>
-	<p>This release adds the ability to access a handle&#8217;s children and reduces the amount of code produced by the automated test generator.</p>
-	<h2>Acknowledgment</h2>
-	<p>Thanks to Matt Fischler for finding the problem of misdirected compilation errors in Verilog benches.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li>The way in which Ruby-VPI and generated tests interact has changed: the design is now a <span class="caps">VPI</span> handle object and the <code>design.rb</code> and <code>proto.rb</code> files define <a href="http://wiki.rubygarden.org/Ruby/page/show/SingletonTutorial">singleton methods</a> for that object.
-	<ul>
-	<li>I suggest that you regenerate your existing tests (just run <strong>generate_test.rb</strong> again) whilst employing the service of a text merging tool (see the user manual).</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>You can now access a handle&#8217;s children by simply calling methods on it. In the event that a child handle has the same name as a <span class="caps">VPI</span> property, the child is given priority. However, you can always access <span class="caps">VPI</span> properties explicitly via the <code>get_value</code> and <code>put_value</code> methods.</li>
-	</ul>
-	<ul>
-	<li><strong>generate_test.rb</strong> no longer accepts the <code>-s</code> and <code>-u</code> options. Use their longer counterparts <code>--rspec</code> and <code>--xunit</code> instead.</li>
-	</ul>
-	<h2>Detail</h2>
-	<h3>Automated test generator</h3>
-	<ul>
-	<li>Generated Verilog benches no longer divert compilation errors from Verilog design files. That is, if the Verilog simulator finds compilation errors in a Verilog design file, it will report that the Verilog design file is at fault (instead of reporting that the generated Verilog bench is at fault).</li>
-	</ul>
-	<ul>
-	<li>The user is now notified when a backup of an existing file is made.</li>
-	</ul>
-	<ul>
-	<li>Generated tests have been greatly simplified to reduce the amount of work for the user.
-	<ul>
-	<li>The design is now just a handle to the module in the Verilog bench.</li>
-		<li><code>include Vpi</code> and <code>@design</code> are no longer generated.</li>
-		<li>The tutorial and examples have been updated accordingly.</li>
-	</ul></li>
-	</ul>
-	<h3>User manual</h3>
-	<ul>
-	<li>Revised the stylesheet to make disjoint sections readily distinguishable from each other, through generous spacing and minor coloring.</li>
-	</ul>
-	<ul>
-	<li>Added tips about <code>ruby-vpi/runner_proxy</code>, <code>rake -T</code>, and using <strong>kdiff3</strong> with <strong>generate_test.rb</strong>.</li>
-	</ul>
-	<ul>
-	<li>Moved installation information into a new &#8220;setup&#8221; chapter.</li>
-	</ul>
-	<h1>Version 9.0.0 (2006-10-28)</h1>
-	<h2>Summary</h2>
-	<p>This release improves the automated test generator and adds new content to the user manual.</p>
-	<h2>Acknowledgment</h2>
-	<p>Thanks to Matt Fischler for helping test and debug the installation of Ruby-VPI on Windows.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li>The command-line options for <code>generate_test.rb</code> have changed. Run the command <code>generate_test.rb --help</code> for details.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>Test runners now attempt to resolve paths in <code>SIMULATOR_SOURCES</code> by searching for them within the directories specified in <code>SIMULATOR_INCLUDES</code>.</li>
-	</ul>
-	<ul>
-	<li>Synopsys <span class="caps">VCS</span> is now used in a better way (via the <code>-load</code> option).
-	<ul>
-	<li>The old <span class="caps">PLI</span> table file (<code>synopsys_vcs.tab</code>) has been removed.</li>
-		<li>The C extension has been revised accordingly.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>The C extension now compiles without errors in Cygwin.</li>
-	</ul>
-	<ul>
-	<li>The automated test generator now:
-	<ul>
-	<li>Only creates output files when necessary.</li>
-		<li>Updates existing output files using <a href="./doc/usage.recommendations.html">text merging tools</a> if possible. (Refer to <code>MERGER</code> in the help information of <code>generate_test.rb</code>.)</li>
-		<li>Emits progress information similar to Ruby on Rails.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>The user manual now:
-	<ul>
-	<li>Includes instructions for installing on Windows (via Cygwin).</li>
-		<li>Has a recommended software section, with links to text merging tools.</li>
-		<li>Uses the term <a href="http://en.wikipedia.org/wiki/XUnit">xUnit</a> instead of &#8220;unit test&#8221;.</li>
-		<li>Correctly spells &#8220;rSpec&#8221;.</li>
-	</ul></li>
-	</ul>
-	<h1>Version 8.2.0 (2006-10-24)</h1>
-	<h2>Summary</h2>
-	<p>This release simplifies configuration of generated tests.</p>
-	<h2>Acknowledgment</h2>
-	<p>Thanks to <a href="http://www.soe.ucsc.edu/classes/cmpe126/Fall06/">students in <span class="caps">CMPE</span>-126</a> for their constructive criticism.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li>Generated runners now have a <code>SIMULATOR_INCLUDES</code> array, whose entries specify places where Verilog source files, needed by the Verilog design, reside.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>Generated Verilog benches now inherit all <code>`include</code> and <code>`define</code> directives from the Verilog design in a simpler manner.</li>
-		<li>A generated test no longer requires its Verilog design to reside in the same directory.</li>
-		<li>The sample tests have been updated accordingly.</li>
-	</ul>
-	<h1>Version 8.1.0 (2006-10-21)</h1>
-	<h2>Summary</h2>
-	<p>This release adds an integer library and renames the vpi_util library.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li>The <strong>vpi_util</strong> library has been renamed to <strong>vpi</strong>. This change should not affect your code unless you explicitly imported this library via <code>require 'ruby-vpi/vpi_util'</code>. In which case, you should update your code to use <code>require 'ruby-vpi/vpi'</code> accordingly.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>An integer library has been added to simplify common tasks related to hardware and the binary number system. You can import this library for use via <code>require 'ruby-vpi/integer'</code>.</li>
-	</ul>
-	<h1>Version 8.0.0 (2006-10-13)</h1>
-	<h2>Summary</h2>
-	<p>This release renames some identifiers for consistency, updates the documentation, and improves integration with RubyGems.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li>The <code>RubyVPI</code> module has been renamed to <code>RubyVpi</code>.</li>
-	</ul>
-	<ul>
-	<li>The <code>PROTO</code> environment variable has been renamed to <code>PROTOTYPE</code>.
-	<ul>
-	<li>In addition to using <code>unset</code>, you can now disable simulation of the prototype by assigning an empty value to this variable.</li>
-	</ul></li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>We now use <a href="http://darcs.net">Darcs</a> for revision control, instead of Subversion. The source repository can now be accessed at <a href="http://ruby-vpi.rubyforge.org/src/ruby-vpi">http://ruby-vpi.rubyforge.org/src/ruby-vpi</a>.</li>
-	</ul>
-	<ul>
-	<li>The source code is now distributed in tar.gz and zip form, in addition to gem.</li>
-	</ul>
-	<ul>
-	<li>Some identifiers have been renamed for better consistency.</li>
-	</ul>
-	<ul>
-	<li>The user manual now resides directly within the <code>doc/</code> directory.
-	<ul>
-	<li>The integration of documentation in <code>gem_server</code> has been improved.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>The glossary and tutorial in the user manual have been revised.</li>
-	</ul>
-	<h1>Version 7.3.0 (2006-09-30)</h1>
-	<h2>Summary</h2>
-	<p>This release fixes a bug in generated Verilog benches, includes parsed constants in generated tests, and adds new methods to handles.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li>Handles now have two new methods:
-	<ul>
-	<li><code>handle.x?</code> checks if the logic value is &#8220;don&#8217;t care&#8221; </li>
-		<li><code>handle.z?</code> checks if the logic value is high impedance</li>
-	</ul></li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>Module instantiation code in generated Verilog benches has been fixed. Whitespace between the module type and instance variable was missing.</li>
-	</ul>
-	<ul>
-	<li>The test generator tool now provides parsed Verilog constants and include-directives in generated Verilog benches; and parsed Verilog constants in generated Ruby designs.
-	<ul>
-	<li>The pipelined <span class="caps">ALU</span> example has been revised accordingly.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>A library for parsing Verilog source code has been added as <code>lib/ruby-vpi/verilog_parser.rb</code>.</li>
-	</ul>
-	<h1>Version 7.2.0 (2006-09-15)</h1>
-	<h2>Summary</h2>
-	<p>This release adds initial<sup><a href="#fn1">1</a></sup> support for code coverage analysis via the <a href="http://eigenclass.org/hiki.rb?rcov">rcov library</a>.</p>
-	<h2>Acknowledgment</h2>
-	<p>Thanks to Mauricio Fernandez for helping me use rcov without its runner.</p>
-	<h2>Detail</h2>
-	<ul>
-	<li>Added initial<sup><a href="#fn1">1</a></sup> support for code coverage analysis, which can be enabled by setting the <code>COVERAGE</code> environment variable to a non-empty value before running a test.
-	<ul>
-	<li>For example, you can run a test with the <span class="caps">GPL</span> Cver simulator while enabling the generation of code coverage reports as follows: <code>export COVERAGE=1; rake cver</code></li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>Coverage reports are generated in text and <span class="caps">HTML</span> formats.</li>
-	</ul>
-	<p id="fn1"><sup>1</sup> Full capabilites of the rcov library, such as its various analysis modes, are not yet utilized.</p>
-	<h1>Version 7.1.0 (2006-08-29)</h1>
-	<h2>Summary</h2>
-	<p>This release simplifies running of multiple tests, restores compatibility with Synopsys <span class="caps">VCS</span>, and better integrates with RubyGems.</p>
-	<h2>Detail</h2>
-	<ul>
-	<li>Added <code>lib/ruby-vpi/runner_proxy</code> library which, when embedded into a Rakefile, runs all generated tests in the working directory with any specified arguments. For example, have a look at the <code>samp/counter/Rakefile</code> file.</li>
-	</ul>
-	<ul>
-	<li>Fixed a bug that prevented one from running tests with Synopsys <span class="caps">VCS</span>.</li>
-	</ul>
-	<ul>
-	<li>Ruby-VPI documentation is now available through RubyGems&#8217; <a href="http://docs.rubygems.org/read/chapter/2#page10"><code>gem_server</code> web interface</a>.</li>
-	</ul>
-	<ul>
-	<li>The user manual now discusses how to determine the location of a Ruby-VPI installation.</li>
-	</ul>
-	<ul>
-	<li>The <code>tpl/</code> directory has been removed.</li>
-	</ul>
-	<h1>Version 7.0.0 (2006-08-29)</h1>
-	<h2>Summary</h2>
-	<p>This release distributes Ruby-VPI as a gem, improves portability of generated tests, and fixes a bug.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li><code>put_value()</code> now accomodates register value overflows when verifying the value it has written.</li>
-	</ul>
-	<ul>
-	<li>The test generator&#8217;s templates and the examples have been updated as follows:
-	<ul>
-	<li>Test runners no longer have to specify the path to Ruby-VPI installation directory. Instead, they simply <code>require 'ruby-vpi/runner'</code>. Thus, you can run your tests on any machine with Ruby-VPI without having to know where it is installed.</li>
-		<li>Ruby benches now invoke <code>RubyVPI.init_bench</code> instead of <code>require 'bench'; setup_bench</code> to become initialized.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>All Ruby libraries in the <code>lib/</code> directory have been moved into <code>lib/ruby-vpi/</code> to prevent load-path clashes with other gems. You should access these libraries by prefixing their path with &#8220;ruby-vpi&#8221;. For example, <code>require 'vpi_util'</code> should now be written as <code>require 'ruby-vpi/vpi_util'</code>.</li>
-	</ul>
-	<ul>
-	<li>The <code>src/</code> directory has been renamed to <code>ext/</code> to follow RubyGems convention.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>Ruby-VPI is now distributed only as a <a href="http://www.rubygems.org">source gem</a>. You can decompress the gem without installing it onto your system by running the command <code>gem install -i output_directory ruby-vpi-7.0.0.gem</code>. In addition, you can still obtain the source code directly from the Subversion repository.</li>
-	</ul>
-	<ul>
-	<li>The tools in <code>bin/</code> become available in your system&#8217;s <code>bin/</code> directory when the gem is installed.
-	<ul>
-	<li>Usage and help information has been added to the <code>header_to_ruby.rb</code> tool.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>Incorrect spelling of <span class="caps">GPL</span> Cver (v should be uncapitalized) has been fixed.</li>
-	</ul>
-	<ul>
-	<li>Incorrect link to <span class="caps">GPL</span> Cver website has been fixed.</li>
-	</ul>
-	<ul>
-	<li>The user manual has been updated according to all of the above changes.</li>
-	</ul>
-	<h1>Version 6.3.0 (2006-08-27)</h1>
-	<h2>Summary</h2>
-	<p>This release adds support for the <span class="caps">GPL</span> Cver simulator, provides both binary and source packages, and explicitly defines the version numbering system.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li>Ruby-VPI now only needs to be built once.
-	<ul>
-	<li>You can run tests with different Verilog simulators without having to re-compile Ruby-VPI.</li>
-	</ul></li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>The <span class="caps">GPL</span> Cver simulator is now supported.</li>
-	</ul>
-	<ul>
-	<li>Release packages are now available in both source and binary form.</li>
-	</ul>
-	<ul>
-	<li>The RSpec based specifications for the counter example now use the <code>should_equal</code> instead of the <code>should_be</code> assertion, because the latter ensures strict equivalence. For instance, it will fail when a Fixnum is compared to a Bignum.</li>
-	</ul>
-	<ul>
-	<li>We now follow the RubyGems project&#8217;s <a href="http://www.rubygems.org/read/chapter/7">rational versioning policy</a>. The version numbers of previous releases have been revised accordingly:
-	<table>
-		<tr>
-			<th>Release date </th>
-			<th>Original version number </th>
-			<th>New version number </th>
-		</tr>
-		<tr>
-			<td> 1999-10-31 </td>
-			<td> 0.0   </td>
-			<td> 0.0.0 </td>
-		</tr>
-		<tr>
-			<td> 2006-02-26 </td>
-			<td> 0.1   </td>
-			<td> 1.0.0 </td>
-		</tr>
-		<tr>
-			<td> 2006-04-17 </td>
-			<td> 0.2   </td>
-			<td> 2.0.0 </td>
-		</tr>
-		<tr>
-			<td> 2006-04-23 </td>
-			<td> 0.3   </td>
-			<td> 3.0.0 </td>
-		</tr>
-		<tr>
-			<td> 2006-04-28 </td>
-			<td> 0.4   </td>
-			<td> 3.1.0 </td>
-		</tr>
-		<tr>
-			<td> 2006-05-13 </td>
-			<td> 0.5   </td>
-			<td> 3.2.0 </td>
-		</tr>
-		<tr>
-			<td> 2006-05-25 </td>
-			<td> 0.6   </td>
-			<td> 4.0.0 </td>
-		</tr>
-		<tr>
-			<td> 2006-07-22 </td>
-			<td> 0.7   </td>
-			<td> 5.0.0 </td>
-		</tr>
-		<tr>
-			<td> 2006-07-29 </td>
-			<td> 0.8   </td>
-			<td> 5.1.0 </td>
-		</tr>
-		<tr>
-			<td> 2006-08-04 </td>
-			<td> 0.8.1 </td>
-			<td> 5.1.1 </td>
-		</tr>
-		<tr>
-			<td> 2006-08-07 </td>
-			<td> 0.9   </td>
-			<td> 6.0.0 </td>
-		</tr>
-		<tr>
-			<td> 2006-08-09 </td>
-			<td> 0.9.1 </td>
-			<td> 6.1.0 </td>
-		</tr>
-		<tr>
-			<td> 2006-08-26 </td>
-			<td> 0.9.2 </td>
-			<td> 6.2.0 </td>
-		</tr>
-	</table></li>
-	</ul>
-	<h1>Version 6.2.0 (2006-08-26)</h1>
-	<h2>Summary</h2>
-	<p>This release beautifies generated tests, adds checks to find signal width bugs, and includes a new tool.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li><code>put_value()</code> now returns the value it puts. Therefore, it is easier to chain together a series of assignments: <code>foo.intVal = bar.intVal = baz.intVal = 10</code></li>
-	</ul>
-	<ul>
-	<li><code>put_value()</code> now verifies that the value it puts was written correctly. This helps to find bugs regarding invalid assumptions about the number of bits supported by a signal.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>The test generator now uses <span class="caps">ERB</span> templates which ensures nice indentation of generated output.</li>
-	</ul>
-	<ul>
-	<li>The test generator now decouples Ruby-VPI paths from Verilog benches via the <span class="caps">RUBYLIB</span> environment variable.</li>
-	</ul>
-	<ul>
-	<li>A tool which converts Verilog headers into Ruby has been added.</li>
-	</ul>
-	<ul>
-	<li>The source code is now indented with two spaces instead of one tab character.</li>
-	</ul>
-	<h1>Version 6.1.0 (2006-08-09)</h1>
-	<h2>Summary</h2>
-	<p>This release simplifies generated tests and fixes a bug.</p>
-	<h2>Detail</h2>
-	<ul>
-	<li>The test generator now produces simpler Ruby benches and specifications.
-	<ul>
-	<li>A template used by generated specifications has been added.</li>
-		<li>The counter example and tutorial have also been simplified accordingly.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>Boolean <span class="caps">VPI</span> property values are now correctly converted into Ruby truth values.</li>
-	</ul>
-	<h1>Version 6.0.0 (2006-08-07)</h1>
-	<h2>Summary</h2>
-	<p>This release adds support and documentation for rapid prototyping of Verilog designs in Ruby.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li>The directory structure has been reorganized as follows:
-	<ul>
-	<li><code>ext</code> &rarr; <code>src</code></li>
-		<li><code>tools</code> &rarr; <code>bin</code></li>
-		<li><code>examples</code> &rarr; <code>samp</code></li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>All template files have been moved into the <code>tpl</code> directory.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>Support for prototyping designs in Ruby, before they are implemented in Verilog, has been added.
-	<ul>
-	<li>The <em>same</em> specification can be used to verify both prototype <em>and</em> design! :-)</li>
-		<li>The tutorial in the user manual has been updated to discuss prototyping.
-	<ul>
-	<li>Prototypes have been added to the counter example.</li>
-	</ul></li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>The user manual has been revised for consistency.</li>
-	</ul>
-	<h1>Version 5.1.1 (2006-08-04)</h1>
-	<h2>Summary</h2>
-	<p>This release fixes unreadable syntax coloring in the user manual.</p>
-	<h2>Acknowledgment</h2>
-	<ul>
-	<li>Thanks to Todd Nagengast and Matt Fischler for notifying me about unreadable text in the user manual.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>Source code comments in the user manual are now readable.</li>
-	</ul>
-	<ul>
-	<li>The <code>README</code> and <code>HISTORY</code> files have been converted to <a href="http://www.textism.com/tools/textile/">textile</a> format.</li>
-	</ul>
-	<h1>Version 5.1.0 (2006-07-29)</h1>
-	<h2>Summary</h2>
-	<p>This release adds a tutorial to the user manual, and improves the tools and examples.</p>
-	<h2>Acknowledgment</h2>
-	<ul>
-	<li>Thanks to Phil Tomson for correcting the <span class="caps">URL</span> of the <span class="caps">RHDL</span> website, in the user manual.</li>
-	</ul>
-	<h2>Detail</h2>
-	<h3>User manual</h3>
-	<ul>
-	<li>A tutorial, based on the counter example, has been added to the user manual.</li>
-	</ul>
-	<ul>
-	<li>The user manual&#8217;s appearance has been dramatically improved with syntax coloring for source code, and <a href="http://tango.freedesktop.org">graphics for admonitions and navigation</a>.</li>
-	</ul>
-	<h3>Examples</h3>
-	<ul>
-	<li>A specification, expressed in unit test format, has been added to the counter example.</li>
-	</ul>
-	<ul>
-	<li>The <code>--name</code> and <code>-n</code> options, which lets you specify an identifier for a generated test, have been added to the <code>generate_test.rb</code> tool.</li>
-	</ul>
-	<ul>
-	<li>Running <code>rake clobber</code> in an example directory no longer destroys documentation in the Ruby-VPI directory.</li>
-	</ul>
-	<ul>
-	<li>The examples&#8217; Rakefiles now invoke all tests present in the directory via the <code>launcher_template.rake</code> template.</li>
-	</ul>
-	<ul>
-	<li>The Rake template for test runners (generated by <code>tools/generate_test.rb</code>) has moved from <code>examples/template.rake</code> to <code>examples/runner_template.rake</code>.</li>
-	</ul>
-	<h3><span class="caps">VPI</span> utility layer</h3>
-	<ul>
-	<li>The value of a handle&#8217;s boolean <span class="caps">VPI</span> property is treated as <code>false</code> if it is zero, because zero is <code>false</code> in the C language.</li>
-	</ul>
-	<h1>Version 5.0.0 (2006-07-22)</h1>
-	<h2>Summary</h2>
-	<p>This release enhances the <span class="caps">VPI</span> utility layer and adds new content to the user manual.</p>
-	<h2>Acknowledgment</h2>
-	<ul>
-	<li>Thanks to Jan Decaluwe for correcting the description of MyHDL in the user manual.</li>
-	</ul>
-	<h2>Notice</h2>
-	<ul>
-	<li><span class="caps">SWIG</span> is no longer required for users because its output is included in the release package.</li>
-	</ul>
-	<ul>
-	<li>The <code>handle.value</code> and <code>handle.value=</code> methods have been removed.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>The <span class="caps">VPI</span> utility layer provides access to <span class="caps">VPI</span> properties of handles in a <a href="http://ruby-vpi.rubyforge.org/doc/background.organization.html#organization.vpi">simpler, more powerful way</a>.</li>
-	</ul>
-	<ul>
-	<li>All <span class="caps">VPI</span> properties, except delay values, are now accessible from a handle.</li>
-	</ul>
-	<ul>
-	<li>The user manual has been revised and new content in the organization and usage sections has been added.</li>
-	</ul>
-	<ul>
-	<li>This release was tested and developed using:
-	<ul>
-	<li>Ruby 1.8.4 and Icarus Verilog 0.8 on i686 <span class="caps">GNU</span>/Linux</li>
-		<li>Ruby 1.8.4 and Mentor Modelsim 6.1d on x86_64 <span class="caps">GNU</span>/Linux</li>
-	</ul></li>
-	</ul>
-	<h1>Version 4.0.0 (2006-05-25)</h1>
-	<h2>Summary</h2>
-	<p>This release adds a comprehensive user manual, upgrades from make to <a href="http://rake.rubyforge.org">Rake</a>, and improves the test generation tool.</p>
-	<h2>Acknowledgment</h2>
-	<ul>
-	<li>Thanks to Jose Renau for solving the problem of strange delays that occurred whenever a design was reset.</li>
-	</ul>
-	<h2>Notice</h2>
-	<ul>
-	<li>Rake has replaced the role of <strong>make</strong>. All makefiles have been converted accordingly.</li>
-	</ul>
-	<ul>
-	<li>The test generation tool now generates multiple files (runner, bench, design, spec) and makes backups of existing files. See its help information for details.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>A comprehensive user manual, written in DocBook-XML, has been added.</li>
-	</ul>
-	<ul>
-	<li>Support for RSpec 0.5.4 has been added.
-	<ul>
-	<li>The counter example now makes use of RSpec.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>This release was tested and developed using:
-	<ul>
-	<li>Ruby 1.8.4 and Icarus Verilog 0.8 on i686 <span class="caps">GNU</span>/Linux</li>
-		<li>Ruby 1.8.4 and Mentor Modelsim 6.1d on x86_64 <span class="caps">GNU</span>/Linux</li>
-	</ul></li>
-	</ul>
-	<h1>Version 3.2.0 (2006-05-13)</h1>
-	<h2>Summary</h2>
-	<p>This release adds a tool which generates test benches, and adds support for <a href="http://behaviour-driven.org">Behavior Driven Development</a> via the <a href="http://rspec.rubyforge.org">RSpec</a> library.</p>
-	<h2>Acknowledgment</h2>
-	<ul>
-	<li>Thanks to Scott L Holmes for helping me <a href="http://article.gmane.org/gmane.comp.lang.ruby.general/150087">use the RSpec library without its runner</a> program.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>A tool, which generates most of a Ruby-VPI test bench from a Verilog 2001 module declaration, has been added.</li>
-	</ul>
-	<ul>
-	<li>Ability to use RSpec in a test bench has been added.</li>
-	</ul>
-	<ul>
-	<li>Ability to specify arbitrary command-line arguments to Verilog simulators has been added in the examples&#8217; makefile template.</li>
-	</ul>
-	<ul>
-	<li>This release was tested and developed using:
-	<ul>
-	<li>Ruby 1.8.4 and Icarus Verilog 0.8 on i686 <span class="caps">GNU</span>/Linux</li>
-		<li>Ruby 1.8.4 and Mentor Modelsim 6.1d on x86_64 <span class="caps">GNU</span>/Linux</li>
-	</ul></li>
-	</ul>
-	<h1>Version 3.1.0 (2006-04-28)</h1>
-	<h2>Summary</h2>
-	<p>This release adds simple ways of reading and writing values to <span class="caps">VPI</span> handles, adds documentation for the <span class="caps">VPI</span> utility layer, and fixes the pipelined <span class="caps">ALU</span> example.</p>
-	<h2>Notice</h2>
-	<ul>
-	<li>The <strong>msim</strong> Makefile target for Mentor Modelsim has been renamed back to <strong>vsim</strong>.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>Simple, consistent ways of reading and writing values to handles have been added to the <span class="caps">VPI</span> utility layer. These ways are described in the <code>SWIG::TYPE_p_unsigned_int</code> class&#8217; documentation.</li>
-	</ul>
-	<ul>
-	<li>The makefiles now use the <strong>rbconfig</strong> library to determine the default compiler and linker flags for Ruby.</li>
-	</ul>
-	<ul>
-	<li>A race condition in the pipelined <span class="caps">ALU</span> example has been fixed. This example should now run successfully in all Verilog simulators.</li>
-	</ul>
-	<ul>
-	<li>The project wiki has been abandoned in favor of RDoc.</li>
-	</ul>
-	<ul>
-	<li>The project website is now generated by RDoc.</li>
-	</ul>
-	<ul>
-	<li>This release was tested and developed using:
-	<ul>
-	<li>Ruby 1.8.4 and Icarus Verilog 0.8 on i686 <span class="caps">GNU</span>/Linux</li>
-		<li>Ruby 1.8.4 and Mentor Modelsim 6.1d on x86_64 <span class="caps">GNU</span>/Linux</li>
-	</ul></li>
-	</ul>
-	<h1>Version 3.0.0 (2006-04-23)</h1>
-	<h2>Summary</h2>
-	<p>This release adds support for the <em>entire</em> <a href="http://ieeexplore.ieee.org/xpl/standardstoc.jsp?isnumber=33945"><span class="caps">IEEE</span> Std. 1364-2005</a> VPI interface, and updates the examples into unit tests.</p>
-	<h2>Acknowledgment</h2>
-	<ul>
-	<li>Thanks to the <a href="http://www.swig.org/guilty.html"><span class="caps">SWIG</span> developers</a> for making this project <em>much</em> easier! ;-)</li>
-	</ul>
-	<h2>Notice</h2>
-	<ul>
-	<li>The <strong>vsim</strong> Makefile target for Mentor Modelsim has been renamed to <strong>msim</strong>.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>The Ruby interface to <span class="caps">VPI</span> is now generated by <a href="http://www.swig.org"><span class="caps">SWIG</span></a>.
-	<ul>
-	<li>The main <code>VPI</code> module has been renamed to <code>Vpi</code>.</li>
-		<li>The <code>VPI::Handle</code> class has been removed.</li>
-		<li>The <code>VPI::stop</code>, <code>VPI::finish</code>, and <code>VPI::reset</code> methods have been removed.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>The <a href="http://www.boydtechinc.com/ptf/archive/ptf_2005/0737.html"><em>final ballot</em> version</a> of the <code>vpi_user.h</code> header file is now packaged along with and used by Ruby-VPI.</li>
-	</ul>
-	<ul>
-	<li>The <span class="caps">VPI</span> module, its sub-classes, and its functionality have been replaced by the <span class="caps">VPI</span> utility layer (see <code>src/vpi_util.rb</code>).</li>
-	</ul>
-	<ul>
-	<li>The examples now make use of the <strong>test/unit</strong> unit testing framework.</li>
-	</ul>
-	<ul>
-	<li>The makefiles for the examples have been simplified through the use of a common template.</li>
-	</ul>
-	<ul>
-	<li>This release was tested and developed using:
-	<ul>
-	<li>Ruby 1.8.4 and Icarus Verilog 0.8 on i686 <span class="caps">GNU</span>/Linux</li>
-		<li>Ruby 1.8.4 and Mentor Modelsim 6.1d on x86_64 <span class="caps">GNU</span>/Linux</li>
-	</ul></li>
-	</ul>
-	<h1>Version 2.0.0 (2006-04-17)</h1>
-	<h2>Summary</h2>
-	<p>This release fixes major bugs, adds support for Mentor Modelsim, and removes the <code>$ruby_task</code> callback.</p>
-	<h2>Acknowledgment</h2>
-	<ul>
-	<li>Thanks to Nobu Nakada for explaining the <a href="http://article.gmane.org/gmane.comp.lang.ruby.general/146653">cross-thread violation on rb_gc()</a> error.</li>
-	</ul>
-	<h2>Notice</h2>
-	<ul>
-	<li>Removed <code>$ruby_task</code> callback and ability to dynamically register system tasks from Ruby because inter-process communication is complicated at present.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>The <strong>cross-thread violation on rb_gc()</strong> error has been fixed.
-	<ul>
-	<li>The <strong>stack level too deep (SystemStackError)</strong> error has been fixed.</li>
-		<li>The <strong>test/unit</strong> library can be used in Ruby test bench.</li>
-		<li>Mentor Modelsim Verilog simulator works with Ruby-VPI.</li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>Added piplelined <span class="caps">ALU</span> example.</li>
-	</ul>
-	<ul>
-	<li>This release was tested and developed using:
-	<ul>
-	<li>Ruby 1.8.4 and Icarus Verilog 0.8 on i686 <span class="caps">GNU</span>/Linux</li>
-		<li>Ruby 1.8.4 and Modelsim 6.1d on x86_64 <span class="caps">GNU</span>/Linux</li>
-		<li>Ruby 1.8.4 and Synopsys <span class="caps">VCS</span>-MX X-2005.06-SP1 on <span class="caps">SPARC4</span> SunOS 5.10</li>
-	</ul></li>
-	</ul>
-	<h1>Version 1.0.0 (2006-02-26)</h1>
-	<h2>Summary</h2>
-This release adds enough Verilog <span class="caps">VPI</span> functionality to make Ruby-VPI usable for simple test benches:
-	<ul>
-	<li>access Verilog objects through <span class="caps">VPI</span> handles</li>
-		<li>read and change <span class="caps">VPI</span> handle values</li>
-		<li>stop, finish, restart the simulation</li>
-	</ul>
-	<h2>Acknowledgment</h2>
-	<ul>
-	<li>Thanks to Jose Renau for helping me debug how Synopsys <span class="caps">VCS</span> works with Verilog <span class="caps">VPI</span>. The problem was that <span class="caps">VCS</span> required calltf signatures to be <code>void (*)(void)</code>, whereas the Verilog standard defines a calltf signature as <code>PLI_INT32 (*)(PLI_BYTE8*)</code>.</li>
-	</ul>
-	<ul>
-	<li>Thanks to Ross Bamford, Eric Hodel, and Yukihiro Matsumoto for <a href="http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-talk/180662">helping me discover</a> why the <code>SystemStackError</code> was happening.</li>
-	</ul>
-	<h2>Detail</h2>
-	<ul>
-	<li>Implemented some Verilog <span class="caps">VPI</span> functionality:
-	<ul>
-	<li><code>VPI::handle_by_name(string, VPI::Handle)</code> &rarr; <code>VPI::Handle</code></li>
-		<li><code>VPI::handle_by_name(string)</code> &rarr; <code>VPI::Handle</code></li>
-		<li><code>VPI::Handle#put_value(integer)</code></li>
-		<li><code>VPI::Handle#value = integer</code></li>
-		<li><code>VPI::Handle#get_value</code> &rarr; <code>integer</code></li>
-		<li><code>VPI::Handle#value</code> &rarr; <code>integer</code></li>
-		<li><code>VPI::stop</code></li>
-		<li><code>VPI::finish</code></li>
-		<li><code>VPI::reset</code></li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>Implemented some additional functionality:
-	<ul>
-	<li><code>VPI::register_task(string, &#38;proc)</code></li>
-	</ul></li>
-	</ul>
-	<ul>
-	<li>Added ability to pass arbitrary command-line arguments to the Ruby interpreter (using <code>$ruby_init</code>). Now you can invoke any Ruby script you want, instead of <code>pli_init.rb</code>.</li>
-	</ul>
-	<ul>
-	<li>Added ability to dynamically register system tasks from Ruby, using <code>VPI::register_task("task name")</code>, and call them from Verilog, using <code>$ruby_task("task name")</code>.</li>
-	</ul>
-	<ul>
-	<li>Added <code>VPI::Handle</code> class which encapsulates a <code>vpiHandle</code> VPI object.</li>
-	</ul>
-	<ul>
-	<li>This release was tested and developed using:
-	<ul>
-	<li>Ruby 1.8.2 and Icarus Verilog 0.8 on i686 <span class="caps">GNU</span>/Linux</li>
-		<li>Ruby 1.8.4, Synopsys <span class="caps">VCS X</span>-2005.06, and Mentor Modelsim 6.1b on i686 <span class="caps">GNU</span>/Linux</li>
-	</ul></li>
-	</ul>
-	<h1>Version 0.0.0 (1999-10-31)</h1>
-	<h2>Summary</h2>
-	<p>This is Kazuhiro <span class="caps">HIWADA</span>&#8217;s initial testing release of Ruby-VPI. See its <a href="http://www.ruby-talk.org/cgi-bin/scat.rb/ruby/ruby-list/18193">original announcement</a> and <a href="http://easter.kuee.kyoto-u.ac.jp/~hiwada/ruby/memo/src/ruby-vpi-test.tgz">source code</a>.</p>
-	<h2>Detail</h2>
-	<ul>
-	<li>Added ability to relay control from Verilog test bench to Ruby (using <code>$ruby_callback</code>) and vice versa (using <code>PLI::relay_Verilog</code>).</li>
-	</ul>
-	<ul>
-	<li>Tested and developed using Ruby 1.4 and Verilog-XL from Cadence systems, on a <span class="caps">SPARC</span> machine running Solaris 2.6.</li>
-	</ul>