版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
全面的功能验证 完整的工业流程
Comprehensive functional verification丛 书 名：国际信息工程先进技术译丛
版本说明：1-1
I S B N：(纸本) 9787111296416
出 版 社：机械工业出版社
出 版 年：2010年
页 数：487页
学科分类：080903[工学-微电子学与固体电子学] 12[管理学] 080904[工学-电磁场与微波技术] 0810[工学-信息与通信工程] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 080402[工学-测试计量技术及仪器] 0804[工学-仪器科学与技术] 081001[工学-通信与信息系统]
摘 要：本书分为5个部分。第1部分的内容是功能验证概述，包括概念背景、验证计划、验证策略和一些基本练习。第2部分和第3部分关注两个最主要的功能验证方法：基于模拟的验证方法和形式验证方法。第4部分把注意力集中在验证周期的后期阶段，包括回归测试和“逃逸错误分析，以及一些高级的验证技术。第5部分，是一些验证实例研究的集合，进一步强调了验证周期和验证过程中的相关概念。
