全面的功能验证: 完整的工业流程/(美) Bruce Wile, John C. Goss, Wolfgang Roesner
附件:设置1:设置2:戈斯设置3:本书分5个部分。第1部分的内容是功能验证概述, 包括概念背景、验证计划、验证策略和一些基本练习 ; 第2部分和第3部分关注两个最主要的功能验证方法: 基于模拟的验证方法和形式验证方法 ; 第4部分把注意力集中在验证周期的后期阶段 ; 第5部分, 是一些验证实例研究的集合, 进一步强调了验证周期和验证过程中的相关概念。摘要:有书目 (第482-487页)
附注提要
本书分5个部分。第1部分的内容是功能验证概述, 包括概念背景、验证计划、验证策略和一些基本练习 ; 第2部分和第3部分关注两个最主要的功能验证方法: 基于模拟的验证方法和形式验证方法 ; 第4部分把注意力集中在验证周期的后期阶段 ; 第5部分, 是一些验证实例研究的集合, 进一步强调了验证周期和验证过程中的相关概念。