systemverilog验证 张春 源代码 http://chris.spear.net/systemverilog/已经打不开了

《systemverilog验证》讲解了SystemVerilog语言的工作原理。介绍了类、随机化和功能覆盖率等测试手段和概念，并且在创建测试平台方而提供了很多引导性的建议。《systemverilog验证》借助大量的实例说明SystemVerilog的各种验证方法，以及如何根据实际的应用情况选择**的方法达到尽可能高的覆盖率。而且，重点演示了如何使用面向对象编程（OOP）的方法建立由覆盖率驱动并且受约束的基本的随机分层测试平台，此外，还论述了SystemVerilog与C语言的接口技术。

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     目录           0  2011-11-27 21:12  case\
     文件       20480  2006-09-05 20:45  case\arb_if.tar
     文件       30720  2010-07-29 22:33  case\atm_virt_if.tar
     文件       20480  2006-09-05 20:45  case\multi_virt_if_port.tar
     文件       10240  2006-09-05 20:45  case\multi_virt_if_xmr.tar
     文件       30720  2011-08-04 07:02  case\sockets_dpi.tar
     文件         870  2011-11-27 21:08  case\systemverilog验证.txt
     文件       10240  2006-10-27 08:31  case\uniquearray.tar
     文件       15919  2010-08-18 21:38  case\utopia.tgz