ruby-vpi 7.3.0 → 8.0.0
Sign up to get free protection for your applications and to get access to all the features.
- data/HEADER +19 -4
- data/HISTORY +34 -1
- data/MEMO +2 -2
- data/README +14 -1
- data/Rakefile +39 -66
- data/bin/generate_test.rb +5 -23
- data/bin/generate_test_tpl/bench.rb +1 -1
- data/bin/generate_test_tpl/bench.v +2 -2
- data/bin/generate_test_tpl/proto.rb +8 -3
- data/bin/header_to_ruby.rb +3 -3
- data/doc/Rakefile +9 -26
- data/doc/{xhtml/background.html → background.html} +1 -1
- data/doc/{xhtml/background.methodology.html → background.methodology.html} +1 -1
- data/doc/{xhtml/background.organization.html → background.organization.html} +1 -1
- data/doc/{xhtml/background.running-tests.html → background.running-tests.html} +0 -0
- data/doc/{xhtml/background.terminology.html → background.terminology.html} +0 -0
- data/doc/{src/figures → figures}/organization.png +0 -0
- data/doc/{src/figures → figures}/organization_detailed.png +0 -0
- data/doc/{src/figures → figures}/ruby_init.png +0 -0
- data/doc/{src/figures → figures}/ruby_relay.png +0 -0
- data/doc/{xhtml/gfdl-0.html → gfdl-0.html} +0 -0
- data/doc/{xhtml/gfdl-1.html → gfdl-1.html} +0 -0
- data/doc/{xhtml/gfdl-10.html → gfdl-10.html} +0 -0
- data/doc/{xhtml/gfdl-2.html → gfdl-2.html} +0 -0
- data/doc/{xhtml/gfdl-3.html → gfdl-3.html} +0 -0
- data/doc/{xhtml/gfdl-4.html → gfdl-4.html} +0 -0
- data/doc/{xhtml/gfdl-5.html → gfdl-5.html} +0 -0
- data/doc/{xhtml/gfdl-6.html → gfdl-6.html} +0 -0
- data/doc/{xhtml/gfdl-7.html → gfdl-7.html} +0 -0
- data/doc/{xhtml/gfdl-8.html → gfdl-8.html} +0 -0
- data/doc/{xhtml/gfdl-9.html → gfdl-9.html} +0 -0
- data/doc/{xhtml/gfdl-addendum.html → gfdl-addendum.html} +0 -0
- data/doc/{xhtml/gfdl.html → gfdl.html} +0 -0
- data/doc/glossary.html +3 -0
- data/doc/{src/images → images}/COPYING +0 -0
- data/doc/{src/images → images}/ChangeLog +0 -0
- data/doc/{src/images → images}/blank.png +0 -0
- data/doc/{src/images → images}/callouts/1.png +0 -0
- data/doc/{src/images → images}/callouts/10.png +0 -0
- data/doc/{src/images → images}/callouts/11.png +0 -0
- data/doc/{src/images → images}/callouts/12.png +0 -0
- data/doc/{src/images → images}/callouts/13.png +0 -0
- data/doc/{src/images → images}/callouts/14.png +0 -0
- data/doc/{src/images → images}/callouts/15.png +0 -0
- data/doc/{src/images → images}/callouts/2.png +0 -0
- data/doc/{src/images → images}/callouts/3.png +0 -0
- data/doc/{src/images → images}/callouts/4.png +0 -0
- data/doc/{src/images → images}/callouts/5.png +0 -0
- data/doc/{src/images → images}/callouts/6.png +0 -0
- data/doc/{src/images → images}/callouts/7.png +0 -0
- data/doc/{src/images → images}/callouts/8.png +0 -0
- data/doc/{src/images → images}/callouts/9.png +0 -0
- data/doc/{src/images → images}/callouts/ChangeLog +0 -0
- data/doc/{src/images → images}/caution.png +0 -0
- data/doc/{src/images → images}/caution.svg +0 -0
- data/doc/{src/images → images}/copyright +0 -0
- data/doc/{src/images → images}/draft.png +0 -0
- data/doc/{src/images → images}/home.png +0 -0
- data/doc/{src/images → images}/home.svg +0 -0
- data/doc/{src/images → images}/important.png +0 -0
- data/doc/{src/images → images}/important.svg +0 -0
- data/doc/{src/images → images}/next.png +0 -0
- data/doc/{src/images → images}/next.svg +0 -0
- data/doc/{src/images → images}/note.png +0 -0
- data/doc/{src/images → images}/note.svg +0 -0
- data/doc/{src/images → images}/prev.png +0 -0
- data/doc/{src/images → images}/prev.svg +0 -0
- data/doc/{src/images → images}/tip.png +0 -0
- data/doc/{src/images → images}/tip.svg +0 -0
- data/doc/{src/images → images}/toc-blank.png +0 -0
- data/doc/{src/images → images}/toc-minus.png +0 -0
- data/doc/{src/images → images}/toc-plus.png +0 -0
- data/doc/{src/images → images}/up.png +0 -0
- data/doc/{src/images → images}/up.svg +0 -0
- data/doc/{src/images → images}/warning.png +0 -0
- data/doc/{src/images → images}/warning.svg +0 -0
- data/doc/{xhtml/index.html → index.html} +2 -2
- data/doc/{xhtml/introduction.html → introduction.html} +0 -0
- data/doc/{xhtml/introduction.license.html → introduction.license.html} +0 -0
- data/doc/{xhtml/introduction.manifest.html → introduction.manifest.html} +1 -1
- data/doc/{xhtml/introduction.related-works.html → introduction.related-works.html} +0 -0
- data/doc/{xhtml/introduction.resources.html → introduction.resources.html} +1 -1
- data/doc/{txt/manual.txt → manual.txt} +50 -49
- data/doc/{xhtml/problem.ivl.html → problem.ivl.html} +0 -0
- data/doc/{xhtml/problems.html → problems.html} +0 -0
- data/doc/{xhtml/problems.ruby.html → problems.ruby.html} +0 -0
- data/doc/{xhtml/problems.vsim.html → problems.vsim.html} +0 -0
- data/doc/src/manual.xml +53 -39
- data/doc/src/shared.dtd +1 -2
- data/doc/{xhtml/styles → styles}/manual.css +6 -10
- data/doc/{xhtml/usage.examples.html → usage.examples.html} +0 -0
- data/doc/{xhtml/usage.html → usage.html} +0 -0
- data/doc/{xhtml/usage.installation.html → usage.installation.html} +0 -0
- data/doc/{xhtml/usage.requirements.html → usage.requirements.html} +0 -0
- data/doc/{xhtml/usage.tools.html → usage.tools.html} +0 -0
- data/doc/{xhtml/usage.tutorial.html → usage.tutorial.html} +14 -18
- data/gem_extconf.rb +1 -1
- data/header.html +18 -4
- data/header.part.html +18 -4
- data/history.html +87 -5
- data/history.part.html +69 -1
- data/lib/ruby-vpi.rb +5 -5
- data/lib/ruby-vpi/rcov.rb +2 -2
- data/lib/ruby-vpi/runner.rb +4 -7
- data/lib/ruby-vpi/vpi_util.rb +2 -2
- data/memo.html +23 -9
- data/memo.part.html +5 -5
- data/readme.html +40 -5
- data/readme.part.html +22 -1
- 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_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/hierarchy.html +1 -1
- data/ref/c/index.html +1 -1
- data/ref/c/relay_8cin.html +1 -1
- data/ref/c/relay_8hin.html +1 -1
- data/ref/c/ruby-vpi_8c.html +1 -1
- data/ref/c/structrelay____RubyOptions____def.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/swig_8cin.html +1 -1
- data/ref/c/swig_8hin.html +1 -1
- data/ref/c/verilog_8h.html +1 -1
- data/ref/c/vlog_8cin.html +1 -1
- data/ref/c/vlog_8hin.html +1 -1
- data/ref/c/vpi__user_8h.html +1 -1
- data/ref/ruby/classes/OutputInfo.src/M000014.html +36 -36
- data/ref/ruby/classes/{RubyVPI.html → RubyVpi.html} +6 -6
- data/ref/ruby/classes/{RubyVPI.src → RubyVpi.src}/M000075.html +5 -5
- data/ref/ruby/classes/{RubyVPI.src → RubyVpi.src}/M000076.html +2 -2
- data/ref/ruby/classes/SWIG/TYPE_p_unsigned_int.src/M000070.html +2 -2
- data/ref/ruby/classes/Template.src/M000015.html +4 -4
- data/ref/ruby/classes/XX.html +4 -4
- data/ref/ruby/classes/XX/XHTML.html +5 -5
- data/ref/ruby/classes/XX/XHTML.src/{M000024.html → M000023.html} +0 -0
- data/ref/ruby/classes/XX/XHTML/Strict.html +5 -5
- data/ref/ruby/classes/XX/XHTML/Strict.src/{M000026.html → M000025.html} +0 -0
- data/ref/ruby/classes/XX/XHTML/Transitional.html +5 -5
- data/ref/ruby/classes/XX/XHTML/Transitional.src/{M000025.html → M000024.html} +0 -0
- data/ref/ruby/classes/XX/XMLish.html +5 -5
- data/ref/ruby/classes/XX/XMLish.src/{M000023.html → M000026.html} +0 -0
- data/ref/ruby/created.rid +1 -1
- data/ref/ruby/files/bin/generate_test_rb.html +7 -39
- data/ref/ruby/files/bin/generate_test_rb.src/M000001.html +15 -15
- data/ref/ruby/files/bin/header_to_ruby_rb.html +12 -4
- data/ref/ruby/files/lib/ruby-vpi/erb_rb.html +1 -1
- data/ref/ruby/files/lib/ruby-vpi/rake_rb.html +1 -1
- data/ref/ruby/files/lib/ruby-vpi/rcov_rb.html +1 -1
- data/ref/ruby/files/lib/ruby-vpi/rdoc_rb.html +1 -1
- data/ref/ruby/files/lib/ruby-vpi/rspec_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 +2 -7
- data/ref/ruby/files/lib/ruby-vpi/runner_rb.src/M000002.html +6 -6
- data/ref/ruby/files/lib/ruby-vpi/verilog_parser_rb.html +1 -1
- data/ref/ruby/files/lib/ruby-vpi/vpi_util_rb.html +1 -1
- data/ref/ruby/files/lib/ruby-vpi/xx_rb.html +1 -1
- data/ref/ruby/files/lib/ruby-vpi_rb.html +1 -1
- data/ref/ruby/fr_class_index.html +1 -1
- data/ref/ruby/fr_method_index.html +10 -10
- data/samp/counter/counter_rspecTest_bench.rb +1 -1
- data/samp/counter/counter_rspecTest_proto.rb +1 -1
- data/samp/counter/counter_unitTest_bench.rb +1 -1
- data/samp/counter/counter_unitTest_proto.rb +1 -1
- data/samp/pipelined_alu/hw5_unit_test_bench.rb +1 -1
- data/samp/pipelined_alu/hw5_unit_test_proto.rb +1 -1
- metadata +183 -237
- data/doc/src/styles/manual.css +0 -87
- data/doc/xhtml/figures/organization.png +0 -0
- data/doc/xhtml/figures/organization_detailed.png +0 -0
- data/doc/xhtml/figures/ruby_init.png +0 -0
- data/doc/xhtml/figures/ruby_relay.png +0 -0
- data/doc/xhtml/glossary.html +0 -3
- data/doc/xhtml/images/COPYING +0 -67
- data/doc/xhtml/images/ChangeLog +0 -27
- data/doc/xhtml/images/blank.png +0 -0
- data/doc/xhtml/images/callouts/1.png +0 -0
- data/doc/xhtml/images/callouts/10.png +0 -0
- data/doc/xhtml/images/callouts/11.png +0 -0
- data/doc/xhtml/images/callouts/12.png +0 -0
- data/doc/xhtml/images/callouts/13.png +0 -0
- data/doc/xhtml/images/callouts/14.png +0 -0
- data/doc/xhtml/images/callouts/15.png +0 -0
- data/doc/xhtml/images/callouts/2.png +0 -0
- data/doc/xhtml/images/callouts/3.png +0 -0
- data/doc/xhtml/images/callouts/4.png +0 -0
- data/doc/xhtml/images/callouts/5.png +0 -0
- data/doc/xhtml/images/callouts/6.png +0 -0
- data/doc/xhtml/images/callouts/7.png +0 -0
- data/doc/xhtml/images/callouts/8.png +0 -0
- data/doc/xhtml/images/callouts/9.png +0 -0
- data/doc/xhtml/images/callouts/ChangeLog +0 -15
- data/doc/xhtml/images/caution.png +0 -0
- data/doc/xhtml/images/caution.svg +0 -290
- data/doc/xhtml/images/copyright +0 -55
- data/doc/xhtml/images/draft.png +0 -0
- data/doc/xhtml/images/home.png +0 -0
- data/doc/xhtml/images/home.svg +0 -386
- data/doc/xhtml/images/important.png +0 -0
- data/doc/xhtml/images/important.svg +0 -163
- data/doc/xhtml/images/next.png +0 -0
- data/doc/xhtml/images/next.svg +0 -191
- data/doc/xhtml/images/note.png +0 -0
- data/doc/xhtml/images/note.svg +0 -483
- data/doc/xhtml/images/prev.png +0 -0
- data/doc/xhtml/images/prev.svg +0 -852
- data/doc/xhtml/images/tip.png +0 -0
- data/doc/xhtml/images/tip.svg +0 -1145
- data/doc/xhtml/images/toc-blank.png +0 -0
- data/doc/xhtml/images/toc-minus.png +0 -0
- data/doc/xhtml/images/toc-plus.png +0 -0
- data/doc/xhtml/images/up.png +0 -0
- data/doc/xhtml/images/up.svg +0 -195
- data/doc/xhtml/images/warning.png +0 -0
- data/doc/xhtml/images/warning.svg +0 -334
data/header.html
CHANGED
@@ -13,8 +13,8 @@
|
|
13
13
|
|
14
14
|
<ul>
|
15
15
|
<li>Prototype and verify designs <em>quickly</em> using <a href="http://behaviour-driven.org/" title="behavior-driven development"><span class="caps">BDD</span></a>, <a href="http://www.agiledata.org/essays/tdd.html" title="test-driven development"><span class="caps">TDD</span></a>, and more.</li>
|
16
|
-
<li>Specifications are executable <em>and</em> human-readable. (See this <a href="./doc/usage.tutorial.html#fig..counter_rspecTest_spec.rb">example specification</a> and its <a href="./doc/usage.tutorial.html#fig..test-proto.rspec">boss-friendly output</a>.)</li>
|
17
16
|
<li>Reuse the <em>same</em> specification to verify both prototype and design.</li>
|
17
|
+
<li>Specifications are executable <em>and</em> human-readable. (See this <a href="./doc/usage.tutorial.html#fig..counter_rspecTest_spec.rb">example specification</a> and its <a href="./doc/usage.tutorial.html#fig..test-proto.rspec">boss-friendly output</a>.)</li>
|
18
18
|
</ul>
|
19
19
|
|
20
20
|
|
@@ -51,7 +51,16 @@
|
|
51
51
|
</span>
|
52
52
|
</dt>
|
53
53
|
<dd>
|
54
|
-
<p>Complete documentation for users. Start here!</p>
|
54
|
+
<p>Complete documentation for users. <em>Start here!</em></p>
|
55
|
+
</dd>
|
56
|
+
|
57
|
+
<dt>
|
58
|
+
<span class="term">
|
59
|
+
<a href="./ref/" target="_top">Reference</a>
|
60
|
+
</span>
|
61
|
+
</dt>
|
62
|
+
<dd>
|
63
|
+
<p><span class="caps">API</span> reference documentation for Ruby libraries and C extension.</p>
|
55
64
|
</dd>
|
56
65
|
|
57
66
|
<dt>
|
@@ -66,9 +75,10 @@ Access project facilities, hosted generously by <a href="http://rubyforge.org" t
|
|
66
75
|
RubyForge</a>.
|
67
76
|
</p>
|
68
77
|
</dd>
|
78
|
+
|
69
79
|
<dt>
|
70
80
|
<span class="term">
|
71
|
-
<a href="http://rubyforge.org/
|
81
|
+
<a href="http://rubyforge.org/tracker/?group_id=1339" target="_top">
|
72
82
|
Tracker</a>
|
73
83
|
</span>
|
74
84
|
</dt>
|
@@ -76,6 +86,7 @@ Tracker</a>
|
|
76
86
|
<p>
|
77
87
|
Report problems, contribute patches, and more.</p>
|
78
88
|
</dd>
|
89
|
+
|
79
90
|
<dt>
|
80
91
|
<span class="term">
|
81
92
|
<a href="http://rubyforge.org/frs/?group_id=1339" target="_top">
|
@@ -86,9 +97,10 @@ Releases</a>
|
|
86
97
|
<p>
|
87
98
|
Download the newest releases.</p>
|
88
99
|
</dd>
|
100
|
+
|
89
101
|
<dt>
|
90
102
|
<span class="term">
|
91
|
-
<a href="http://rubyforge.org/
|
103
|
+
<a href="http://ruby-vpi.rubyforge.org/src/ruby-vpi" target="_top">
|
92
104
|
Sources</a>
|
93
105
|
</span>
|
94
106
|
</dt>
|
@@ -96,6 +108,7 @@ Sources</a>
|
|
96
108
|
<p>
|
97
109
|
Browse or access the source code repository.</p>
|
98
110
|
</dd>
|
111
|
+
|
99
112
|
<dt>
|
100
113
|
<span class="term">
|
101
114
|
<a href="http://rubyforge.org/forum/?group_id=1339" target="_top">
|
@@ -106,6 +119,7 @@ Forums</a>
|
|
106
119
|
<p>
|
107
120
|
Ask for help, give feedback, or discuss.</p>
|
108
121
|
</dd>
|
122
|
+
|
109
123
|
</dl>
|
110
124
|
</div>
|
111
125
|
</div>
|
data/header.part.html
CHANGED
@@ -13,8 +13,8 @@
|
|
13
13
|
|
14
14
|
<ul>
|
15
15
|
<li>Prototype and verify designs <em>quickly</em> using <a href="http://behaviour-driven.org/" title="behavior-driven development"><span class="caps">BDD</span></a>, <a href="http://www.agiledata.org/essays/tdd.html" title="test-driven development"><span class="caps">TDD</span></a>, and more.</li>
|
16
|
-
<li>Specifications are executable <em>and</em> human-readable. (See this <a href="./doc/usage.tutorial.html#fig..counter_rspecTest_spec.rb">example specification</a> and its <a href="./doc/usage.tutorial.html#fig..test-proto.rspec">boss-friendly output</a>.)</li>
|
17
16
|
<li>Reuse the <em>same</em> specification to verify both prototype and design.</li>
|
17
|
+
<li>Specifications are executable <em>and</em> human-readable. (See this <a href="./doc/usage.tutorial.html#fig..counter_rspecTest_spec.rb">example specification</a> and its <a href="./doc/usage.tutorial.html#fig..test-proto.rspec">boss-friendly output</a>.)</li>
|
18
18
|
</ul>
|
19
19
|
|
20
20
|
|
@@ -51,7 +51,16 @@
|
|
51
51
|
</span>
|
52
52
|
</dt>
|
53
53
|
<dd>
|
54
|
-
<p>Complete documentation for users. Start here!</p>
|
54
|
+
<p>Complete documentation for users. <em>Start here!</em></p>
|
55
|
+
</dd>
|
56
|
+
|
57
|
+
<dt>
|
58
|
+
<span class="term">
|
59
|
+
<a href="./ref/" target="_top">Reference</a>
|
60
|
+
</span>
|
61
|
+
</dt>
|
62
|
+
<dd>
|
63
|
+
<p><span class="caps">API</span> reference documentation for Ruby libraries and C extension.</p>
|
55
64
|
</dd>
|
56
65
|
|
57
66
|
<dt>
|
@@ -66,9 +75,10 @@ Access project facilities, hosted generously by <a href="http://rubyforge.org" t
|
|
66
75
|
RubyForge</a>.
|
67
76
|
</p>
|
68
77
|
</dd>
|
78
|
+
|
69
79
|
<dt>
|
70
80
|
<span class="term">
|
71
|
-
<a href="http://rubyforge.org/
|
81
|
+
<a href="http://rubyforge.org/tracker/?group_id=1339" target="_top">
|
72
82
|
Tracker</a>
|
73
83
|
</span>
|
74
84
|
</dt>
|
@@ -76,6 +86,7 @@ Tracker</a>
|
|
76
86
|
<p>
|
77
87
|
Report problems, contribute patches, and more.</p>
|
78
88
|
</dd>
|
89
|
+
|
79
90
|
<dt>
|
80
91
|
<span class="term">
|
81
92
|
<a href="http://rubyforge.org/frs/?group_id=1339" target="_top">
|
@@ -86,9 +97,10 @@ Releases</a>
|
|
86
97
|
<p>
|
87
98
|
Download the newest releases.</p>
|
88
99
|
</dd>
|
100
|
+
|
89
101
|
<dt>
|
90
102
|
<span class="term">
|
91
|
-
<a href="http://rubyforge.org/
|
103
|
+
<a href="http://ruby-vpi.rubyforge.org/src/ruby-vpi" target="_top">
|
92
104
|
Sources</a>
|
93
105
|
</span>
|
94
106
|
</dt>
|
@@ -96,6 +108,7 @@ Sources</a>
|
|
96
108
|
<p>
|
97
109
|
Browse or access the source code repository.</p>
|
98
110
|
</dd>
|
111
|
+
|
99
112
|
<dt>
|
100
113
|
<span class="term">
|
101
114
|
<a href="http://rubyforge.org/forum/?group_id=1339" target="_top">
|
@@ -106,6 +119,7 @@ Forums</a>
|
|
106
119
|
<p>
|
107
120
|
Ask for help, give feedback, or discuss.</p>
|
108
121
|
</dd>
|
122
|
+
|
109
123
|
</dl>
|
110
124
|
</div>
|
111
125
|
</div>
|
data/history.html
CHANGED
@@ -13,8 +13,8 @@
|
|
13
13
|
|
14
14
|
<ul>
|
15
15
|
<li>Prototype and verify designs <em>quickly</em> using <a href="http://behaviour-driven.org/" title="behavior-driven development"><span class="caps">BDD</span></a>, <a href="http://www.agiledata.org/essays/tdd.html" title="test-driven development"><span class="caps">TDD</span></a>, and more.</li>
|
16
|
-
<li>Specifications are executable <em>and</em> human-readable. (See this <a href="./doc/usage.tutorial.html#fig..counter_rspecTest_spec.rb">example specification</a> and its <a href="./doc/usage.tutorial.html#fig..test-proto.rspec">boss-friendly output</a>.)</li>
|
17
16
|
<li>Reuse the <em>same</em> specification to verify both prototype and design.</li>
|
17
|
+
<li>Specifications are executable <em>and</em> human-readable. (See this <a href="./doc/usage.tutorial.html#fig..counter_rspecTest_spec.rb">example specification</a> and its <a href="./doc/usage.tutorial.html#fig..test-proto.rspec">boss-friendly output</a>.)</li>
|
18
18
|
</ul>
|
19
19
|
|
20
20
|
|
@@ -51,7 +51,16 @@
|
|
51
51
|
</span>
|
52
52
|
</dt>
|
53
53
|
<dd>
|
54
|
-
<p>Complete documentation for users. Start here!</p>
|
54
|
+
<p>Complete documentation for users. <em>Start here!</em></p>
|
55
|
+
</dd>
|
56
|
+
|
57
|
+
<dt>
|
58
|
+
<span class="term">
|
59
|
+
<a href="./ref/" target="_top">Reference</a>
|
60
|
+
</span>
|
61
|
+
</dt>
|
62
|
+
<dd>
|
63
|
+
<p><span class="caps">API</span> reference documentation for Ruby libraries and C extension.</p>
|
55
64
|
</dd>
|
56
65
|
|
57
66
|
<dt>
|
@@ -66,9 +75,10 @@ Access project facilities, hosted generously by <a href="http://rubyforge.org" t
|
|
66
75
|
RubyForge</a>.
|
67
76
|
</p>
|
68
77
|
</dd>
|
78
|
+
|
69
79
|
<dt>
|
70
80
|
<span class="term">
|
71
|
-
<a href="http://rubyforge.org/
|
81
|
+
<a href="http://rubyforge.org/tracker/?group_id=1339" target="_top">
|
72
82
|
Tracker</a>
|
73
83
|
</span>
|
74
84
|
</dt>
|
@@ -76,6 +86,7 @@ Tracker</a>
|
|
76
86
|
<p>
|
77
87
|
Report problems, contribute patches, and more.</p>
|
78
88
|
</dd>
|
89
|
+
|
79
90
|
<dt>
|
80
91
|
<span class="term">
|
81
92
|
<a href="http://rubyforge.org/frs/?group_id=1339" target="_top">
|
@@ -86,9 +97,10 @@ Releases</a>
|
|
86
97
|
<p>
|
87
98
|
Download the newest releases.</p>
|
88
99
|
</dd>
|
100
|
+
|
89
101
|
<dt>
|
90
102
|
<span class="term">
|
91
|
-
<a href="http://rubyforge.org/
|
103
|
+
<a href="http://ruby-vpi.rubyforge.org/src/ruby-vpi" target="_top">
|
92
104
|
Sources</a>
|
93
105
|
</span>
|
94
106
|
</dt>
|
@@ -96,6 +108,7 @@ Sources</a>
|
|
96
108
|
<p>
|
97
109
|
Browse or access the source code repository.</p>
|
98
110
|
</dd>
|
111
|
+
|
99
112
|
<dt>
|
100
113
|
<span class="term">
|
101
114
|
<a href="http://rubyforge.org/forum/?group_id=1339" target="_top">
|
@@ -106,6 +119,7 @@ Forums</a>
|
|
106
119
|
<p>
|
107
120
|
Ask for help, give feedback, or discuss.</p>
|
108
121
|
</dd>
|
122
|
+
|
109
123
|
</dl>
|
110
124
|
</div>
|
111
125
|
</div>
|
@@ -130,13 +144,81 @@ We <em>strictly</em> follow the RubyGems project’s <a href="http://www.rub
|
|
130
144
|
<p id="fn1"><sup>1</sup> C. Gross, “Explaining Open Source Version Numbers”, [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>
|
131
145
|
|
132
146
|
|
147
|
+
<h1>Version 8.0.0 (2006-10-13)</h1>
|
148
|
+
|
149
|
+
|
150
|
+
<h2>Summary</h2>
|
151
|
+
|
152
|
+
|
153
|
+
<p>This release renames some identifiers for consistency, updates the documentation, and improves integration with RubyGems.</p>
|
154
|
+
|
155
|
+
|
156
|
+
<h2>Notice</h2>
|
157
|
+
|
158
|
+
|
159
|
+
<ul>
|
160
|
+
<li>The <code>RubyVPI</code> module has been renamed to <code>RubyVpi</code>.</li>
|
161
|
+
</ul>
|
162
|
+
|
163
|
+
|
164
|
+
<ul>
|
165
|
+
<li>The <code>PROTO</code> environment variable has been renamed to <code>PROTOTYPE</code>.
|
166
|
+
<ul>
|
167
|
+
<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>
|
168
|
+
</ul></li>
|
169
|
+
</ul>
|
170
|
+
|
171
|
+
|
172
|
+
<h2>Details</h2>
|
173
|
+
|
174
|
+
|
175
|
+
<ul>
|
176
|
+
<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>
|
177
|
+
</ul>
|
178
|
+
|
179
|
+
|
180
|
+
<ul>
|
181
|
+
<li>The source code is now distributed in tar.gz and zip form, in addition to gem.</li>
|
182
|
+
</ul>
|
183
|
+
|
184
|
+
|
185
|
+
<ul>
|
186
|
+
<li>Some identifiers have been renamed for better consistency.</li>
|
187
|
+
</ul>
|
188
|
+
|
189
|
+
|
190
|
+
<ul>
|
191
|
+
<li>The user manual now resides directly within the <code>doc/</code> directory.
|
192
|
+
<ul>
|
193
|
+
<li>The integration of documentation in <code>gem_server</code> has been improved.</li>
|
194
|
+
</ul></li>
|
195
|
+
</ul>
|
196
|
+
|
197
|
+
|
198
|
+
<ul>
|
199
|
+
<li>The glossary and tutorial in the user manual have been revised.</li>
|
200
|
+
</ul>
|
201
|
+
|
202
|
+
|
133
203
|
<h1>Version 7.3.0 (2006-09-30)</h1>
|
134
204
|
|
135
205
|
|
136
206
|
<h2>Summary</h2>
|
137
207
|
|
138
208
|
|
139
|
-
<p>This release fixes a bug in generated Verilog benches
|
209
|
+
<p>This release fixes a bug in generated Verilog benches, includes parsed constants in generated tests, and adds new methods to handles.</p>
|
210
|
+
|
211
|
+
|
212
|
+
<h2>Notice</h2>
|
213
|
+
|
214
|
+
|
215
|
+
<ul>
|
216
|
+
<li>Handles now have two new methods:
|
217
|
+
<ul>
|
218
|
+
<li><code>handle.x?</code>—checks if the logic value is “don’t care” </li>
|
219
|
+
<li><code>handle.z?</code>—checks if the logic value is high impedance</li>
|
220
|
+
</ul></li>
|
221
|
+
</ul>
|
140
222
|
|
141
223
|
|
142
224
|
<h2>Details</h2>
|
data/history.part.html
CHANGED
@@ -18,13 +18,81 @@ We <em>strictly</em> follow the RubyGems project’s <a href="http://www.rub
|
|
18
18
|
<p id="fn1"><sup>1</sup> C. Gross, “Explaining Open Source Version Numbers”, [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>
|
19
19
|
|
20
20
|
|
21
|
+
<h1>Version 8.0.0 (2006-10-13)</h1>
|
22
|
+
|
23
|
+
|
24
|
+
<h2>Summary</h2>
|
25
|
+
|
26
|
+
|
27
|
+
<p>This release renames some identifiers for consistency, updates the documentation, and improves integration with RubyGems.</p>
|
28
|
+
|
29
|
+
|
30
|
+
<h2>Notice</h2>
|
31
|
+
|
32
|
+
|
33
|
+
<ul>
|
34
|
+
<li>The <code>RubyVPI</code> module has been renamed to <code>RubyVpi</code>.</li>
|
35
|
+
</ul>
|
36
|
+
|
37
|
+
|
38
|
+
<ul>
|
39
|
+
<li>The <code>PROTO</code> environment variable has been renamed to <code>PROTOTYPE</code>.
|
40
|
+
<ul>
|
41
|
+
<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>
|
42
|
+
</ul></li>
|
43
|
+
</ul>
|
44
|
+
|
45
|
+
|
46
|
+
<h2>Details</h2>
|
47
|
+
|
48
|
+
|
49
|
+
<ul>
|
50
|
+
<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>
|
51
|
+
</ul>
|
52
|
+
|
53
|
+
|
54
|
+
<ul>
|
55
|
+
<li>The source code is now distributed in tar.gz and zip form, in addition to gem.</li>
|
56
|
+
</ul>
|
57
|
+
|
58
|
+
|
59
|
+
<ul>
|
60
|
+
<li>Some identifiers have been renamed for better consistency.</li>
|
61
|
+
</ul>
|
62
|
+
|
63
|
+
|
64
|
+
<ul>
|
65
|
+
<li>The user manual now resides directly within the <code>doc/</code> directory.
|
66
|
+
<ul>
|
67
|
+
<li>The integration of documentation in <code>gem_server</code> has been improved.</li>
|
68
|
+
</ul></li>
|
69
|
+
</ul>
|
70
|
+
|
71
|
+
|
72
|
+
<ul>
|
73
|
+
<li>The glossary and tutorial in the user manual have been revised.</li>
|
74
|
+
</ul>
|
75
|
+
|
76
|
+
|
21
77
|
<h1>Version 7.3.0 (2006-09-30)</h1>
|
22
78
|
|
23
79
|
|
24
80
|
<h2>Summary</h2>
|
25
81
|
|
26
82
|
|
27
|
-
<p>This release fixes a bug in generated Verilog benches
|
83
|
+
<p>This release fixes a bug in generated Verilog benches, includes parsed constants in generated tests, and adds new methods to handles.</p>
|
84
|
+
|
85
|
+
|
86
|
+
<h2>Notice</h2>
|
87
|
+
|
88
|
+
|
89
|
+
<ul>
|
90
|
+
<li>Handles now have two new methods:
|
91
|
+
<ul>
|
92
|
+
<li><code>handle.x?</code>—checks if the logic value is “don’t care” </li>
|
93
|
+
<li><code>handle.z?</code>—checks if the logic value is high impedance</li>
|
94
|
+
</ul></li>
|
95
|
+
</ul>
|
28
96
|
|
29
97
|
|
30
98
|
<h2>Details</h2>
|
data/lib/ruby-vpi.rb
CHANGED
@@ -19,17 +19,17 @@
|
|
19
19
|
=end
|
20
20
|
|
21
21
|
# Provides configuration information of the Ruby-VPI project.
|
22
|
-
module
|
22
|
+
module RubyVpi
|
23
23
|
# Initializes the current bench using the given parameters.
|
24
|
-
def
|
24
|
+
def RubyVpi.init_bench aTestPrefix, aProtoClassId
|
25
25
|
require 'ruby-vpi/vpi_util'
|
26
26
|
Vpi::relay_verilog # service the $ruby_init() callback
|
27
27
|
|
28
28
|
# set up code coverage analysis
|
29
|
-
|
29
|
+
unless (ENV['COVERAGE'] || '').empty?
|
30
30
|
require 'ruby-vpi/rcov'
|
31
31
|
|
32
|
-
|
32
|
+
RubyVpi.with_coverage_analysis do |a|
|
33
33
|
a.dump_coverage_info [
|
34
34
|
Rcov::TextReport.new,
|
35
35
|
Rcov::HTMLCoverage.new(:destdir => "#{aTestPrefix}_coverage")
|
@@ -40,7 +40,7 @@ module RubyVPI
|
|
40
40
|
# load the design under test
|
41
41
|
require "#{aTestPrefix}_design.rb"
|
42
42
|
|
43
|
-
|
43
|
+
unless (ENV['PROTOTYPE'] || '').empty?
|
44
44
|
require "#{aTestPrefix}_proto.rb"
|
45
45
|
|
46
46
|
proto = Kernel.const_get(aProtoClassId).new
|
data/lib/ruby-vpi/rcov.rb
CHANGED
@@ -39,7 +39,7 @@ require 'rcov'
|
|
39
39
|
require 'rcov/report'
|
40
40
|
|
41
41
|
|
42
|
-
module
|
42
|
+
module RubyVpi
|
43
43
|
COVERAGE_ANALYSIS = Rcov::CodeCoverageAnalyzer.new
|
44
44
|
COVERAGE_ANALYSIS.install_hook
|
45
45
|
|
@@ -54,7 +54,7 @@ module RubyVPI
|
|
54
54
|
end
|
55
55
|
|
56
56
|
# Invokes the given block after code coverage analysis has completed.
|
57
|
-
def
|
57
|
+
def RubyVpi.with_coverage_analysis &aBlock # :yields: Rcov::CodeCoverageAnalyzer
|
58
58
|
if aBlock
|
59
59
|
COVERAGE_ANALYSIS_HANDLERS << aBlock
|
60
60
|
end
|
data/lib/ruby-vpi/runner.rb
CHANGED
@@ -38,20 +38,17 @@
|
|
38
38
|
require 'rake/clean'
|
39
39
|
require 'ruby-vpi/rake'
|
40
40
|
|
41
|
-
|
42
|
-
OBJECT_PATH = File.join(LIBRARY_PATH, '..', 'obj')
|
43
|
-
|
44
|
-
# make Ruby-VPI libraries available to spec
|
45
|
-
ENV['RUBYLIB'] = (ENV['RUBYLIB'] && ENV['RUBYLIB'].dup || '') << ":#{LIBRARY_PATH}"
|
46
|
-
|
41
|
+
OBJECT_PATH = File.join(File.dirname(__FILE__), '..', '..', 'obj')
|
47
42
|
|
48
43
|
# Returns the path to the Ruby-VPI object file for the given simulator.
|
49
44
|
def object_file_path aSimId, aShared = false
|
50
45
|
path = File.join(OBJECT_PATH, "ruby-vpi.#{aSimId}.#{aShared ? 'so' : 'o'}")
|
51
|
-
raise "Object file
|
46
|
+
raise "Object file #{path.inspect} is missing.\n Rebuild Ruby-VPI to generate the missing file." unless File.exist? path
|
52
47
|
path
|
53
48
|
end
|
54
49
|
|
50
|
+
|
51
|
+
desc "Show a list of available tasks."
|
55
52
|
task :default do
|
56
53
|
Rake.application.options.show_task_pattern = //
|
57
54
|
Rake.application.display_tasks_and_comments
|