在开始前本页会 简单的介绍什么是验证，以及示例里面用到的概念，如 DUT (Design Under Test) 和 RM (Reference Model) 。
验证工具的基本使用。
生成电路波形
处理多个Verilog源文件
覆盖率工具
多时钟示例
多实例示例
内部信号示例
可用软件测试框架