形式化验证

定　　价：129 元

• 作者：(美) 埃里克·塞利格曼(Erik Seligman), (美) 汤姆·舒伯特(Tom Schubert), (印) M.V.阿楚塔·基兰·库马尔(M. V. Achutha Kiran Kumar)著
• 出版时间：2025/12/1
• ISBN：9787111796565
• 出 版 社：机械工业出版社

• 中图法分类：TN472 
• 页码：340页
• 版次：1
• 开本：24cm

内容简介

本书介绍了设计和验证的实用方法，并提供实践建议以帮助工程师将这些技术应用到实际工作中。形式化验证（FV）使设计人员能够直接分析和用数学方法探索寄存器传输级（RTL）设计的质量或其他方面，而无须使用仿真的方式。这可以减少验证设计所花费的时间，并更快地达到用于制造的最终设计。本书以SystemVerilog的基本知识为基础，揭开了FV的神秘面纱，并介绍了将其带入英特尔和其他公司主流设计和验证流程的实际应用。阅读此书后，读者将能准备好在其公司中介绍FV并有效地部署FV技术以提高设计和验证效率。