简介
功能验证消耗典型设计项目的大部分时间与资源。随着芯片的面积与复杂程度不断地成长，设计人员必须愈来愈仰赖专职的验证团队，以确保系统完全符合其规格。
验证工程师们通常拥有整套的专属工具和方法，以供验证自动化和质量改善使用。尽管如此，功能上的逻辑错误依然是项目延迟与重新设计(re-spins)的一大原因。关键在于，验证环境质量的两大面向 – 将错误的影响传播至可观察点的能力，以及观察缺点效应进而侦测错误的能力 – 无法被分析或衡量。功能覆盖率(functional coverage)与程序代码覆盖率(code coverage)等既有的方法大半都忽视这两个面向，尽管涵盖率数字很漂亮，还是让功能错误成了验证流程的漏网之鱼。既有的工具完全无法评估以仿真为基础的功能验证环境的整体质量。
SpringSoft的Certitude功能验证品管系统(Certitude Functional Qualification System)采用独家技术，衡量并带动以仿真为基础的环境之各项功能验证质量的提升。本白皮书说明既有工具仍然难以察觉的功能验证基本面，然后介绍能够弭平这个鸿沟的一项技术：以变异为基础的测试(Mutation-based testing)的缘起与主要观念，说明SpringSoft如何运用这项技术，诞生了业界首创的功能验证解决方案Certitude；最后，说明Certitude如何弥补这个功能验证的「质量鸿沟」，以及与其它验证工具之间的相互影响。
