RubyVPI.load_test("counter", "counter_design.rb", "counter_proto.rb", "counter_spec.rb")