功能验证 功能验证英語functional verification是电子设计自动化中验证数字电路是否与预定规范功能相符的一个验证过程通常所说的功能验证功能仿真是指不考虑实际器件的延迟时间只考虑逻辑功能的一个流程功能验证的目标是达到尽可能高的测试覆盖率被测试的内容要尽可能覆盖所有的语句逻辑分支条件路径触发状态机的状态等同时在某些阶段还必须包括对时序的检查在较小型的电路设计中设计人员可以利用硬件描述语言来建立测试平台通常这是一个顶级模块通过指定测试向量来检验被测模块在各种输入情况下检验对应的输出是符合要求但是在更大型集成电路设计项目中该过程会耗费设计人员较大的时间和精力许多项目都采用计算机辅助工程工具来协助验证人员创建随机测试激励向量其中硬件验证语言在建立随机测试和功能覆盖方面具有显著的优势它们通常提供了专门用来进行功能覆盖和产生可约束随机测试激励向量的数据结构除了上面讲述的这种通过输入测试向量的方式功能验证还可以通过形式等效性检查形式验证断言等方式来进行达到更高的功能覆盖率