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.
Files changed (243) hide show
  1. data/HEADER +19 -4
  2. data/HISTORY +34 -1
  3. data/MEMO +2 -2
  4. data/README +14 -1
  5. data/Rakefile +39 -66
  6. data/bin/generate_test.rb +5 -23
  7. data/bin/generate_test_tpl/bench.rb +1 -1
  8. data/bin/generate_test_tpl/bench.v +2 -2
  9. data/bin/generate_test_tpl/proto.rb +8 -3
  10. data/bin/header_to_ruby.rb +3 -3
  11. data/doc/Rakefile +9 -26
  12. data/doc/{xhtml/background.html → background.html} +1 -1
  13. data/doc/{xhtml/background.methodology.html → background.methodology.html} +1 -1
  14. data/doc/{xhtml/background.organization.html → background.organization.html} +1 -1
  15. data/doc/{xhtml/background.running-tests.html → background.running-tests.html} +0 -0
  16. data/doc/{xhtml/background.terminology.html → background.terminology.html} +0 -0
  17. data/doc/{src/figures → figures}/organization.png +0 -0
  18. data/doc/{src/figures → figures}/organization_detailed.png +0 -0
  19. data/doc/{src/figures → figures}/ruby_init.png +0 -0
  20. data/doc/{src/figures → figures}/ruby_relay.png +0 -0
  21. data/doc/{xhtml/gfdl-0.html → gfdl-0.html} +0 -0
  22. data/doc/{xhtml/gfdl-1.html → gfdl-1.html} +0 -0
  23. data/doc/{xhtml/gfdl-10.html → gfdl-10.html} +0 -0
  24. data/doc/{xhtml/gfdl-2.html → gfdl-2.html} +0 -0
  25. data/doc/{xhtml/gfdl-3.html → gfdl-3.html} +0 -0
  26. data/doc/{xhtml/gfdl-4.html → gfdl-4.html} +0 -0
  27. data/doc/{xhtml/gfdl-5.html → gfdl-5.html} +0 -0
  28. data/doc/{xhtml/gfdl-6.html → gfdl-6.html} +0 -0
  29. data/doc/{xhtml/gfdl-7.html → gfdl-7.html} +0 -0
  30. data/doc/{xhtml/gfdl-8.html → gfdl-8.html} +0 -0
  31. data/doc/{xhtml/gfdl-9.html → gfdl-9.html} +0 -0
  32. data/doc/{xhtml/gfdl-addendum.html → gfdl-addendum.html} +0 -0
  33. data/doc/{xhtml/gfdl.html → gfdl.html} +0 -0
  34. data/doc/glossary.html +3 -0
  35. data/doc/{src/images → images}/COPYING +0 -0
  36. data/doc/{src/images → images}/ChangeLog +0 -0
  37. data/doc/{src/images → images}/blank.png +0 -0
  38. data/doc/{src/images → images}/callouts/1.png +0 -0
  39. data/doc/{src/images → images}/callouts/10.png +0 -0
  40. data/doc/{src/images → images}/callouts/11.png +0 -0
  41. data/doc/{src/images → images}/callouts/12.png +0 -0
  42. data/doc/{src/images → images}/callouts/13.png +0 -0
  43. data/doc/{src/images → images}/callouts/14.png +0 -0
  44. data/doc/{src/images → images}/callouts/15.png +0 -0
  45. data/doc/{src/images → images}/callouts/2.png +0 -0
  46. data/doc/{src/images → images}/callouts/3.png +0 -0
  47. data/doc/{src/images → images}/callouts/4.png +0 -0
  48. data/doc/{src/images → images}/callouts/5.png +0 -0
  49. data/doc/{src/images → images}/callouts/6.png +0 -0
  50. data/doc/{src/images → images}/callouts/7.png +0 -0
  51. data/doc/{src/images → images}/callouts/8.png +0 -0
  52. data/doc/{src/images → images}/callouts/9.png +0 -0
  53. data/doc/{src/images → images}/callouts/ChangeLog +0 -0
  54. data/doc/{src/images → images}/caution.png +0 -0
  55. data/doc/{src/images → images}/caution.svg +0 -0
  56. data/doc/{src/images → images}/copyright +0 -0
  57. data/doc/{src/images → images}/draft.png +0 -0
  58. data/doc/{src/images → images}/home.png +0 -0
  59. data/doc/{src/images → images}/home.svg +0 -0
  60. data/doc/{src/images → images}/important.png +0 -0
  61. data/doc/{src/images → images}/important.svg +0 -0
  62. data/doc/{src/images → images}/next.png +0 -0
  63. data/doc/{src/images → images}/next.svg +0 -0
  64. data/doc/{src/images → images}/note.png +0 -0
  65. data/doc/{src/images → images}/note.svg +0 -0
  66. data/doc/{src/images → images}/prev.png +0 -0
  67. data/doc/{src/images → images}/prev.svg +0 -0
  68. data/doc/{src/images → images}/tip.png +0 -0
  69. data/doc/{src/images → images}/tip.svg +0 -0
  70. data/doc/{src/images → images}/toc-blank.png +0 -0
  71. data/doc/{src/images → images}/toc-minus.png +0 -0
  72. data/doc/{src/images → images}/toc-plus.png +0 -0
  73. data/doc/{src/images → images}/up.png +0 -0
  74. data/doc/{src/images → images}/up.svg +0 -0
  75. data/doc/{src/images → images}/warning.png +0 -0
  76. data/doc/{src/images → images}/warning.svg +0 -0
  77. data/doc/{xhtml/index.html → index.html} +2 -2
  78. data/doc/{xhtml/introduction.html → introduction.html} +0 -0
  79. data/doc/{xhtml/introduction.license.html → introduction.license.html} +0 -0
  80. data/doc/{xhtml/introduction.manifest.html → introduction.manifest.html} +1 -1
  81. data/doc/{xhtml/introduction.related-works.html → introduction.related-works.html} +0 -0
  82. data/doc/{xhtml/introduction.resources.html → introduction.resources.html} +1 -1
  83. data/doc/{txt/manual.txt → manual.txt} +50 -49
  84. data/doc/{xhtml/problem.ivl.html → problem.ivl.html} +0 -0
  85. data/doc/{xhtml/problems.html → problems.html} +0 -0
  86. data/doc/{xhtml/problems.ruby.html → problems.ruby.html} +0 -0
  87. data/doc/{xhtml/problems.vsim.html → problems.vsim.html} +0 -0
  88. data/doc/src/manual.xml +53 -39
  89. data/doc/src/shared.dtd +1 -2
  90. data/doc/{xhtml/styles → styles}/manual.css +6 -10
  91. data/doc/{xhtml/usage.examples.html → usage.examples.html} +0 -0
  92. data/doc/{xhtml/usage.html → usage.html} +0 -0
  93. data/doc/{xhtml/usage.installation.html → usage.installation.html} +0 -0
  94. data/doc/{xhtml/usage.requirements.html → usage.requirements.html} +0 -0
  95. data/doc/{xhtml/usage.tools.html → usage.tools.html} +0 -0
  96. data/doc/{xhtml/usage.tutorial.html → usage.tutorial.html} +14 -18
  97. data/gem_extconf.rb +1 -1
  98. data/header.html +18 -4
  99. data/header.part.html +18 -4
  100. data/history.html +87 -5
  101. data/history.part.html +69 -1
  102. data/lib/ruby-vpi.rb +5 -5
  103. data/lib/ruby-vpi/rcov.rb +2 -2
  104. data/lib/ruby-vpi/runner.rb +4 -7
  105. data/lib/ruby-vpi/vpi_util.rb +2 -2
  106. data/memo.html +23 -9
  107. data/memo.part.html +5 -5
  108. data/readme.html +40 -5
  109. data/readme.part.html +22 -1
  110. data/ref/c/annotated.html +1 -1
  111. data/ref/c/common_8h.html +1 -1
  112. data/ref/c/files.html +1 -1
  113. data/ref/c/functions.html +1 -1
  114. data/ref/c/functions_vars.html +1 -1
  115. data/ref/c/globals.html +1 -1
  116. data/ref/c/globals_0x63.html +1 -1
  117. data/ref/c/globals_0x65.html +1 -1
  118. data/ref/c/globals_0x66.html +1 -1
  119. data/ref/c/globals_0x70.html +1 -1
  120. data/ref/c/globals_0x72.html +1 -1
  121. data/ref/c/globals_0x73.html +1 -1
  122. data/ref/c/globals_0x74.html +1 -1
  123. data/ref/c/globals_0x76.html +1 -1
  124. data/ref/c/globals_0x78.html +1 -1
  125. data/ref/c/globals_defs.html +1 -1
  126. data/ref/c/globals_defs_0x65.html +1 -1
  127. data/ref/c/globals_defs_0x70.html +1 -1
  128. data/ref/c/globals_defs_0x76.html +1 -1
  129. data/ref/c/globals_defs_0x78.html +1 -1
  130. data/ref/c/globals_enum.html +1 -1
  131. data/ref/c/globals_eval.html +1 -1
  132. data/ref/c/globals_func.html +1 -1
  133. data/ref/c/globals_type.html +1 -1
  134. data/ref/c/globals_vars.html +1 -1
  135. data/ref/c/hierarchy.html +1 -1
  136. data/ref/c/index.html +1 -1
  137. data/ref/c/relay_8cin.html +1 -1
  138. data/ref/c/relay_8hin.html +1 -1
  139. data/ref/c/ruby-vpi_8c.html +1 -1
  140. data/ref/c/structrelay____RubyOptions____def.html +1 -1
  141. data/ref/c/structt__cb__data.html +1 -1
  142. data/ref/c/structt__vpi__delay.html +1 -1
  143. data/ref/c/structt__vpi__error__info.html +1 -1
  144. data/ref/c/structt__vpi__strengthval.html +1 -1
  145. data/ref/c/structt__vpi__systf__data.html +1 -1
  146. data/ref/c/structt__vpi__time.html +1 -1
  147. data/ref/c/structt__vpi__value.html +1 -1
  148. data/ref/c/structt__vpi__vecval.html +1 -1
  149. data/ref/c/structt__vpi__vlog__info.html +1 -1
  150. data/ref/c/swig_8cin.html +1 -1
  151. data/ref/c/swig_8hin.html +1 -1
  152. data/ref/c/verilog_8h.html +1 -1
  153. data/ref/c/vlog_8cin.html +1 -1
  154. data/ref/c/vlog_8hin.html +1 -1
  155. data/ref/c/vpi__user_8h.html +1 -1
  156. data/ref/ruby/classes/OutputInfo.src/M000014.html +36 -36
  157. data/ref/ruby/classes/{RubyVPI.html → RubyVpi.html} +6 -6
  158. data/ref/ruby/classes/{RubyVPI.src → RubyVpi.src}/M000075.html +5 -5
  159. data/ref/ruby/classes/{RubyVPI.src → RubyVpi.src}/M000076.html +2 -2
  160. data/ref/ruby/classes/SWIG/TYPE_p_unsigned_int.src/M000070.html +2 -2
  161. data/ref/ruby/classes/Template.src/M000015.html +4 -4
  162. data/ref/ruby/classes/XX.html +4 -4
  163. data/ref/ruby/classes/XX/XHTML.html +5 -5
  164. data/ref/ruby/classes/XX/XHTML.src/{M000024.html → M000023.html} +0 -0
  165. data/ref/ruby/classes/XX/XHTML/Strict.html +5 -5
  166. data/ref/ruby/classes/XX/XHTML/Strict.src/{M000026.html → M000025.html} +0 -0
  167. data/ref/ruby/classes/XX/XHTML/Transitional.html +5 -5
  168. data/ref/ruby/classes/XX/XHTML/Transitional.src/{M000025.html → M000024.html} +0 -0
  169. data/ref/ruby/classes/XX/XMLish.html +5 -5
  170. data/ref/ruby/classes/XX/XMLish.src/{M000023.html → M000026.html} +0 -0
  171. data/ref/ruby/created.rid +1 -1
  172. data/ref/ruby/files/bin/generate_test_rb.html +7 -39
  173. data/ref/ruby/files/bin/generate_test_rb.src/M000001.html +15 -15
  174. data/ref/ruby/files/bin/header_to_ruby_rb.html +12 -4
  175. data/ref/ruby/files/lib/ruby-vpi/erb_rb.html +1 -1
  176. data/ref/ruby/files/lib/ruby-vpi/rake_rb.html +1 -1
  177. data/ref/ruby/files/lib/ruby-vpi/rcov_rb.html +1 -1
  178. data/ref/ruby/files/lib/ruby-vpi/rdoc_rb.html +1 -1
  179. data/ref/ruby/files/lib/ruby-vpi/rspec_rb.html +1 -1
  180. data/ref/ruby/files/lib/ruby-vpi/runner_proxy_rb.html +1 -1
  181. data/ref/ruby/files/lib/ruby-vpi/runner_rb.html +2 -7
  182. data/ref/ruby/files/lib/ruby-vpi/runner_rb.src/M000002.html +6 -6
  183. data/ref/ruby/files/lib/ruby-vpi/verilog_parser_rb.html +1 -1
  184. data/ref/ruby/files/lib/ruby-vpi/vpi_util_rb.html +1 -1
  185. data/ref/ruby/files/lib/ruby-vpi/xx_rb.html +1 -1
  186. data/ref/ruby/files/lib/ruby-vpi_rb.html +1 -1
  187. data/ref/ruby/fr_class_index.html +1 -1
  188. data/ref/ruby/fr_method_index.html +10 -10
  189. data/samp/counter/counter_rspecTest_bench.rb +1 -1
  190. data/samp/counter/counter_rspecTest_proto.rb +1 -1
  191. data/samp/counter/counter_unitTest_bench.rb +1 -1
  192. data/samp/counter/counter_unitTest_proto.rb +1 -1
  193. data/samp/pipelined_alu/hw5_unit_test_bench.rb +1 -1
  194. data/samp/pipelined_alu/hw5_unit_test_proto.rb +1 -1
  195. metadata +183 -237
  196. data/doc/src/styles/manual.css +0 -87
  197. data/doc/xhtml/figures/organization.png +0 -0
  198. data/doc/xhtml/figures/organization_detailed.png +0 -0
  199. data/doc/xhtml/figures/ruby_init.png +0 -0
  200. data/doc/xhtml/figures/ruby_relay.png +0 -0
  201. data/doc/xhtml/glossary.html +0 -3
  202. data/doc/xhtml/images/COPYING +0 -67
  203. data/doc/xhtml/images/ChangeLog +0 -27
  204. data/doc/xhtml/images/blank.png +0 -0
  205. data/doc/xhtml/images/callouts/1.png +0 -0
  206. data/doc/xhtml/images/callouts/10.png +0 -0
  207. data/doc/xhtml/images/callouts/11.png +0 -0
  208. data/doc/xhtml/images/callouts/12.png +0 -0
  209. data/doc/xhtml/images/callouts/13.png +0 -0
  210. data/doc/xhtml/images/callouts/14.png +0 -0
  211. data/doc/xhtml/images/callouts/15.png +0 -0
  212. data/doc/xhtml/images/callouts/2.png +0 -0
  213. data/doc/xhtml/images/callouts/3.png +0 -0
  214. data/doc/xhtml/images/callouts/4.png +0 -0
  215. data/doc/xhtml/images/callouts/5.png +0 -0
  216. data/doc/xhtml/images/callouts/6.png +0 -0
  217. data/doc/xhtml/images/callouts/7.png +0 -0
  218. data/doc/xhtml/images/callouts/8.png +0 -0
  219. data/doc/xhtml/images/callouts/9.png +0 -0
  220. data/doc/xhtml/images/callouts/ChangeLog +0 -15
  221. data/doc/xhtml/images/caution.png +0 -0
  222. data/doc/xhtml/images/caution.svg +0 -290
  223. data/doc/xhtml/images/copyright +0 -55
  224. data/doc/xhtml/images/draft.png +0 -0
  225. data/doc/xhtml/images/home.png +0 -0
  226. data/doc/xhtml/images/home.svg +0 -386
  227. data/doc/xhtml/images/important.png +0 -0
  228. data/doc/xhtml/images/important.svg +0 -163
  229. data/doc/xhtml/images/next.png +0 -0
  230. data/doc/xhtml/images/next.svg +0 -191
  231. data/doc/xhtml/images/note.png +0 -0
  232. data/doc/xhtml/images/note.svg +0 -483
  233. data/doc/xhtml/images/prev.png +0 -0
  234. data/doc/xhtml/images/prev.svg +0 -852
  235. data/doc/xhtml/images/tip.png +0 -0
  236. data/doc/xhtml/images/tip.svg +0 -1145
  237. data/doc/xhtml/images/toc-blank.png +0 -0
  238. data/doc/xhtml/images/toc-minus.png +0 -0
  239. data/doc/xhtml/images/toc-plus.png +0 -0
  240. data/doc/xhtml/images/up.png +0 -0
  241. data/doc/xhtml/images/up.svg +0 -195
  242. data/doc/xhtml/images/warning.png +0 -0
  243. 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/projects/ruby-vpi" target="_top">
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/scm/?group_id=1339" target="_top">
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/projects/ruby-vpi" target="_top">
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/scm/?group_id=1339" target="_top">
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/projects/ruby-vpi" target="_top">
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/scm/?group_id=1339" target="_top">
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&#8217;s <a href="http://www.rub
130
144
  <p id="fn1"><sup>1</sup> C. Gross, &#8220;Explaining Open Source Version Numbers&#8221;, [Online document], 2005 Nov 28, [cited 2006 Aug 27], Available <span class="caps">HTTP</span>: <a href="http://ablog.apress.com/?p=738">http://ablog.apress.com/?p=738</a></p>
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 and adds parsed constants to generated Verilog benches and Ruby designs.</p>
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>&#8212;checks if the logic value is &#8220;don&#8217;t care&#8221; </li>
219
+ <li><code>handle.z?</code>&#8212;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&#8217;s <a href="http://www.rub
18
18
  <p id="fn1"><sup>1</sup> C. Gross, &#8220;Explaining Open Source Version Numbers&#8221;, [Online document], 2005 Nov 28, [cited 2006 Aug 27], Available <span class="caps">HTTP</span>: <a href="http://ablog.apress.com/?p=738">http://ablog.apress.com/?p=738</a></p>
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 and adds parsed constants to generated Verilog benches and Ruby designs.</p>
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>&#8212;checks if the logic value is &#8220;don&#8217;t care&#8221; </li>
93
+ <li><code>handle.z?</code>&#8212;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 RubyVPI
22
+ module RubyVpi
23
23
  # Initializes the current bench using the given parameters.
24
- def RubyVPI.init_bench aTestPrefix, aProtoClassId
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
- if ENV['COVERAGE']
29
+ unless (ENV['COVERAGE'] || '').empty?
30
30
  require 'ruby-vpi/rcov'
31
31
 
32
- RubyVPI.with_coverage_analysis do |a|
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
- if ENV['PROTO']
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 RubyVPI
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 RubyVPI.with_coverage_analysis &aBlock # :yields: Rcov::CodeCoverageAnalyzer
57
+ def RubyVpi.with_coverage_analysis &aBlock # :yields: Rcov::CodeCoverageAnalyzer
58
58
  if aBlock
59
59
  COVERAGE_ANALYSIS_HANDLERS << aBlock
60
60
  end
@@ -38,20 +38,17 @@
38
38
  require 'rake/clean'
39
39
  require 'ruby-vpi/rake'
40
40
 
41
- LIBRARY_PATH = File.join(File.dirname(__FILE__), '..')
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 `#{path}' is missing.\n Please build Ruby-VPI to generate the missing file." unless File.exist? path
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