RubyGems - ruby-vpi - Versions diffs - 15.0.2 → 16.0.0 - Mend

ruby-vpi 15.0.2 → 16.0.0

Files changed (208) hide show

data/LICENSE +23 -340
data/Rakefile +169 -192
data/bin/generate_test.rb +26 -25
data/bin/generate_test_tpl/runner.rake +4 -10
data/bin/header_to_ruby.rb +3 -20
data/doc/README +11 -0
data/doc/Rakefile +8 -21
data/doc/common.css +44 -10
data/doc/common.tpl +5 -10
data/doc/history.doc +8 -7
data/doc/history.html +228 -560
data/doc/history.rb +7 -11
data/doc/{history.yml → history.yaml} +325 -128
data/doc/images/{feed-icon.png → feed-icon-28x28.png} +0 -0
data/doc/images/ruby/LICENSE +15 -0
data/doc/images/ruby/logo-reflection.png +0 -0
data/doc/images/ruby/logo-reflection.xcf +0 -0
data/doc/images/ruby/logo.png +0 -0
data/doc/images/{LICENSE → tango/LICENSE} +0 -0
data/doc/images/{caution.png → tango/caution.png} +0 -0
data/doc/images/{caution.svg → tango/caution.svg} +0 -0
data/doc/images/{home.png → tango/home.png} +0 -0
data/doc/images/{home.svg → tango/home.svg} +0 -0
data/doc/images/{important.png → tango/important.png} +0 -0
data/doc/images/{important.svg → tango/important.svg} +0 -0
data/doc/images/{next.png → tango/next.png} +0 -0
data/doc/images/{next.svg → tango/next.svg} +0 -0
data/doc/images/{note.png → tango/note.png} +0 -0
data/doc/images/{note.svg → tango/note.svg} +0 -0
data/doc/images/{prev.png → tango/prev.png} +0 -0
data/doc/images/{prev.svg → tango/prev.svg} +0 -0
data/doc/images/{tip.png → tango/tip.png} +0 -0
data/doc/images/{tip.svg → tango/tip.svg} +0 -0
data/doc/images/{up.png → tango/up.png} +0 -0
data/doc/images/{up.svg → tango/up.svg} +0 -0
data/doc/images/{warning.png → tango/warning.png} +0 -0
data/doc/images/{warning.svg → tango/warning.svg} +0 -0
data/doc/intro.inc +105 -36
data/doc/lib/doc_format.rb +151 -29
data/doc/lib/doc_proxy.rb +28 -69
data/doc/lib/erb_content.rb +10 -22
data/doc/lib/erb_proxy.rb +13 -24
data/doc/manual.doc +16 -60
data/doc/manual.html +257 -340
data/doc/memo.doc +2 -0
data/doc/memo.html +11 -11
data/doc/readme.doc +36 -2
data/doc/readme.html +214 -51
data/doc/rss.erb +3 -3
data/doc/rss.xml +217 -269
data/ext/Rakefile +7 -22
data/ext/common.h +10 -21
data/ext/extconf.rb +5 -0
data/ext/main.c +2 -18
data/ext/main.h +1 -16
data/ext/relay.c +3 -17
data/ext/relay.h +3 -17
data/ext/verilog.h +6 -18
data/ext/vlog.c +3 -21
data/ext/vlog.h +3 -17
data/lib/ruby-vpi/erb.rb +7 -20
data/lib/ruby-vpi/float.rb +6 -20
data/lib/ruby-vpi/integer.rb +27 -47
data/lib/ruby-vpi/rake.rb +4 -19
data/lib/ruby-vpi/rcov.rb +6 -21
data/lib/ruby-vpi/rdoc.rb +3 -21
data/lib/ruby-vpi/runner.rb +28 -29
data/lib/ruby-vpi/runner_proxy.rb +5 -21
data/lib/ruby-vpi/verilog_parser.rb +5 -20
data/lib/ruby-vpi/vpi.rb +420 -376
data/lib/ruby-vpi.rb +26 -32
data/ref/c/annotated.html +1 -1
data/ref/c/common_8h.html +1 -1
data/ref/c/files.html +1 -1
data/ref/c/functions.html +1 -1
data/ref/c/functions_vars.html +1 -1
data/ref/c/globals.html +1 -1
data/ref/c/globals_0x63.html +1 -1
data/ref/c/globals_0x65.html +1 -1
data/ref/c/globals_0x66.html +1 -1
data/ref/c/globals_0x6d.html +1 -1
data/ref/c/globals_0x70.html +1 -1
data/ref/c/globals_0x72.html +1 -1
data/ref/c/globals_0x73.html +1 -1
data/ref/c/globals_0x74.html +1 -1
data/ref/c/globals_0x76.html +1 -1
data/ref/c/globals_0x78.html +1 -1
data/ref/c/globals_defs.html +1 -1
data/ref/c/globals_defs_0x65.html +1 -1
data/ref/c/globals_defs_0x70.html +1 -1
data/ref/c/globals_defs_0x76.html +1 -1
data/ref/c/globals_defs_0x78.html +1 -1
data/ref/c/globals_enum.html +1 -1
data/ref/c/globals_eval.html +1 -1
data/ref/c/globals_func.html +1 -1
data/ref/c/globals_type.html +1 -1
data/ref/c/globals_vars.html +1 -1
data/ref/c/index.html +1 -1
data/ref/c/main_8c.html +1 -1
data/ref/c/main_8h.html +1 -1
data/ref/c/relay_8c.html +1 -1
data/ref/c/relay_8h.html +1 -1
data/ref/c/structt__cb__data.html +1 -1
data/ref/c/structt__vpi__delay.html +1 -1
data/ref/c/structt__vpi__error__info.html +1 -1
data/ref/c/structt__vpi__strengthval.html +1 -1
data/ref/c/structt__vpi__systf__data.html +1 -1
data/ref/c/structt__vpi__time.html +1 -1
data/ref/c/structt__vpi__value.html +1 -1
data/ref/c/structt__vpi__vecval.html +1 -1
data/ref/c/structt__vpi__vlog__info.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 +1 -1
data/ref/ruby/classes/ERB.html +5 -5
data/ref/ruby/classes/ERB.src/{M000026.html → M000024.html} +15 -15
data/ref/ruby/classes/FileUtils.html +10 -10
data/ref/ruby/classes/FileUtils.src/{M000027.html → M000025.html} +4 -4
data/ref/ruby/classes/FileUtils.src/{M000028.html → M000026.html} +4 -4
data/ref/ruby/classes/Float.html +5 -5
data/ref/ruby/classes/Float.src/{M000022.html → M000020.html} +5 -5
data/ref/ruby/classes/Integer.html +20 -56
data/ref/ruby/classes/Integer.src/M000008.html +11 -11
data/ref/ruby/classes/Integer.src/M000009.html +4 -4
data/ref/ruby/classes/Integer.src/M000010.html +4 -4
data/ref/ruby/classes/Integer.src/M000011.html +4 -4
data/ref/ruby/classes/Integer.src/M000012.html +4 -4
data/ref/ruby/classes/Integer.src/M000013.html +4 -4
data/ref/ruby/classes/Integer.src/M000016.html +12 -9
data/ref/ruby/classes/Integer.src/M000017.html +18 -9
data/ref/ruby/classes/Integer.src/M000018.html +12 -12
data/ref/ruby/classes/Integer.src/M000019.html +17 -18
data/ref/ruby/classes/RDoc.src/M000053.html +25 -25
data/ref/ruby/classes/RubyVpi/Config.html +3 -3
data/ref/ruby/classes/RubyVpi.html +11 -5
data/ref/ruby/classes/RubyVpi.src/{M000029.html → M000027.html} +103 -101
data/ref/ruby/classes/String.html +21 -15
data/ref/ruby/classes/String.src/M000021.html +36 -0
data/ref/ruby/classes/String.src/{M000024.html → M000022.html} +24 -24
data/ref/ruby/classes/String.src/M000023.html +5 -23
data/ref/ruby/classes/VerilogParser/Module/Parameter.src/M000007.html +5 -5
data/ref/ruby/classes/VerilogParser/Module/Port.src/M000003.html +7 -7
data/ref/ruby/classes/VerilogParser/Module/Port.src/M000004.html +4 -4
data/ref/ruby/classes/VerilogParser/Module/Port.src/M000005.html +4 -4
data/ref/ruby/classes/VerilogParser/Module/Port.src/M000006.html +4 -4
data/ref/ruby/classes/VerilogParser/Module.src/M000002.html +20 -20
data/ref/ruby/classes/VerilogParser.html +6 -0
data/ref/ruby/classes/VerilogParser.src/M000001.html +20 -20
data/ref/ruby/classes/Vpi/Handle.html +89 -88
data/ref/ruby/classes/Vpi/Handle.src/M000036.html +18 -0
data/ref/ruby/classes/Vpi/Handle.src/M000037.html +5 -5
data/ref/ruby/classes/Vpi/Handle.src/M000038.html +5 -5
data/ref/ruby/classes/Vpi/Handle.src/M000039.html +5 -5
data/ref/ruby/classes/Vpi/Handle.src/M000040.html +8 -5
data/ref/ruby/classes/Vpi/Handle.src/M000041.html +8 -8
data/ref/ruby/classes/Vpi/Handle.src/M000042.html +7 -6
data/ref/ruby/classes/Vpi/Handle.src/M000043.html +31 -9
data/ref/ruby/classes/Vpi/Handle.src/M000044.html +74 -31
data/ref/ruby/classes/Vpi/Handle.src/M000045.html +17 -74
data/ref/ruby/classes/Vpi/Handle.src/M000046.html +11 -17
data/ref/ruby/classes/Vpi/Handle.src/M000048.html +31 -0
data/ref/ruby/classes/Vpi/Handle.src/M000049.html +53 -52
data/ref/ruby/classes/Vpi/S_vpi_time.src/M000050.html +4 -4
data/ref/ruby/classes/Vpi/S_vpi_time.src/M000051.html +5 -5
data/ref/ruby/classes/Vpi/S_vpi_value.html +15 -15
data/ref/ruby/classes/Vpi/S_vpi_value.src/{M000036.html → M000033.html} +5 -5
data/ref/ruby/classes/Vpi/S_vpi_value.src/M000034.html +5 -5
data/ref/ruby/classes/Vpi/S_vpi_value.src/M000035.html +5 -5
data/ref/ruby/classes/Vpi.html +48 -19
data/ref/ruby/classes/Vpi.src/M000028.html +28 -0
data/ref/ruby/classes/Vpi.src/M000029.html +18 -0
data/ref/ruby/classes/Vpi.src/M000030.html +25 -15
data/ref/ruby/classes/Vpi.src/M000031.html +9 -5
data/ref/ruby/classes/Vpi.src/M000032.html +9 -25
data/ref/ruby/created.rid +1 -1
data/ref/ruby/files/bin/generate_test_rb.html +2 -1
data/ref/ruby/files/bin/header_to_ruby_rb.html +1 -1
data/ref/ruby/files/lib/ruby-vpi/erb_rb.html +7 -1
data/ref/ruby/files/lib/ruby-vpi/float_rb.html +7 -1
data/ref/ruby/files/lib/ruby-vpi/integer_rb.html +7 -1
data/ref/ruby/files/lib/ruby-vpi/rake_rb.html +7 -1
data/ref/ruby/files/lib/ruby-vpi/rcov_rb.html +7 -1
data/ref/ruby/files/lib/ruby-vpi/rdoc_rb.html +1 -1
data/ref/ruby/files/lib/ruby-vpi/runner_proxy_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/files/lib/ruby-vpi/vpi_rb.html +1 -1
data/ref/ruby/files/lib/ruby-vpi_rb.html +7 -1
data/ref/ruby/fr_method_index.html +34 -34
data/samp/counter/counter_rspec_runner.rake +4 -0
data/samp/counter/counter_xunit_runner.rake +4 -0
data/samp/pipelined_alu/Hw5UnitModel.rb +3 -19
data/samp/pipelined_alu/README +38 -13
data/samp/pipelined_alu/TestHw5UnitModel.rb +9 -20
data/samp/pipelined_alu/hw5_unit.v +1 -16
data/samp/pipelined_alu/hw5_unit_test_runner.rake +4 -0
data/samp/pipelined_alu/hw5_unit_test_spec.rb +3 -20
data/samp/pipelined_alu/int_gen.rb +6 -20
metadata +47 -43
data/doc/LICENSE +0 -397
data/doc/images/feed-icon.LICENSE +0 -2
data/doc/images/feed-icon.svg +0 -18
data/ref/ruby/classes/Integer.src/M000020.html +0 -25
data/ref/ruby/classes/Integer.src/M000021.html +0 -30
data/ref/ruby/classes/String.src/M000025.html +0 -18
data/ref/ruby/classes/Vpi/Handle.src/M000047.html +0 -24
data/ref/ruby/classes/Vpi.src/M000033.html +0 -22

data/doc/manual.html CHANGED Viewed

@@ -8,10 +8,9 @@
     <title>Ruby-VPI user manual</title>
   </head>
   <body>
+      <h1 style="margin-top: 0">Ruby-VPI user manual</h1>
-      <br/><br/> <!-- give space below #menu -->
-    <p style="text-align:center;"><a href="readme.html"><img src="images/home.png" title="Return to main page" alt="Return to main page" /></a></p>
+    <p style="text-align:center;"><a href="readme.html"><img src="images/tango/home.png" title="Return to main page" alt="Return to main page" /></a></p>
     <div id="menu">
       <a href="#index">Contents</a> &middot; <a href="#figures">Figures</a> &middot; <a href="#tables">Tables</a> &middot; <a href="#examples">Examples</a> &middot; <a href="#tips">Tips</a> &middot; <a href="#notes">Notes</a> &middot; <a href="#importants">Importants</a>
@@ -19,147 +18,7 @@
     <div id="index">
       <h1>Contents</h1>
-      <ul>
-	<li>1 <a href="#anchor4">Ruby-VPI user manual</a>
-	<ul>
-	<li>1.1 <a href="#terms">Terms</a></li>
-	</ul>
-	</li>
-		<li>2 <a href="#intro">Introduction</a>
-	<ul>
-	<li>2.1 <a href="#intro.features">Prominent features</a>
-	<ul>
-	<li>2.1.1 <a href="#anchor5">Portable</a></li>
-		<li>2.1.2 <a href="#anchor6">Agile</a></li>
-		<li>2.1.3 <a href="#anchor7">Powerful</a></li>
-		<li>2.1.4 <a href="#anchor8">Free</a></li>
-	</ul>
-	</li>
-		<li>2.2 <a href="#intro.applications">Applications</a></li>
-		<li>2.3 <a href="#intro.appetizers">Appetizers</a></li>
-		<li>2.4 <a href="#intro.license">License</a></li>
-		<li>2.5 <a href="#intro.related-works">Related works</a>
-	<ul>
-	<li>2.5.1 <a href="#intro.related-works.pli">Ye olde <span class="caps">PLI</span></a></li>
-	</ul>
-	</li>
-	</ul>
-	</li>
-		<li>3 <a href="#background">Background</a>
-	<ul>
-	<li>3.1 <a href="#background.methodology">Methodology</a></li>
-		<li>3.2 <a href="#background.vocab">Terminology</a></li>
-		<li>3.3 <a href="#background.org">Organization</a></li>
-		<li>3.4 <a href="#background.relay">Ruby/Verilog interaction</a></li>
-	</ul>
-	</li>
-		<li>4 <a href="#setup">Setup</a>
-	<ul>
-	<li>4.1 <a href="#setup.manifest">Manifest</a></li>
-		<li>4.2 <a href="#setup.reqs">Requirements</a></li>
-		<li>4.3 <a href="#setup.recom">Recommendations</a>
-	<ul>
-	<li>4.3.1 <a href="#setup.recom.merger">Text merging tool</a></li>
-	</ul>
-	</li>
-		<li>4.4 <a href="#setup.installation">Installation</a>
-	<ul>
-	<li>4.4.1 <a href="#setup.installation.windows">Installing on Windows</a></li>
-	</ul>
-	</li>
-		<li>4.5 <a href="#setup.maintenance">Maintenance</a></li>
-	</ul>
-	</li>
-		<li>5 <a href="#usage">Usage</a>
-	<ul>
-	<li>5.1 <a href="#usage.vpi"><span class="caps">VPI</span> in Ruby</a>
-	<ul>
-	<li>5.1.1 <a href="#usage.vpi.handles">Handles</a>
-	<ul>
-	<li>5.1.1.1 <a href="#anchor9">Accessing a handle&#8217;s relatives</a></li>
-		<li>5.1.1.2 <a href="#anchor10">Accessing a handle&#8217;s properties</a></li>
-	</ul>
-	</li>
-		<li>5.1.2 <a href="#usage.vpi.callbacks">Callbacks</a></li>
-	</ul>
-	</li>
-		<li>5.2 <a href="#usage.prototyping">Prototyping</a></li>
-		<li>5.3 <a href="#usage.debugger">Debugging</a>
-	<ul>
-	<li>5.3.1 <a href="#usage.debugger.init">Advanced initialization</a></li>
-	</ul>
-	</li>
-		<li>5.4 <a href="#usage.test-runner">Test runner</a>
-	<ul>
-	<li>5.4.1 <a href="#usage.test-runner.env-vars">Environment variables</a></li>
-	</ul>
-	</li>
-		<li>5.5 <a href="#usage.examples">Sample tests</a></li>
-		<li>5.6 <a href="#usage.tools">Tools</a>
-	<ul>
-	<li>5.6.1 <a href="#usage.tools.generate-test">Automated test generation</a></li>
-		<li>5.6.2 <a href="#usage.tools.verilog-ruby-conv">Verilog to Ruby conversion</a></li>
-	</ul>
-	</li>
-		<li>5.7 <a href="#usage.tutorial">Tutorial</a>
-	<ul>
-	<li>5.7.1 <a href="#usage.tutorial.declare-design">Start with a design</a></li>
-		<li>5.7.2 <a href="#usage.tutorial.generate-test">Generate a test</a></li>
-		<li>5.7.3 <a href="#usage.tutorial.specification">Specify your expectations</a></li>
-		<li>5.7.4 <a href="#usage.tutorial.implement-proto">Implement the prototype</a></li>
-		<li>5.7.5 <a href="#usage.tutorial.test-proto">Verify the prototype</a></li>
-		<li>5.7.6 <a href="#usage.tutorial.implement-design">Implement the design</a></li>
-		<li>5.7.7 <a href="#usage.tutorial.test-design">Verify the design</a></li>
-	</ul>
-	</li>
-	</ul>
-	</li>
-		<li>6 <a href="#hacking">Hacking</a>
-	<ul>
-	<li>6.1 <a href="#hacking.release-packages">Building release packages</a></li>
-	</ul>
-	</li>
-		<li>7 <a href="#problems">Known problems</a>
-	<ul>
-	<li>7.1 <a href="#problems.ruby">Ruby</a>
-	<ul>
-	<li>7.1.1 <a href="#problems.ruby.SystemStackError">SystemStackError</a></li>
-		<li>7.1.2 <a href="#problems.ruby.xUnit">test/unit</a></li>
-	</ul>
-	</li>
-		<li>7.2 <a href="#problem.ivl">Icarus Verilog</a>
-	<ul>
-	<li>7.2.1 <a href="#problems.ivl.vpi_handle_by_name">Vpi::vpi_handle_by_name</a>
-	<ul>
-	<li>7.2.1.1 <a href="#problems.ivl.vpi_handle_by_name.absolute-paths">Give full paths to Verilog objects</a></li>
-		<li>7.2.1.2 <a href="#problems.ivl.vpi_handle_by_name.connect-registers">Registers must be connected</a></li>
-	</ul>
-	</li>
-		<li>7.2.2 <a href="#problems.ivl.vpi_reset">Vpi::reset</a></li>
-	</ul>
-	</li>
-		<li>7.3 <a href="#problems.vsim">Mentor Modelsim</a>
-	<ul>
-	<li>7.3.1 <a href="#problems.vsim.ruby_run">ruby_run();</a></li>
-	</ul>
-	</li>
-	</ul>
-	</li>
-		<li>8 <a href="#glossary">Glossary</a>
-	<ul>
-	<li>8.1 <a href="#glossary.bench">Bench</a></li>
-		<li>8.2 <a href="#glossary.BDD" title="BDD">Behavior driven development</a></li>
-		<li>8.3 <a href="#glossary.design">Design</a></li>
-		<li>8.4 <a href="#glossary.expectation">Expectation</a></li>
-		<li>8.5 <a href="#glossary.handle">Handle</a></li>
-		<li>8.6 <a href="#glossary.rake">Rake</a></li>
-		<li>8.7 <a href="#glossary.rspec">rSpec</a></li>
-		<li>8.8 <a href="#glossary.specification">Specification</a></li>
-		<li>8.9 <a href="#glossary.TDD" title="TDD">Test driven development</a></li>
-		<li>9.0 <a href="#glossary.test">Test</a></li>
-		<li>9.1 <a href="#glossary.test_bench">Test bench</a></li>
-	</ul></li>
-	</ul>
+      <ul><li><a id="a-606992228" href="#Ruby-VPI_user_manual">Ruby-VPI user manual</a><ul><li><a id="a-606993518" href="#legal">Legalities</a></li></ul></li><li><a id="a-606994448" href="#intro">Introduction</a><ul><li><a id="a-606995298" href="#Resources">Resources</a></li><li><a id="a-606996238" href="#intro.features">Features</a></li><li><a id="a-606997278" href="#intro.reqs">Requirements</a></li><li><a id="a-606998228" href="#intro.applications">Applications</a></li><li><a id="a-606999338" href="#intro.appetizers">Appetizers</a></li><li><a id="a-607000438" href="#intro.license">License</a></li><li><a id="a-606014748" href="#intro.related-works">Related works</a><ul><li><a id="a-606035648" href="#intro.related-works.pli">Ye olde <span class="caps">PLI</span></a></li></ul></li></ul></li><li><a id="a-606053288" href="#background">Background</a><ul><li><a id="a-606069898" href="#background.methodology">Methodology</a></li><li><a id="a-606106808" href="#background.vocab">Terminology</a></li><li><a id="a-606127698" href="#background.org">Organization</a></li><li><a id="a-606150238" href="#background.relay">Ruby/Verilog interaction</a></li></ul></li><li><a id="a-606180548" href="#setup">Setup</a><ul><li><a id="a-606192588" href="#setup.manifest">Manifest</a></li><li><a id="a-606206048" href="#setup.reqs">Requirements</a></li><li><a id="a-606213438" href="#setup.recom">Recommendations</a><ul><li><a id="a-606235588" href="#setup.recom.merger">Text merging tool</a></li></ul></li><li><a id="a-606251368" href="#setup.installation">Installation</a><ul><li><a id="a-606273678" href="#setup.installation.windows">Installing on Windows</a></li></ul></li><li><a id="a-606278328" href="#setup.maintenance">Maintenance</a></li></ul></li><li><a id="a-606285848" href="#usage">Usage</a><ul><li><a id="a-606290248" href="#usage.vpi"><span class="caps">VPI</span> in Ruby</a><ul><li><a id="a-606294778" href="#usage.vpi.handles">Handles</a><ul><li><a id="a-606297428" href="#Accessing_a_handle__8217_s_relatives">Accessing a handle&#8217;s relatives</a></li><li><a id="a-606305088" href="#Accessing_a_handle__8217_s_properties">Accessing a handle&#8217;s properties</a></li></ul></li><li><a id="a-605776528" href="#usage.vpi.callbacks">Callbacks</a></li></ul></li><li><a id="a-605820298" href="#usage.prototyping">Prototyping</a></li><li><a id="a-605856998" href="#usage.debugger">Debugging</a><ul><li><a id="a-605861038" href="#usage.debugger.init">Advanced initialization</a></li></ul></li><li><a id="a-605886638" href="#usage.test-runner">Test runner</a><ul><li><a id="a-605692898" href="#usage.test-runner.env-vars">Environment variables</a></li></ul></li><li><a id="a-605713518" href="#usage.examples">Sample tests</a></li><li><a id="a-605735618" href="#usage.tools">Tools</a><ul><li><a id="a-606420358" href="#usage.tools.generate-test">Automated test generation</a></li><li><a id="a-606426458" href="#usage.tools.verilog-ruby-conv">Verilog to Ruby conversion</a></li></ul></li><li><a id="a-606430138" href="#usage.tutorial">Tutorial</a><ul><li><a id="a-606439718" href="#usage.tutorial.declare-design">Start with a design</a></li><li><a id="a-606447618" href="#usage.tutorial.generate-test">Generate a test</a></li><li><a id="a-606455858" href="#usage.tutorial.specification">Specify your expectations</a></li><li><a id="a-606466508" href="#usage.tutorial.implement-proto">Implement the prototype</a></li><li><a id="a-606469388" href="#usage.tutorial.test-proto">Verify the prototype</a></li><li><a id="a-606472858" href="#usage.tutorial.implement-design">Implement the design</a></li><li><a id="a-606480598" href="#usage.tutorial.test-design">Verify the design</a></li></ul></li></ul></li><li><a id="a-606487878" href="#hacking">Hacking</a><ul><li><a id="a-606495208" href="#hacking.scm">Getting the source code</a></li><li><a id="a-606502868" href="#hacking.release-packages">Building release packages</a></li></ul></li><li><a id="a-606510668" href="#problems">Known problems</a><ul><li><a id="a-606514648" href="#problems.ruby">Ruby</a><ul><li><a id="a-606529698" href="#problems.ruby.SystemStackError">SystemStackError</a></li><li><a id="a-606545738" href="#problems.ruby.xUnit">test/unit</a></li></ul></li><li><a id="a-606557578" href="#problem.ivl">Icarus Verilog</a><ul><li><a id="a-606563378" href="#problems.ivl.vpi_handle_by_name">Vpi::vpi_handle_by_name</a><ul><li><a id="a-606577748" href="#problems.ivl.vpi_handle_by_name.absolute-paths">Give full paths to Verilog objects</a></li><li><a id="a-606588618" href="#problems.ivl.vpi_handle_by_name.connect-registers">Registers must be connected</a></li></ul></li><li><a id="a-606593458" href="#problems.ivl.vpi_reset">Vpi::reset</a></li></ul></li><li><a id="a-606596948" href="#problems.vsim">Mentor Modelsim</a><ul><li><a id="a-606600738" href="#problems.vsim.ruby_run">ruby_run();</a></li></ul></li></ul></li><li><a id="a-606604778" href="#glossary">Glossary</a><ul><li><a id="a-606606678" href="#glossary.bench">Bench</a></li><li><a id="a-606613558" href="#glossary.BDD">Behavior driven development (BDD)</a></li><li><a id="a-606620958" href="#glossary.design">Design</a></li><li><a id="a-606623008" href="#glossary.expectation">Expectation</a></li><li><a id="a-606624858" href="#glossary.handle">Handle</a></li><li><a id="a-606628418" href="#glossary.rake">Rake</a></li><li><a id="a-606630878" href="#glossary.rspec">rSpec</a></li><li><a id="a-606636388" href="#glossary.specification">Specification</a></li><li><a id="a-606640878" href="#glossary.TDD">Test driven development (TDD)</a></li><li><a id="a-606643148" href="#glossary.test">Test</a></li><li><a id="a-606646838" href="#glossary.test_bench">Test bench</a></li></ul></li></ul>
               <h1>Formals</h1>
@@ -223,10 +82,10 @@
 		<li><a href="#important4">Before we continue&#8230;</a></li>
 	</ol>
                   </div>
-      <h1 id="anchor4">1 &nbsp; Ruby-VPI user manual</h1>
+      <h1><a id="Ruby-VPI_user_manual" href="#a-606992228">1</a> &nbsp; Ruby-VPI user manual</h1>
-	<p>This manual was last updated on Mon Jan 22 16:30:33 <span class="caps">PST 2007</span>.</p>
+	<p>This manual was last updated on Wed May 02 23:05:05 <span class="caps">PDT 2007</span>.</p>
 	<p>It is meant to be read in conjunction with the <a href="../ref/ruby/index.html">reference documentation for Ruby-VPI</a>. In addition, if you are new to <a href="http://www.ruby-lang.org">the Ruby language</a>, you are encouraged to <a href="http://www.ruby-lang.org/en/documentation/">explore its documentation</a> alongside this manual.</p>
@@ -238,22 +97,53 @@
 	<p><em>Happy reading!</em></p>
-	<h2 id="terms">1.1 &nbsp; Terms</h2>
+	<h2 ><a id="legal" href="#a-606993518">1.1</a> &nbsp; Legalities</h2>
+	<p>This manual is distributed under <a href="#intro.license">the same license as Ruby-VPI</a>.</p>
-	<p>Copyright&#169; 2006, 2007 Suraj N. Kurapati.</p>
+	<p>The admonition and navigation graphics used in this manual are Copyright&#169; 2005, 2006 <a href="http://tango.freedesktop.org">Tango Desktop Project</a> and are licensed under <a href="./images/tango/LICENSE">these terms</a>.</p>
-	<p>Permission is granted to copy, distribute and/or modify this document under the terms of the <a href="http://www.gnu.org/copyleft/fdl.html"><span class="caps">GNU</span> Free Documentation License</a>, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover Texts.  A copy of the license is included in the the file named <a href="./LICENSE"><span class="caps">LICENSE</span></a>.</p>
+	<h1 ><a id="intro" href="#a-606994448">2</a> &nbsp; Introduction</h1>
-	<p>The admonition and navigation graphics used in this manual are Copyright&#169; 2005, 2006 <a href="http://tango.freedesktop.org">Tango Desktop Project</a> and are licensed under <a href="./images/LICENSE">these terms</a>.</p>
+	<p>Ruby-VPI is a platform for unit testing, rapid prototyping, and systems integration of Verilog modules through the <a href="http://www.ruby-lang.org">Ruby programming language</a>. It lets you:</p>
-	<h1 id="intro">2 &nbsp; Introduction</h1>
+	<ul>
+	<li>Access the <em>entire</em> <a href="http://ieeexplore.ieee.org/xpl/standardstoc.jsp?isnumber=33945"><span class="caps">IEEE 1364</span>-2005 Verilog <span class="caps">VPI</span></a> interface from Ruby.</li>
+		<li>Create complex Verilog test benches easily and wholly in Ruby.</li>
+		<li>Apply agile software development practices to develop hardware.</li>
+		<li>Perform <a href="http://ruby-vpi.rubyforge.org/papers/masters_thesis.html">specification-driven functional verification</a> (<a href="http://ruby-vpi.rubyforge.org/papers/masters_thesis.pdf"><span class="caps">PDF</span> version</a>).</li>
+	</ul>
+	<p>Ruby-VPI is <a href="http://en.wikipedia.org/wiki/Open_source_software">open source software</a> released under <a href="#intro.license">this license</a>.</p>
-	<p>Ruby-VPI is a <a href="http://www.ruby-lang.org">Ruby</a> interface to <a href="http://ieeexplore.ieee.org/xpl/standardstoc.jsp?isnumber=33945"><span class="caps">IEEE 1364</span>-2005 Verilog <span class="caps">VPI</span></a>. It lets you create complex Verilog test benches easily and wholly in Ruby.</p>
+<div id="resources">
+	<h2><a id="Resources" href="#a-606995298">2.1</a> &nbsp; Resources</h2>
+	<p class="title">Records</p>
+	<p><a type="application/rss+xml" href="http://ruby-vpi.rubyforge.org/doc/rss.xml"><img src="images/feed-icon-28x28.png" alt="RSS feed for release notifications" style="float: right"/></a></p>
+	<ul>
+	<li><a href="history.html">What&#8217;s new?</a>
+  &#8211; a record of all release notes.</li>
+		<li><a href="memo.html">Plans</a>
+  &#8211; pending tasks for future releases.</li>
+		<li><a href="http://ruby-vpi.rubyforge.org/talks/">Talks</a>
+  &#8211; materials from presentations and seminars.</li>
+		<li><a href="http://ruby-vpi.rubyforge.org/papers/">Papers</a>
+  &#8211; research publications.</li>
+	</ul>
 	<p class="title">Documentation</p>
@@ -269,71 +159,43 @@
 	</ul>
-	<p class="title">Records</p>
-	<ul>
-	<li><a type="application/rss+xml" href="http://ruby-vpi.rubyforge.org/doc/rss.xml"><img src="images/feed-icon.png" title="RSS feed icon" alt="RSS feed icon" /> RSS feed</a>
-  &#8211; keep track of new releases at your leisure.</li>
-		<li><a href="history.html">Release history</a>
-  &#8211; record of all release notes.</li>
-		<li><a href="memo.html">Memorandum</a>
-  &#8211; pending tasks for future releases.</li>
-	</ul>
 	<p class="title">Facilities</p>
 	<ul>
-	<li><a href="http://rubyforge.org/projects/ruby-vpi">Project portal</a>
-  &#8211; hosted generously by <a href="http://rubyforge.org">RubyForge</a>.</li>
-		<li><a href="http://ruby-vpi.rubyforge.org/src/ruby-vpi">Source code</a>
-  &#8211; browse online or obtain through <a href="http://abridgegame.org/darcs/">Darcs</a>.</li>
-		<li><a href="http://rubyforge.org/frs/?group_id=1339">Downloads</a>
+	<li><a href="http://rubyforge.org/frs/?group_id=1339">Downloads</a>
   &#8211; obtain release packages.</li>
+		<li><a href="http://ruby-vpi.rubyforge.org/src/ruby-vpi">Source code</a>
+  &#8211; browse online or obtain with <a href="http://darcs.net">Darcs</a>.</li>
+		<li><a href="http://rubyforge.org/forum/?group_id=1339">Forums</a>
+  &#8211; discuss things and ask questions.</li>
 		<li><a href="http://rubyforge.org/tracker/?group_id=1339">Bugs</a>
   &#8211; report defects in the software.</li>
 		<li><a href="http://rubyforge.org/tracker/?group_id=1339">Patches</a>
   &#8211; submit patches to source code.</li>
 		<li><a href="http://rubyforge.org/tracker/?group_id=1339">Requests</a>
   &#8211; request new features or get support.</li>
-		<li><a href="http://rubyforge.org/forum/?group_id=1339">Forums</a>
-  &#8211; discuss things and ask questions.</li>
+		<li><a href="http://rubyforge.org/projects/ruby-vpi">Project portal</a>
+  &#8211; hosted generously by <a href="http://rubyforge.org">RubyForge</a>.</li>
 	</ul>
-	<p class="title">Outreach</p>
-	<ul>
-	<li><a href="http://ruby-vpi.rubyforge.org/news">News</a>
-  &#8211; see what&#8217;s cooking for the next release.</li>
-		<li><a href="http://ruby-vpi.rubyforge.org/talks">Talks</a>
-  &#8211; materials from presentations and seminars.</li>
-	</ul>
+</div>
-	<h2 id="intro.features">2.1 &nbsp; Prominent features</h2>
+	<h2 ><a id="intro.features" href="#a-606996238">2.2</a> &nbsp; Features</h2>
-	<h3 id="anchor5">2.1.1 &nbsp; Portable</h3>
+	<p class="title">Portable</p>
 	<ul>
-	<li>Supports 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 standard.</li>
+	<li>Supports the <em>entire</em> <a href="http://ieeexplore.ieee.org/xpl/standardstoc.jsp?isnumber=33945"><span class="caps">IEEE 1364</span>-2005 Verilog <span class="caps">VPI</span></a> standard.</li>
+		<li>Works with all <a href="#intro.reqs">major Verilog simulators</a> available today.</li>
+		<li>Compiled <em>just once</em> during <a href="manual.html#setup.installation">installation</a> and used forever!</li>
 	</ul>
-	<ul>
-	<li>Works with all <a href="manual.html#setup.reqs">major Verilog simulators</a> available today.
-	<ul>
-	<li>Compiled <em>just once</em> during <a href="manual.html#setup.installation">installation</a> and used forever!</li>
-	</ul></li>
-	</ul>
-	<h3 id="anchor6">2.1.2 &nbsp; Agile</h3>
+	<p class="title">Agile</p>
 	<ul>
@@ -356,7 +218,7 @@
 	</ul>
-	<h3 id="anchor7">2.1.3 &nbsp; Powerful</h3>
+	<p class="title">Powerful</p>
 	<ul>
@@ -377,18 +239,88 @@
 	</ul>
-	<h3 id="anchor8">2.1.4 &nbsp; Free</h3>
+	<h2 ><a id="intro.reqs" href="#a-606997278">2.3</a> &nbsp; Requirements</h2>
+	<p>The following software is necessary in order to use Ruby-VPI.</p>
+	<p class="title">Verilog simulator</p>
+	<p>Ruby-VPI is known to work with the following simulators. However, you should be able to use it with any Verilog simulator that supports <span class="caps">VPI</span>.</p>
 	<ul>
-	<li>Gives you the <em>freedom</em> to study, modify, and distribute this software, in accordance with the <a href="http://www.gnu.org/copyleft/gpl.html"><span class="caps">GNU</span> General Public License</a>.</li>
+	<li><a href="http://www.synopsys.com/products/simulation/simulation.html">Synopsys <span class="caps">VCS</span></a>
+ &#8211; any version that supports the <tt>-load</tt> option is acceptable.</li>
 	</ul>
-	<h2 id="intro.applications">2.2 &nbsp; Applications</h2>
+	<ul>
+	<li><a href="http://www.model.com">Mentor Modelsim</a>
+ &#8211; any version that supports the <tt>-pli</tt> option is acceptable.</li>
+	</ul>
+	<ul>
+	<li><a href="http://www.cadence.com/products/functional_ver/nc-verilog/">Cadence NC-Sim / NC-Verilog</a>
+ &#8211; any version that supports the <tt>+loadvpi</tt> option is acceptable.</li>
+	</ul>
+	<ul>
+	<li><a href="http://www.pragmatic-c.com/gpl-cver/"><span class="caps">GPL</span> Cver</a>
+ &#8211; version 2.11a or newer is acceptable.</li>
+	</ul>
+	<ul>
+	<li><a href="http://www.icarus.com/eda/Verilog/">Icarus Verilog</a>
+  &#8211; version 0.8 is <em>mostly</em> acceptable&#8212;you <strong>will not</strong> be able to <a href="manual.html#background.org.vpi.util">access child handles through method calls</a>. The reason for this limitation is explained <a href="#problems.ivl.vpi_handle_by_name.absolute-paths">in the user manual</a>.</li>
+	</ul>
+	<p class="title">Compilers</p>
+	<ul>
+	<li><a href="http://en.wikipedia.org/wiki/Make">make</a>
+  &#8211; any flavor should be acceptable.</li>
+	</ul>
+	<ul>
+	<li>C compiler
+  &#8211; the <a href="http://www.gnu.org/software/gcc/" title="GCC"><span class="caps">GNU</span> Compiler Collection</a> is preferred, but any C compiler should be acceptable.</li>
+	</ul>
+	<ul>
+	<li><a href="http://www.ruby-lang.org">Ruby</a>
+  &#8211; version 1.8 or newer, including header and linkable object files for building extensions, is necessary. You can install Ruby by following <a href="http://www.rubygarden.org/faq/section/show/3">these instructions</a>.</li>
+	</ul>
-	<p>Here is a modest sampling of tasks that Ruby-VPI can be used to perform.</p>
+	<p class="title">Libraries</p>
+	<ul>
+	<li><a href="http://en.wikipedia.org/wiki/Pthreads" title="pthreads"><span class="caps">POSIX</span> threads</a>
+  &#8211; header and linkable object files, and operating system support for this library are necessary.</li>
+	</ul>
+	<ul>
+	<li><a href="http://rubyforge.org/frs/?group_id=126">RubyGems</a>
+  &#8211; any recent version should be acceptable. You can install RubyGems by following <a href="http://www.rubygems.org/read/chapter/3">these instructions</a>.</li>
+	</ul>
+	<h2 ><a id="intro.applications" href="#a-606998228">2.4</a> &nbsp; Applications</h2>
+	<p>Examples of tasks that can be performed with Ruby-VPI are:</p>
 	<ul>
@@ -419,10 +351,10 @@
 	</ul>
-	<h2 id="intro.appetizers">2.3 &nbsp; Appetizers</h2>
+	<h2 ><a id="intro.appetizers" href="#a-606999338">2.5</a> &nbsp; Appetizers</h2>
-	<p>Here is a modest sampling of code to whet your appetite.</p>
+	<p>Here is a tiny sampling of code to whet your appetite. See <a href="manual.html#usage.tutorial">the tutorial</a> for more samples.</p>
 	<ul>
@@ -465,13 +397,38 @@
 	</blockquote>
-	<h2 id="intro.license">2.4 &nbsp; License</h2>
+	<h2 ><a id="intro.license" href="#a-607000438">2.6</a> &nbsp; License</h2>
+	<p>Copyright&#169; 2006-2007 Suraj N. Kurapati</p>
-	<p>Ruby-VPI is <a href="http://en.wikipedia.org/wiki/Free_software">free software</a> ; you can redistribute it and/or modify it under the terms of the <a href="http://www.gnu.org/copyleft/gpl.html"><span class="caps">GNU</span> General Public License</a> as published by the <a href="http://www.fsf.org">Free Software Foundation</a> ; either version 2 of the License, or (at your option) any later version.</p>
+	<p>Permission is hereby granted, free of charge, to any person obtaining a
+copy of this software and associated documentation files (the &#8220;Software&#8221;),
+to deal in the Software without restriction, including without limitation the
+rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
+sell copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:</p>
-	<h2 id="intro.related-works">2.5 &nbsp; Related works</h2>
+	<p>All copies and portions of the Software (together the &#8220;Derivatives&#8221;) and
+their corresponding machine-readable source code (the &#8220;Code&#8221;) must include the
+above copyright notice and this permission notice.  The Code must reflect all
+modifications made to the Derivatives.  The Derivatives must be distributed
+either with the Code or, if the Code is obtainable for no more than the cost
+of distribution plus a nominal fee, with information on how to obtain the Code.</p>
+	<p><span class="caps">THE SOFTWARE IS PROVIDED</span> &#8220;AS IS&#8221;, <span class="caps">WITHOUT WARRANTY OF ANY KIND</span>, EXPRESS OR
+<span class="caps">IMPLIED</span>, INCLUDING <span class="caps">BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY</span>,
+<span class="caps">FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT</span>.  <span class="caps">IN NO EVENT SHALL</span>
+<span class="caps">THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM</span>, DAMAGES <span class="caps">OR OTHER</span>
+<span class="caps">LIABILITY</span>, WHETHER <span class="caps">IN AN ACTION OF CONTRACT</span>, TORT <span class="caps">OR OTHERWISE</span>, ARISING <span class="caps">FROM</span>,
+<span class="caps">OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN</span>
+<span class="caps">THE SOFTWARE</span>.</p>
+	<h2 ><a id="intro.related-works" href="#a-606014748">2.7</a> &nbsp; Related works</h2>
 	<ul>
@@ -483,7 +440,7 @@
 	</ul>
-	<h3 id="intro.related-works.pli">2.5.1 &nbsp; Ye olde <span class="caps">PLI</span></h3>
+	<h3 ><a id="intro.related-works.pli" href="#a-606035648">2.7.1</a> &nbsp; Ye olde <span class="caps">PLI</span></h3>
 	<p>The following projects utilize the archaic <strong>tf</strong> and <strong>acc</strong> PLI interfaces, which have been officially deprecated in <span class="caps">IEEE</span> Std 1364-2005.</p>
@@ -496,23 +453,23 @@
 	</ul>
-	<h1 id="background">3 &nbsp; Background</h1>
+	<h1 ><a id="background" href="#a-606053288">3</a> &nbsp; Background</h1>
-	<h2 id="background.methodology">3.1 &nbsp; Methodology</h2>
+	<h2 ><a id="background.methodology" href="#a-606069898">3.1</a> &nbsp; Methodology</h2>
 	<p>Ruby-VPI presents an open-ended interface to <span class="caps">VPI</span>. Thus, you can use any methodology you wish when writing tests. However, being an agile language, Ruby makes it <em>very</em> easy to use agile development practies such as <a href="#glossary.TDD"><span class="caps">TDD</span></a> and <a href="#glossary.BDD"><span class="caps">BDD</span></a>.</p>
-	<h2 id="background.vocab">3.2 &nbsp; Terminology</h2>
+	<h2 ><a id="background.vocab" href="#a-606106808">3.2</a> &nbsp; Terminology</h2>
 <div class="admonition">
 <div class="note" id="note1">
-	<p style="float:left"><img src="images/note.png" title="note" alt="note" /></p>
+	<p style="float:left"><img src="images/tango/note.png" title="note" alt="note" /></p>
 	<p class="title">Note: Glossary has definitions</p>
@@ -537,7 +494,7 @@
 	<p>Alright, now I remember what a laboratory bench is, but how does that compare with the term test bench? Surely they cannot have the same meaning, because it doesn&#8217;t make sense to <em>run</em> a laboratory bench or to <em>write</em> one. Thus, to avoid propagating such confusion into this manual, I have attempted to clarify the terminology by <a href="#glossary">simplifying and reintroducing it in a new light</a>.</p>
-	<h2 id="background.org">3.3 &nbsp; Organization</h2>
+	<h2 ><a id="background.org" href="#a-606127698">3.3</a> &nbsp; Organization</h2>
 <div class="formal">
@@ -580,7 +537,7 @@
 	<p>Notice that Ruby-VPI encapsulates all communication between the Ruby interpreter and <span class="caps">VPI</span>. This allows the specification, or any Ruby program in general, to access <span class="caps">VPI</span> using nothing more than the Ruby language! Thus, Ruby-VPI removes the burden of having to write C programs in order to use <span class="caps">VPI</span>.</p>
-	<h2 id="background.relay">3.4 &nbsp; Ruby/Verilog interaction</h2>
+	<h2 ><a id="background.relay" href="#a-606150238">3.4</a> &nbsp; Ruby/Verilog interaction</h2>
 	<p>In a typical <span class="caps">VPI</span> application written in C, the <em>Verilog simulator</em> is in charge. Verilog code temporarily transfers control to C by invoking C functions, which return control to Verilog when they finish.</p>
@@ -617,10 +574,10 @@
 </div>
-	<h1 id="setup">4 &nbsp; Setup</h1>
+	<h1 ><a id="setup" href="#a-606180548">4</a> &nbsp; Setup</h1>
-	<h2 id="setup.manifest">4.1 &nbsp; Manifest</h2>
+	<h2 ><a id="setup.manifest" href="#a-606192588">4.1</a> &nbsp; Manifest</h2>
 	<p>When you extract a release package, the following is what you would expect to find.</p>
@@ -636,33 +593,17 @@
 	</ul>
-	<h2 id="setup.reqs">4.2 &nbsp; Requirements</h2>
+	<h2 ><a id="setup.reqs" href="#a-606206048">4.2</a> &nbsp; Requirements</h2>
-	<p>The following software is necessary in order to use Ruby-VPI.</p>
-	<ul>
-	<li>Verilog simulator
-  &#8211; Ruby-VPI is known to work with the following simulators. However, you should be able to use it with any Verilog simulator that supports <span class="caps">VPI</span>.
-	<ul>
-	<li><a href="http://www.pragmatic-c.com/gpl-cver/"><span class="caps">GPL</span> Cver</a>
-  &#8211; version 2.11a or newer is acceptable.</li>
-		<li><a href="http://www.icarus.com/eda/Verilog/">Icarus Verilog</a>
-  &#8211; version 0.8 is <em>mostly</em> acceptable&#8212;you <strong>will not</strong> be able to <a href="#background.org.vpi.util">access child handles through method calls</a>. The reason for this limitation is explained in <a href="#problems.ivl.vpi_handle_by_name.absolute-paths">the section named &ldquo;Give full paths to Verilog objects&rdquo;</a>.</li>
-		<li><a href="http://www.synopsys.com/products/simulation/simulation.html">Synopsys <span class="caps">VCS</span></a>
-  &#8211; any version that supports the <tt>-load</tt> option is acceptable.</li>
-		<li><a href="http://www.model.com">Mentor Modelsim</a>
-  &#8211; any version that supports the <tt>-pli</tt> option is acceptable.</li>
-	</ul></li>
-	</ul>
+	<p>See <a href="#intro.reqs">the section named &ldquo;Requirements&rdquo;</a> above.</p>
 <div class="admonition">
 <div class="tip" id="tip1">
-	<p style="float:left"><img src="images/tip.png" title="tip" alt="tip" /></p>
+	<p style="float:left"><img src="images/tango/tip.png" title="tip" alt="tip" /></p>
 	<p class="title">Tip: Add support for your Verilog simulator</p>
@@ -675,43 +616,13 @@
 </div>
-	<ul>
-	<li><strong>make</strong>
-  &#8211; any distribution should be acceptable.</li>
-	</ul>
-	<ul>
-	<li>C compiler
-  &#8211; the <a href="http://www.gnu.org/software/gcc/" title="GCC"><span class="caps">GNU</span> Compiler Collection</a> is preferred, but any C compiler should be acceptable.</li>
-	</ul>
-	<ul>
-	<li><a href="http://en.wikipedia.org/wiki/Pthreads" title="pthreads"><span class="caps">POSIX</span> threads</a>
-  &#8211; header and linkable object files, and operating system support for this library are necessary.</li>
-	</ul>
-	<ul>
-	<li><a href="http://www.ruby-lang.org">Ruby</a>
-  &#8211; version 1.8 or newer, including header and linkable object files for building extensions, is necessary. You can install Ruby by following <a href="http://www.rubygarden.org/faq/section/show/3">these instructions</a>.</li>
-	</ul>
-	<ul>
-	<li><a href="http://rubyforge.org/frs/?group_id=126">RubyGems</a>
-  &#8211; any recent version should be acceptable. You can install RubyGems by following <a href="http://www.rubygems.org/read/chapter/3">these instructions</a>.</li>
-	</ul>
-	<h2 id="setup.recom">4.3 &nbsp; Recommendations</h2>
+	<h2 ><a id="setup.recom" href="#a-606213438">4.3</a> &nbsp; Recommendations</h2>
 	<p>The following software may make your interactions with Ruby-VPI more pleasant.</p>
-	<h3 id="setup.recom.merger">4.3.1 &nbsp; Text merging tool</h3>
+	<h3 ><a id="setup.recom.merger" href="#a-606235588">4.3.1</a> &nbsp; Text merging tool</h3>
 An <em>interactive</em> text merging tool can greatly simplify the process of transferring wanted changes from one file to another. In particular, such tools are especially beneficial when using the <a href="#usage.tools.generate-test">automated test generator</a>. A handful of the currently available open-source text merging tools are listed below.
@@ -724,7 +635,7 @@ An <em>interactive</em> text merging tool can greatly simplify the process of tr
 	</ul>
-	<h2 id="setup.installation">4.4 &nbsp; Installation</h2>
+	<h2 ><a id="setup.installation" href="#a-606251368">4.4</a> &nbsp; Installation</h2>
 	<p>Once you have satisfied the <a href="#setup.reqs">necessary requirements</a>, you can install Ruby-VPI by running the <pre>gem install -y ruby-vpi</pre> command. RubyGems will install Ruby-VPI into the system gem directory, whose path can be determined by running the <pre>gem env gemdir</pre> command. Within this directory, there is a <tt>gems/</tt> subdirectory which contains the Ruby-VPI installation, as illustrated below.</p>
@@ -738,7 +649,7 @@ $ ls -d /usr/lib/ruby/gems/1.8/gems/ruby-vpi*
 /usr/lib/ruby/gems/1.8/gems/ruby-vpi-7.0.0/
 </pre>
-	<h3 id="setup.installation.windows">4.4.1 &nbsp; Installing on Windows</h3>
+	<h3 ><a id="setup.installation.windows" href="#a-606273678">4.4.1</a> &nbsp; Installing on Windows</h3>
 	<ul>
@@ -750,7 +661,7 @@ $ ls -d /usr/lib/ruby/gems/1.8/gems/ruby-vpi*
 <div class="note" id="note2">
-	<p style="float:left"><img src="images/note.png" title="note" alt="note" /></p>
+	<p style="float:left"><img src="images/tango/note.png" title="note" alt="note" /></p>
 	<p class="title">Note: Undefined symbols in Windows</p>
@@ -790,7 +701,7 @@ $ ls -d /usr/lib/ruby/gems/1.8/gems/ruby-vpi*
 	</ul>
-	<h2 id="setup.maintenance">4.5 &nbsp; Maintenance</h2>
+	<h2 ><a id="setup.maintenance" href="#a-606278328">4.5</a> &nbsp; Maintenance</h2>
 	<ul>
@@ -802,10 +713,10 @@ $ ls -d /usr/lib/ruby/gems/1.8/gems/ruby-vpi*
 	<p>Learn more about using and manipulating RubyGems in <a href="http://www.rubygems.org">the RubyGems user manual</a>.</p>
-	<h1 id="usage">5 &nbsp; Usage</h1>
+	<h1 ><a id="usage" href="#a-606285848">5</a> &nbsp; Usage</h1>
-	<h2 id="usage.vpi">5.1 &nbsp; <span class="caps">VPI</span> in Ruby</h2>
+	<h2 ><a id="usage.vpi" href="#a-606290248">5.1</a> &nbsp; <span class="caps">VPI</span> in Ruby</h2>
 	<p>The <em>entire</em> IEEE Std 1364-2005 <span class="caps">VPI</span> interface is available in Ruby, but with a few minor differences.</p>
@@ -824,7 +735,7 @@ $ ls -d /usr/lib/ruby/gems/1.8/gems/ruby-vpi*
 <div class="note" id="note3">
-	<p style="float:left"><img src="images/note.png" title="note" alt="note" /></p>
+	<p style="float:left"><img src="images/tango/note.png" title="note" alt="note" /></p>
 	<p class="title">Note: No capitalization for <span class="caps">VPI</span> functions</p>
@@ -853,7 +764,7 @@ $ ls -d /usr/lib/ruby/gems/1.8/gems/ruby-vpi*
 }
 </pre>
-	<h3 id="usage.vpi.handles">5.1.1 &nbsp; Handles</h3>
+	<h3 ><a id="usage.vpi.handles" href="#a-606294778">5.1.1</a> &nbsp; Handles</h3>
 	<p>A <em>handle</em> is a reference to an object, such as a module, register, wire, and so on, inside the Verilog simulation. In short, handles allow you to inspect and manipulate the design under test and its components.</p>
@@ -863,7 +774,7 @@ $ ls -d /usr/lib/ruby/gems/1.8/gems/ruby-vpi*
 <div class="note" id="note4">
-	<p style="float:left"><img src="images/note.png" title="note" alt="note" /></p>
+	<p style="float:left"><img src="images/tango/note.png" title="note" alt="note" /></p>
 	<p class="title">Note: <code class="code"><span style="color:#036; font-weight:bold">Vpi</span>::<span style="color:#036; font-weight:bold">Handle</span></code> heritage</p>
@@ -891,7 +802,7 @@ $ ls -d /usr/lib/ruby/gems/1.8/gems/ruby-vpi*
 	<p>If a handle&#8217;s relative happens to have the same name as one of the handle&#8217;s properties, then the relative is given preference. However, if  you <em>really</em> need to access a handle&#8217;s property in such a situation, then you can use the <code class="code"><span style="color:#036; font-weight:bold">Vpi</span>::<span style="color:#036; font-weight:bold">Handle</span>.get_value</code> and <code class="code"><span style="color:#036; font-weight:bold">Vpi</span>::<span style="color:#036; font-weight:bold">Handle</span>.put_value</code> methods.</p>
-	<h4 id="anchor9">5.1.1.1 &nbsp; Accessing a handle&#8217;s relatives</h4>
+	<h4><a id="Accessing_a_handle__8217_s_relatives" href="#a-606297428">5.1.1.1</a> &nbsp; Accessing a handle&#8217;s relatives</h4>
 	<p>To access a handle&#8217;s relative (a handle related to it), simply invoke the relative&#8217;s name as a method on the handle.</p>
@@ -909,10 +820,10 @@ reset_signal = counter_module.reset <span style="color:#888"># &lt;== shortcut!<
 	<p>In this code, the shortcut is that you simply wrote <code class="code">counter_module.reset</code> instead of having to write <code class="code">vpi_handle_by_name(<span style="background-color:#fff0f0"><span style="color:#710">&quot;</span><span style="color:#D20">reset</span><span style="color:#710">&quot;</span></span>, counter_module)</code>.</p>
-	<h4 id="anchor10">5.1.1.2 &nbsp; Accessing a handle&#8217;s properties</h4>
+	<h4><a id="Accessing_a_handle__8217_s_properties" href="#a-606305088">5.1.1.2</a> &nbsp; Accessing a handle&#8217;s properties</h4>
-	<p>To access a handle&#8217;s properties, invoke the property name, using the following format, as a method on the handle. <a href="#ex..properties">the example named &ldquo;Examples of accessing a handle&#8217;s properties&rdquo;</a> shows how this naming format is used.</p>
+	<p>To access a handle&#8217;s properties, invoke the property name, using the following format, as a method on the handle. <a href="#ex..properties">the example named &ldquo;Examples of accessing a handle's properties&rdquo;</a> shows how this naming format is used.</p>
 <div class="formal">
@@ -954,7 +865,7 @@ reset_signal = counter_module.reset <span style="color:#888"># &lt;== shortcut!<
 	<ul>
 	<li><strong>Accessor</strong> suggests a <span class="caps">VPI</span> function that should be used in order to access the <span class="caps">VPI</span> property. When this parameter is not specified, Ruby-VPI will attempt to <em>guess</em> the value of this parameter.
-	<p><a href="#tbl..accessors">the table named &ldquo;Possible accessors and their implications&rdquo;</a> shows a list of valid accessors and how they affect the access to a property.</p></li>
+<a href="#tbl..accessors">the table named &ldquo;Possible accessors and their implications&rdquo;</a> shows a list of valid accessors and how they affect the access to a property.</li>
 	</ul>
@@ -1290,7 +1201,7 @@ reset_signal = counter_module.reset <span style="color:#888"># &lt;== shortcut!<
 			<td> &nbsp; </td>
 			<td> &nbsp; </td>
 			<td> &nbsp; </td>
-			<td rowspan="2">These expressions print the full name of each vpiNet object associated with the handle. </td>
+			<td rowspan="2">These expressions print the full name of each <code class="code"><span style="color:#036; font-weight:bold">VpiNet</span></code> object associated with the handle. </td>
 		</tr>
 		<tr>
 			<td> <code class="code">handle.each_net {|net| puts net.fullName}</code> </td>
@@ -1328,7 +1239,7 @@ reset_signal = counter_module.reset <span style="color:#888"># &lt;== shortcut!<
 			<td> &nbsp; </td>
 			<td> &nbsp; </td>
 			<td> &nbsp; </td>
-			<td rowspan="2">These expressions return a list of nets whose logic value is unknown or &#8220;don&#8217;t care&#8221; (x).</td>
+			<td rowspan="2">These expressions return a list of nets whose <strong>logic value</strong> is unknown or &#8220;don&#8217;t care&#8221; (x).</td>
 		</tr>
 		<tr>
 			<td> <code class="code">handle.select_net {|net| net.x?}</code> </td>
@@ -1348,7 +1259,7 @@ reset_signal = counter_module.reset <span style="color:#888"># &lt;== shortcut!<
 </div>
-	<h3 id="usage.vpi.callbacks">5.1.2 &nbsp; Callbacks</h3>
+	<h3 ><a id="usage.vpi.callbacks" href="#a-605776528">5.1.2</a> &nbsp; Callbacks</h3>
 	<p>A <em>callback</em> is a mechanism that makes the Verilog simuluator execute a block of code, which is known as a &#8220;callback handler&#8221;, when some prescribed event occurs in the simulation. They are set up using the <code class="code">vpi_register_cb</code> function and torn down using the <code class="code">vpi_remove_cb</code> function.</p>
@@ -1492,7 +1403,7 @@ Finished in 0.042328 seconds
 </div>
-	<h2 id="usage.prototyping">5.2 &nbsp; Prototyping</h2>
+	<h2 ><a id="usage.prototyping" href="#a-605820298">5.2</a> &nbsp; Prototyping</h2>
 	<p>Ruby-VPI enables you to rapidly prototype your designs in Ruby without having to do full-scale implementations in Verilog. This lets you explore and evaluate different design choices quickly.</p>
@@ -1513,7 +1424,7 @@ To create a prototype,
 	<p>Once your design has been implemented in Verilog, you can use the <em>same</em> specification, which was originally used to verify your prototype, to verify your Verilog design.</p>
-	<h2 id="usage.debugger">5.3 &nbsp; Debugging</h2>
+	<h2 ><a id="usage.debugger" href="#a-605856998">5.3</a> &nbsp; Debugging</h2>
 	<p>The <a href="http://www.datanoise.com/articles/category/ruby-debug">ruby-debug project</a> serves as the interactive debugger for Ruby-VPI.</p>
@@ -1525,7 +1436,7 @@ To create a prototype,
 	</ol>
-	<h3 id="usage.debugger.init">5.3.1 &nbsp; Advanced initialization</h3>
+	<h3 ><a id="usage.debugger.init" href="#a-605861038">5.3.1</a> &nbsp; Advanced initialization</h3>
 	<p>By default, Ruby-VPI enables the debugger by invoking the <code class="code"><span style="color:#036; font-weight:bold">Debugger</span>.start</code> method. If you wish to perform more advanced initialization, such as having the debugger accept remote network connections for interfacing with a remote debugging session or perhaps with an <span class="caps">IDE</span> (see <a href="http://www.datanoise.com/articles/category/ruby-debug">the ruby-debug documentation</a> for details), then:</p>
@@ -1537,7 +1448,7 @@ To create a prototype,
 	</ol>
-	<h2 id="usage.test-runner">5.4 &nbsp; Test runner</h2>
+	<h2 ><a id="usage.test-runner" href="#a-605886638">5.4</a> &nbsp; Test runner</h2>
 	<p>A test runner is a file, generated by the <a href="#usage.tools.generate-test">automated test generator</a>, whose name ends with <tt>.rake</tt>. It helps you run generated tests&#8212;you can think of it as a <em>makefile</em> if you are familiar with C programming in a <span class="caps">UNIX</span> environment.</p>
@@ -1559,6 +1470,7 @@ rake clobber  # Remove any generated file.
 rake cver     # Simulate with GPL Cver.
 rake default  # Show a list of available tasks.
 rake ivl      # Simulate with Icarus Verilog.
+rake ncsim    # Simulate with Cadence NC-Sim.
 rake vcs      # Simulate with Synopsys VCS.
 rake vsim     # Simulate with Mentor Modelsim.
 </pre>
@@ -1571,18 +1483,16 @@ rake vsim     # Simulate with Mentor Modelsim.
 <div class="tip" id="tip2">
-	<p style="float:left"><img src="images/tip.png" title="tip" alt="tip" /></p>
+	<p style="float:left"><img src="images/tango/tip.png" title="tip" alt="tip" /></p>
 	<p class="title">Tip: Running multiple tests at once.</p>
-	<p>Create a file named <tt>Rakefile</tt> containing the following line.</p>
+	<p>Create a file named <tt>Rakefile</tt> containing the following line:</p>
-	<blockquote>
-		<p><code class="code">require <span style="background-color:#fff0f0"><span style="color:#710">'</span><span style="color:#D20">ruby-vpi/runner_proxy</span><span style="color:#710">'</span></span></code></p>
-	</blockquote>
+	<p><code class="code">require <span style="background-color:#fff0f0"><span style="color:#710">'</span><span style="color:#D20">ruby-vpi/runner_proxy</span><span style="color:#710">'</span></span></code></p>
 	<p>Now you can invoke all test runners in the current directory simply by executing <pre>rake cver</pre> (where <em>cver</em> denotes the <a href="#setup.reqs"><span class="caps">GPL</span> Cver simulator</a>).</p>
@@ -1592,7 +1502,7 @@ rake vsim     # Simulate with Mentor Modelsim.
 </div>
-	<h3 id="usage.test-runner.env-vars">5.4.1 &nbsp; Environment variables</h3>
+	<h3 ><a id="usage.test-runner.env-vars" href="#a-605692898">5.4.1</a> &nbsp; Environment variables</h3>
 	<p>Test runners support the following <em>environment</em> variables, which allow you to easily change the behavior of the test runner.</p>
@@ -1639,19 +1549,19 @@ Here we <em>disable</em> the prototype and enable the code coverage analysis. No
 </div>
-	<h2 id="usage.examples">5.5 &nbsp; Sample tests</h2>
+	<h2 ><a id="usage.examples" href="#a-605713518">5.5</a> &nbsp; Sample tests</h2>
 	<p>The <tt>samp</tt> directory contains several sample tests which illustrate how Ruby-VPI can be used. Each sample has an associated <tt>Rakefile</tt> which simplifies the process of running it. Therefore, simply navigate into an example directory and run the <pre>rake</pre> command to get started.</p>
-	<h2 id="usage.tools">5.6 &nbsp; Tools</h2>
+	<h2 ><a id="usage.tools" href="#a-605735618">5.6</a> &nbsp; Tools</h2>
 	<p>The <tt>bin</tt> directory contains various utilities which ease the process of writing tests. Each tool provides help and usage information invoked with the <tt>--help</tt> option.</p>
-	<h3 id="usage.tools.generate-test">5.6.1 &nbsp; Automated test generation</h3>
+	<h3 ><a id="usage.tools.generate-test" href="#a-606420358">5.6.1</a> &nbsp; Automated test generation</h3>
 	<p>The automated test generator (<strong>generate_test.rb</strong>) generates tests from Verilog 2001 module declarations, as demonstrated <a href="#usage.tutorial.generate-test">in the tutorial</a>. A generated test is composed of the following parts:</p>
@@ -1678,7 +1588,7 @@ Here we <em>disable</em> the prototype and enable the code coverage analysis. No
 <div class="tip" id="tip3">
-	<p style="float:left"><img src="images/tip.png" title="tip" alt="tip" /></p>
+	<p style="float:left"><img src="images/tango/tip.png" title="tip" alt="tip" /></p>
 	<p class="title">Tip: Using <strong>kdiff3</strong> with the automated test generator.</p>
@@ -1703,7 +1613,7 @@ kdiff3 --auto --output <span style="background-color:#fff0f0"><span style="color
 </div>
-	<h3 id="usage.tools.verilog-ruby-conv">5.6.2 &nbsp; Verilog to Ruby conversion</h3>
+	<h3 ><a id="usage.tools.verilog-ruby-conv" href="#a-606426458">5.6.2</a> &nbsp; Verilog to Ruby conversion</h3>
 	<p>The <strong>header_to_ruby.rb</strong> tool can be used to convert Verilog header files into Ruby. You can try it by running the <pre>header_to_ruby.rb --help</pre> command.</p>
@@ -1712,7 +1622,7 @@ kdiff3 --auto --output <span style="background-color:#fff0f0"><span style="color
 	<p>By converting Verilog header files into Ruby, your <a href="#glossary.test">test</a> can utilize the same <code class="code"><span style="background-color:#f0fff0"><span style="color:#161">`</span><span style="color:#2B2">define</span></span></code> constants that are used in the Verilog <a href="#glossary.design">design</a>.</p>
-	<h2 id="usage.tutorial">5.7 &nbsp; Tutorial</h2>
+	<h2 ><a id="usage.tutorial" href="#a-606430138">5.7</a> &nbsp; Tutorial</h2>
 	<ol>
@@ -1726,7 +1636,7 @@ kdiff3 --auto --output <span style="background-color:#fff0f0"><span style="color
 	</ol>
-	<h3 id="usage.tutorial.declare-design">5.7.1 &nbsp; Start with a design</h3>
+	<h3 ><a id="usage.tutorial.declare-design" href="#a-606439718">5.7.1</a> &nbsp; Start with a design</h3>
 	<p>First, we need a <a href="#glossary.design">design</a> to verify. In this tutorial, <a href="#fig..counter.v_decl">the example named &ldquo;Declaration of a simple up-counter with synchronous reset&rdquo;</a> will serve as our design. Its interface is composed of the following parts:</p>
@@ -1764,7 +1674,7 @@ endmodule
 <div class="important" id="important1">
-	<p style="float:left"><img src="images/important.png" title="important" alt="important" /></p>
+	<p style="float:left"><img src="images/tango/important.png" title="important" alt="important" /></p>
 	<p class="title">Important: Before we continue&#8230;</p>
@@ -1777,7 +1687,7 @@ endmodule
 </div>
-	<h3 id="usage.tutorial.generate-test">5.7.2 &nbsp; Generate a test</h3>
+	<h3 ><a id="usage.tutorial.generate-test" href="#a-606447618">5.7.2</a> &nbsp; Generate a test</h3>
 	<p>Now that we have a <a href="#glossary.design">design</a> to verify, let us generate a <a href="#glossary.test">test</a> for it using the <a href="#usage.tools.generate-test">automated test generator</a>. This tool allows us to implement our specification in either rSpec, xUnit, or our very own format.</p>
@@ -1795,7 +1705,7 @@ Each format represents a different software development methodology:
 <div class="note" id="note5">
-	<p style="float:left"><img src="images/note.png" title="note" alt="note" /></p>
+	<p style="float:left"><img src="images/tango/note.png" title="note" alt="note" /></p>
 	<p class="title">Note:</p>
@@ -1857,7 +1767,7 @@ $ generate_test.rb counter.v --xunit --name xunit
 </div>
-	<h3 id="usage.tutorial.specification">5.7.3 &nbsp; Specify your expectations</h3>
+	<h3 ><a id="usage.tutorial.specification" href="#a-606455858">5.7.3</a> &nbsp; Specify your expectations</h3>
 	<p>So far, the test generation tool has created a basic foundation for our <a href="#glossary.test">test</a>. Now we must build upon this foundation by identifying our <a href="#glossary.expectation">expectation</a> of the <a href="#glossary.design">design</a>. That is, how do we expect the design to <em>behave</em> under certain conditions?</p>
@@ -1982,7 +1892,7 @@ context <span style="background-color:#fff0f0"><span style="color:#710">&quot;</
 <div class="important" id="important2">
-	<p style="float:left"><img src="images/important.png" title="important" alt="important" /></p>
+	<p style="float:left"><img src="images/tango/important.png" title="important" alt="important" /></p>
 	<p class="title">Important: Before we continue&#8230;</p>
@@ -2007,7 +1917,7 @@ context <span style="background-color:#fff0f0"><span style="color:#710">&quot;</
 </div>
-	<h3 id="usage.tutorial.implement-proto">5.7.4 &nbsp; Implement the prototype</h3>
+	<h3 ><a id="usage.tutorial.implement-proto" href="#a-606466508">5.7.4</a> &nbsp; Implement the prototype</h3>
 	<p>Now that we have a <a href="#glossary.specification">specification</a> against which to verify our <a href="#glossary.design">design</a>, let us build a prototype of our design. By doing so, we exercise our specification, experience potential problems that may arise when we later implement our design in Verilog, and gain confidence in our work. The result of this proceess is illustrated by <a href="#fig..counter_proto.rb">the example named &ldquo;Ruby prototype of our Verilog design&rdquo;</a>.</p>
@@ -2043,7 +1953,7 @@ context <span style="background-color:#fff0f0"><span style="color:#710">&quot;</
 <div class="important" id="important3">
-	<p style="float:left"><img src="images/important.png" title="important" alt="important" /></p>
+	<p style="float:left"><img src="images/tango/important.png" title="important" alt="important" /></p>
 	<p class="title">Important: Before we continue&#8230;</p>
@@ -2056,7 +1966,7 @@ context <span style="background-color:#fff0f0"><span style="color:#710">&quot;</
 </div>
-	<h3 id="usage.tutorial.test-proto">5.7.5 &nbsp; Verify the prototype</h3>
+	<h3 ><a id="usage.tutorial.test-proto" href="#a-606469388">5.7.5</a> &nbsp; Verify the prototype</h3>
 	<p>Now that we have implemented our prototype, we are ready to verify it against our <a href="#glossary.specification">specification</a> by running the <a href="#glossary.test">test</a>. This process is illustrated by <a href="#fig..test-proto.rspec">the example named &ldquo;Running a test with specification in rSpec format&rdquo;</a> and <a href="#fig..test-proto.unit-test">the example named &ldquo;Running a test with specification in xUnit format&rdquo;</a>.</p>
@@ -2121,7 +2031,7 @@ Finished in 0.040668 seconds.
 <div class="tip" id="tip4">
-	<p style="float:left"><img src="images/tip.png" title="tip" alt="tip" /></p>
+	<p style="float:left"><img src="images/tango/tip.png" title="tip" alt="tip" /></p>
 	<p class="title">Tip: What can the test runner do?</p>
@@ -2134,7 +2044,7 @@ Finished in 0.040668 seconds.
 </div>
-	<h3 id="usage.tutorial.implement-design">5.7.6 &nbsp; Implement the design</h3>
+	<h3 ><a id="usage.tutorial.implement-design" href="#a-606472858">5.7.6</a> &nbsp; Implement the design</h3>
 	<p>Now that we have implemented and verified our prototype, we are ready to implement our <a href="#glossary.design">design</a>. This is often quite simple because we translate <em>existing</em> code from Ruby (our prototype) into Verilog (our design). The result of this process is illustrated by <a href="#fig..counter.v_impl">the example named &ldquo;Implementation of a simple up-counter with synchronous reset&rdquo;</a>.</p>
@@ -2177,7 +2087,7 @@ endmodule
 <div class="important" id="important4">
-	<p style="float:left"><img src="images/important.png" title="important" alt="important" /></p>
+	<p style="float:left"><img src="images/tango/important.png" title="important" alt="important" /></p>
 	<p class="title">Important: Before we continue&#8230;</p>
@@ -2190,7 +2100,7 @@ endmodule
 </div>
-	<h3 id="usage.tutorial.test-design">5.7.7 &nbsp; Verify the design</h3>
+	<h3 ><a id="usage.tutorial.test-design" href="#a-606480598">5.7.7</a> &nbsp; Verify the design</h3>
 	<p>Now that we have implemented our <a href="#glossary.design">design</a>, we are ready to verify it against our <a href="#glossary.specification">specification</a> by running the <a href="#glossary.test">test</a>. <a href="#fig..test-design.rspec">the example named &ldquo;Running a test with specification in rSpec format&rdquo;</a> and <a href="#fig..test-design.unit-test">the example named &ldquo;Running a test with specification in xUnit format&rdquo;</a> illustrate this process.</p>
@@ -2247,10 +2157,19 @@ Finished in 0.006766 seconds.
 </div>
-	<h1 id="hacking">6 &nbsp; Hacking</h1>
+	<h1 ><a id="hacking" href="#a-606487878">6</a> &nbsp; Hacking</h1>
+	<h2 ><a id="hacking.scm" href="#a-606495208">6.1</a> &nbsp; Getting the source code</h2>
-	<h2 id="hacking.release-packages">6.1 &nbsp; Building release packages</h2>
+	<p>Check out the source code using <a href="http://darcs.net">Darcs</a> from the project repository:</p>
+	<pre>darcs get http://ruby-vpi.rubyforge.org/src/ruby-vpi</pre>
+	<h2 ><a id="hacking.release-packages" href="#a-606502868">6.2</a> &nbsp; Building release packages</h2>
 	<p>In addition to the <a href="#setup.reqs">normal requirements</a>, you need the following software to build release packages:</p>
@@ -2266,23 +2185,23 @@ Finished in 0.006766 seconds.
 	<p>Once you have satisfied these requirements, you can run <pre>rake release</pre> to build the release packages. Also, see the output of <pre>rake -T</pre> for more build options.</p>
-	<h1 id="problems">7 &nbsp; Known problems</h1>
+	<h1 ><a id="problems" href="#a-606510668">7</a> &nbsp; Known problems</h1>
 	<p>This chapter presents known problems and possible solutions. In addition, previously solved problems have been retained for historical reference.</p>
-	<h2 id="problems.ruby">7.1 &nbsp; Ruby</h2>
+	<h2 ><a id="problems.ruby" href="#a-606514648">7.1</a> &nbsp; Ruby</h2>
-	<h3 id="problems.ruby.SystemStackError">7.1.1 &nbsp; SystemStackError</h3>
+	<h3 ><a id="problems.ruby.SystemStackError" href="#a-606529698">7.1.1</a> &nbsp; SystemStackError</h3>
 <div class="admonition">
 <div class="note" id="note6">
-	<p style="float:left"><img src="images/note.png" title="note" alt="note" /></p>
+	<p style="float:left"><img src="images/tango/note.png" title="note" alt="note" /></p>
 	<p class="title">Note: Fixed in 2.0.0.</p>
@@ -2298,14 +2217,14 @@ Finished in 0.006766 seconds.
 	<p>If a &#8220;stack level too deep (SystemStackError)&#8221; error occurs during the simulation, then increase the system-resource limit for stack-size by running the <pre>ulimit -s unlimited</pre> command before starting the simulation.</p>
-	<h3 id="problems.ruby.xUnit">7.1.2 &nbsp; test/unit</h3>
+	<h3 ><a id="problems.ruby.xUnit" href="#a-606545738">7.1.2</a> &nbsp; test/unit</h3>
 <div class="admonition">
 <div class="note" id="note7">
-	<p style="float:left"><img src="images/note.png" title="note" alt="note" /></p>
+	<p style="float:left"><img src="images/tango/note.png" title="note" alt="note" /></p>
 	<p class="title">Note: Fixed in 2.0.0.</p>
@@ -2321,13 +2240,13 @@ Finished in 0.006766 seconds.
 	<p>If your specification employs Ruby&#8217;s unit testing framework, then you will encounter an error saying &#8220;[BUG] cross-thread violation on rb_gc()&#8221;.</p>
-	<h2 id="problem.ivl">7.2 &nbsp; Icarus Verilog</h2>
+	<h2 ><a id="problem.ivl" href="#a-606557578">7.2</a> &nbsp; Icarus Verilog</h2>
-	<h3 id="problems.ivl.vpi_handle_by_name">7.2.1 &nbsp; Vpi::vpi_handle_by_name</h3>
+	<h3 ><a id="problems.ivl.vpi_handle_by_name" href="#a-606563378">7.2.1</a> &nbsp; Vpi::vpi_handle_by_name</h3>
-	<h4 id="problems.ivl.vpi_handle_by_name.absolute-paths">7.2.1.1 &nbsp; Give full paths to Verilog objects</h4>
+	<h4 ><a id="problems.ivl.vpi_handle_by_name.absolute-paths" href="#a-606577748">7.2.1.1</a> &nbsp; Give full paths to Verilog objects</h4>
 	<p>In version 0.8 and snapshot 20061009 of Icarus Verilog, the <code class="code">vpi_handle_by_name</code> function requires an <em>absolute</em> path (including the name of the bench which instantiates the design) to a Verilog object. In addition, <code class="code">vpi_handle_by_name</code> always returns <code class="code"><span style="color:#038; font-weight:bold">nil</span></code> when its second parameter is specified.</p>
@@ -2354,7 +2273,7 @@ endmodule
 </div>
-	<h4 id="problems.ivl.vpi_handle_by_name.connect-registers">7.2.1.2 &nbsp; Registers must be connected</h4>
+	<h4 ><a id="problems.ivl.vpi_handle_by_name.connect-registers" href="#a-606588618">7.2.1.2</a> &nbsp; Registers must be connected</h4>
 	<p>In version 0.8 of Icarus Verilog, if you want to access a register in a design, then it must be connected to something (either assigned to a wire or passed as a parameter to a module instantiation). Otherwise, you will get a <code class="code"><span style="color:#038; font-weight:bold">nil</span></code> value as the result of <code class="code">vpi_handle_by_name</code> method.</p>
@@ -2408,23 +2327,23 @@ endmodule
 </div>
-	<h3 id="problems.ivl.vpi_reset">7.2.2 &nbsp; Vpi::reset</h3>
+	<h3 ><a id="problems.ivl.vpi_reset" href="#a-606593458">7.2.2</a> &nbsp; Vpi::reset</h3>
 	<p>In version 0.8 of Icarus Verilog, the <code class="code">vpi_control(vpiReset)</code> VPI function causes an assertion to fail inside the simulator. As a result, the simulation terminates and a core dump is produced.</p>
-	<h2 id="problems.vsim">7.3 &nbsp; Mentor Modelsim</h2>
+	<h2 ><a id="problems.vsim" href="#a-606596948">7.3</a> &nbsp; Mentor Modelsim</h2>
-	<h3 id="problems.vsim.ruby_run">7.3.1 &nbsp; ruby_run();</h3>
+	<h3 ><a id="problems.vsim.ruby_run" href="#a-606600738">7.3.1</a> &nbsp; ruby_run();</h3>
 <div class="admonition">
 <div class="note" id="note8">
-	<p style="float:left"><img src="images/note.png" title="note" alt="note" /></p>
+	<p style="float:left"><img src="images/tango/note.png" title="note" alt="note" /></p>
 	<p class="title">Note: Fixed in 2.0.0.</p>
@@ -2440,16 +2359,16 @@ endmodule
 	<p>Version 6.1b of Mentor Modelsim doesn&#8217;t play nicely with either an embedded Ruby interpreter or <span class="caps">POSIX</span> threads in a <span class="caps">PLI</span> application. When Ruby-VPI invokes the ruby_run function (which starts the Ruby interpreter), the simulator terminates immediately with an exit status of 0.</p>
-	<h1 id="glossary">8 &nbsp; Glossary</h1>
+	<h1 ><a id="glossary" href="#a-606604778">8</a> &nbsp; Glossary</h1>
-	<h2 id="glossary.bench">8.1 &nbsp; Bench</h2>
+	<h2 ><a id="glossary.bench" href="#a-606606678">8.1</a> &nbsp; Bench</h2>
 	<p>An environment in which a <a href="#glossary.design">design</a> is verified against a <a href="#glossary.specification">specification</a>. Often, it is used to emulate conditions in which the design will be eventually deployed.</p>
-	<h2 id="glossary.BDD">8.2 &nbsp; Behavior driven development (BDD)</h2>
+	<h2 ><a id="glossary.BDD" href="#a-606613558">8.2</a> &nbsp; Behavior driven development (BDD)</h2>
 	<p>An <a href="http://agilemanifesto.org/">agile software development methodology</a> which emphasizes thinking in terms of behavior when designing, implementing, and verifying software.</p>
@@ -2458,25 +2377,25 @@ endmodule
 	<p>See the <a href="http://behaviour-driven.org/">official wiki</a> for more information.</p>
-	<h2 id="glossary.design">8.3 &nbsp; Design</h2>
+	<h2 ><a id="glossary.design" href="#a-606620958">8.3</a> &nbsp; Design</h2>
 	<p>A Verilog module that is verified against a <a href="#glossary.specification">specification</a> in order to ensure correctness or soundness of its being. In other words, it is the thing being checked: does it work or not?</p>
-	<h2 id="glossary.expectation">8.4 &nbsp; Expectation</h2>
+	<h2 ><a id="glossary.expectation" href="#a-606623008">8.4</a> &nbsp; Expectation</h2>
 	<p>The desired response to some stimulus.</p>
-	<h2 id="glossary.handle">8.5 &nbsp; Handle</h2>
+	<h2 ><a id="glossary.handle" href="#a-606624858">8.5</a> &nbsp; Handle</h2>
 	<p>A reference to an object inside the Verilog simulation that was obtained through the <code class="code">vpi_handle_by_name</code> function.</p>
-	<h2 id="glossary.rake">8.6 &nbsp; Rake</h2>
+	<h2 ><a id="glossary.rake" href="#a-606628418">8.6</a> &nbsp; Rake</h2>
 	<blockquote>
@@ -2484,12 +2403,10 @@ endmodule
 	</blockquote>
-	<blockquote>
-		<p style="text-align:right;">&#8212;<a href="http://docs.rubyrake.org">Rake documentation</a></p>
-	</blockquote>
+	<p style="text-align:right;">&#8212;<a href="http://docs.rubyrake.org">Rake documentation</a></p>
-	<h2 id="glossary.rspec">8.7 &nbsp; rSpec</h2>
+	<h2 ><a id="glossary.rspec" href="#a-606630878">8.7</a> &nbsp; rSpec</h2>
 	<p>The <a href="#glossary.BDD"><span class="caps">BDD</span></a> framework for Ruby.</p>
@@ -2498,13 +2415,13 @@ endmodule
 	<p>See the <a href="http://rspec.rubyforge.org">rSpec website</a> and <a href="http://rspec.rubyforge.org/tutorials/index.html">tutorial</a> for more information.</p>
-	<h2 id="glossary.specification">8.8 &nbsp; Specification</h2>
+	<h2 ><a id="glossary.specification" href="#a-606636388">8.8</a> &nbsp; Specification</h2>
 	<p>A set of <a href="#glossary.expectations">expectations</a> which define the desired behavior of a <a href="#glossary.design">design</a> when it is subjected to certain stimulus.</p>
-	<h2 id="glossary.TDD">8.9 &nbsp; Test driven development (TDD)</h2>
+	<h2 ><a id="glossary.TDD" href="#a-606640878">8.9</a> &nbsp; Test driven development (TDD)</h2>
 	<p>An <a href="http://agilemanifesto.org/">agile software development methodology</a> which emphasizes (1) testing functionality before implementing it and (2) refactoring.</p>
@@ -2513,13 +2430,13 @@ endmodule
 	<p>See <a href="http://www.agiledata.org/essays/tdd.html">this introductory article</a> for more information.</p>
-	<h2 id="glossary.test">9.0 &nbsp; Test</h2>
+	<h2 ><a id="glossary.test" href="#a-606643148">9.0</a> &nbsp; Test</h2>
 	<p>Something that checks if a <a href="#glossary.design">design</a> satisfies a <a href="#glossary.specification">specification</a>.</p>
-	<h2 id="glossary.test_bench">9.1 &nbsp; Test bench</h2>
+	<h2 ><a id="glossary.test_bench" href="#a-606646838">9.1</a> &nbsp; Test bench</h2>
 	<p>An allusion to <a href="#background.vocab">a bench in an electronics laboratory</a>, or so it seems.</p>