功能验证（），功能验证还可以通过形式等效性检查（形式验证）、在更大型集成电路设计项目中，通常所说的功能验证、但是，检验对应的输出是符合要求。功能验证的目标是达到尽可能高的测试覆盖率，路径、许多项目都采用计算机辅助工程工具来协助验证人员创建随机测试激励向量。 相关条目 通用验证方法学 参考文献 功能验证工具 Avery Design Systems: SimCluster (for parallel logic simulation) and Insight (for formal verification) Breker Verification Systems, Inc.: Trek (a model-based test generation tool for complex SoCs) Cadence设计系统 EVE/ZeBu Mentor Graphics Nusym Technology Obsidian Software 新思 外部链接 You can find related articles in http://www.thinkverification.com/ CFS Vision Project: http://www.cfs-vision.com/ An IDE for e and SystemVerilog: http://www.dvteclipse.com/ 相关条目 测试平台 硬件验证语言 形式验证 F条件、
