MARC状态：订购 文献类型：中文图书 浏览次数：7
- 题名/责任者:
- 芯片形式化验证原理、方法与实战/王亮，谭永亮编著
- 出版发行项:
- 北京:机械工业出版社,2025
- ISBN及定价:
- 9787111782681/99
- 载体形态项:
- 13,286页 24cm
- 丛编项:
- 集成电路技术丛书
- 学科主题:
- 芯片-验证-验证
- 中图法分类号:
- TN43
- 提要文摘附注:
- 本书系统地介绍了形式化验证的概念和原理，通过丰富的实例生动地展示了形式化验证所需的TCL和SVA语言语法规则。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VCFormal形式化验证工具，全面展示了该工具中常用应用的使用方法、常见问题及其解决方案，为读者提供了从基础知识到高级应用的学习途径，帮助广大的IC工程师和学生快速入门和实践形式化验证。
- 使用对象附注:
- 芯片验证相关专业人员
全部MARC细节信息>>