day---4 验证方法

1、概述

验证方法的分支和其工具种类很多，我们要根据设计的特点选取不同的验证方法，最终达到要求。验证工程师需要选择合适方法和工具，来“保质高效低耗”地完成验证任务。

主要的验证方法分类：
· 动态仿真（dynamic simulation）
· 静态检查（formal check）
· 虚拟模型（virtual prototype）
· 硬件加速（hardware acceleration）

2.1、动态仿真（Dynamic Simulation）

动态仿真：通过生成测试序列和激励产生器给到DUT，伴随着仿真时间，判断输出是否符合预期，需要仿真器来完成这项工作。

业界主要的仿真器有：
· Cadence：NCSIM
· Synopsys：VCS
· Mentor：Modelsim/Qusta

按照激励生成方式：定向测试（directed test）、随机测试（random test）。
定向测试：根据验证计划，建立特定的验证环境以及相应的测试数据，对DUT进行特定的仿真测试，以检验该功能点是否以及被覆盖。
随机测试：在有限约束的条件下尽可能多地自动产生测试数据，来对DUT进行大批量的随机测试，这里的随机测试是指带有约束的随机。
按照检查结果和方式：参考模型检查（reference model check）、断言检查（assert