Mikhail Ravkine | 23 Mar 00:10 2008

ArgumentError "VpiHigh" is not a valid VPI property

Hi Guys,
 
    I've just stumbled upon this project and am very excited to see what is possible, but I've hit a problem.
 
I have installed everything and followed the counter example, but I am unable to run:
 
======snip=======
krypt <at> testmaster:~/vpi/RSpec$ rake cver PROTOTYPE=1
(in /home/krypt/vpi/RSpec)
rake -f counter_runner.rake cver PROTOTYPE=1
(in /home/krypt/vpi/RSpec)
["cver", "+loadvpi=/usr/lib/ruby/gems/1.8/gems/ruby-vpi-20.0.0/obj/cver.so:vlog_startup_routines_bootstrap", "counter.v", {:noop=>false, :verbose=>true}]
cver +loadvpi=/usr/lib/ruby/gems/1.8/gems/ruby-vpi-20.0.0/obj/cver.so:vlog_startup_routines_bootstrap counter.v
GPLCVER_2.11a of 07/05/05 (Linux-elf).
Copyright (c) 1991-2005 Pragmatic C Software Corp.
  All Rights reserved.  Licensed under the GNU General Public License (GPL).
  See the 'COPYING' file for details.  NO WARRANTY provided.
Today is Sat Mar 22 19:02:34 2008.
Compiling source file "counter.v"
Highest level modules:
counter
 
ruby-vpi: prototype is enabled
FFF
 
1)
ArgumentError in 'A counter after being reset should be zero'
"VpiHigh" is not a valid VPI property
counter_design.rb:12:in `reset!'
counter_spec.rb:11:in `load_test'
 
2)
ArgumentError in 'A counter after being reset should increment upon each subsequent posedge'
"VpiHigh" is not a valid VPI property
counter_design.rb:12:in `reset!'
counter_spec.rb:11:in `load_test'
 
3)
ArgumentError in 'A counter with the maximum value should overflow upon increment'
"VpiHigh" is not a valid VPI property
counter_design.rb:12:in `reset!'
counter_spec.rb:28:in `load_test'
 
Finished in 0.016504 seconds
 
3 examples, 3 failures
rake aborted!
Command failed with status (1): [cver +loadvpi=/usr/lib/ruby/gems/1.8/gems/...]
 
(See full trace by running task with --trace)
/usr/lib/ruby/gems/1.8/gems/rake-0.8.1/lib/rake.rb:899:in `sh': Command failed with status (1): [rake -f counter_runner.rake cver PROTOTYPE...] (RuntimeError)
        from /usr/lib/ruby/gems/1.8/gems/rake-0.8.1/lib/rake.rb:906:in `call'
        from /usr/lib/ruby/gems/1.8/gems/rake-0.8.1/lib/rake.rb:906:in `sh'
        from /usr/lib/ruby/gems/1.8/gems/rake-0.8.1/lib/rake.rb:985:in `sh'
        from /usr/lib/ruby/gems/1.8/gems/ruby-vpi-20.0.0/lib/ruby-vpi/runner_proxy.rb:17
        from /usr/lib/ruby/gems/1.8/gems/rake-0.8.1/lib/rake.rb:1183:in `each'
        from /usr/lib/ruby/gems/1.8/gems/rake-0.8.1/lib/rake.rb:1183:in `send'
        from /usr/lib/ruby/gems/1.8/gems/rake-0.8.1/lib/rake.rb:1183:in `each'
        from /usr/lib/ruby/gems/1.8/gems/ruby-vpi-20.0.0/lib/ruby-vpi/runner_proxy.rb:16
        from /usr/bin/rake:19
=======snip=======
 
System is a fresh install of Ubuntu 7.10 (under VirtualBox on Windows XP).
 
krypt <at> testmaster:~/vpi/RSpec$ ruby -v
ruby 1.8.6 (2007-06-07 patchlevel 36) [i486-linux]
Any help with this issue would be greatly appreciated..
 
--Mike

Gmane