求verilog设计和system verilog验证的小程序

Question

本人刚接触system verilog ，大家能不能提供一个verilog的小程序，然后用system verilog来测试？

Answer 1

你安装了基于system verilog的工具没？追问

装了modelsim可以吧。

追答

我没有用过modelsim，貌似不可以，基于SystemVerilog的验证需要专门的形式化验证工具的。
这个文库里http://wenku.baidu.com/view/48f99a697e21af45b307a8c5.html最后部分有个小例子，你可以看看。我们现在在做毕设，有点忙，有时间可以再讨论~