题名:
形式化验证   / (美) 埃里克·塞利格曼, (美) 汤姆·舒伯特, (印) M. V. 阿楚塔·基兰·库马尔著 , 李建文, 蒲戈光译
ISBN:
978-7-111-79656-5 价格： CNY129.00
语种:
chi
载体形态:
XIX, 315页 彩图 24cm
出版发行:
出版地： 北京 出版社： 机械工业出版社 出版日期： 2026
内容提要:
本书介绍了设计和验证的实用方法，并提供实践建议以帮助工程师将这些技术应用到实际工作中。形式化验证（FV）使设计人员能够直接分析和用数学方法探索寄存器传输级（RTL）设计的质量或其他方面，而无须使用仿真的方式。这可以减少验证设计所花费的时间，并更快地达到用于制造的最终设计。本书以SystemVerilog的基本知识为基础，揭开了FV的神秘面纱，并介绍了将其带入英特尔和其他公司主流设计和验证流程的实际应用。阅读此书后，读者将能准备好在其公司中介绍FV并有效地部署FV技术以提高设计和验证效率。 
主题词:
VLSI芯片   计算机辅助设计
中图分类法:
TN472 版次： 5
其它题名:
现代VLSI设计的必备工具包
主要责任者:
塞利格曼 著
主要责任者:
舒伯特 著
主要责任者:
库马尔 著
次要责任者:
李建文 译
次要责任者:
蒲戈光 译
责任者附注:
埃里克·塞利格曼(Erik Seligman)，目前是Cadence设计系统公司的高级产品工程架构师，负责规划和支持Jasper形式化验证工具。此前，他在英特尔公司(俄勒冈州希尔斯伯勒)工作了20多年，涉足软件、设计、仿真和形式化验证等多个领域。 
责任者附注:
汤姆·舒伯特(Tom Schubert)，是波特兰州立大学电子与计算机工程系的兼职教授，曾负责该校“设计验证与确认”方向研究生课程长达8年。此前，他在英特尔公司工作17年，曾管理英特尔最大的硅前验证形式化验证团队，并在多个微处理器设计项目中推广和应用FPV技术。 
责任者附注:
M. V. 阿楚塔·基兰·库马尔(M. V. Achutha Kiran Kumar)，是英特尔设计工程集团的英特尔研究员，负责领导公司形式化验证中央技术办公室，该团队是全球规模最大的工业形式化验证团队之一。