ruby-vpi 7.3.0 → 8.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- 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
|