验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。
本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
具体描述
读后感
评分
评分
评分
评分
用户评价
不明白学校里为什么要把这本书作为教材。太口语化了，对于概念泛泛而谈，知识点不明确分析问题不深入，且偶尔会遇到前后矛盾的话，标题和内容也常常毫无关键，大概是作者讲自己的工作经验的一本书吧。可能是因为有关测试的书少，学校才选择这本十几年前的老书，但它真不适合没有工程经验的学生。
评分适合做科普，入门必备。
评分不明白学校里为什么要把这本书作为教材。太口语化了，对于概念泛泛而谈，知识点不明确分析问题不深入，且偶尔会遇到前后矛盾的话，标题和内容也常常毫无关键，大概是作者讲自己的工作经验的一本书吧。可能是因为有关测试的书少，学校才选择这本十几年前的老书，但它真不适合没有工程经验的学生。
评分适合做科普，入门必备。
评分适合做科普，入门必备。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有