📖 书目详情
形式化验证：现代VLSI设计的必备工具包
| 著者 | (美)埃里克·塞利格曼(Erik Seligman)，(美)汤姆·舒伯特(Tom Schubert)，(印)M. V.阿楚塔·基兰·库马尔(M. V. Achutha Kiran Kumar)著 |
| ISBN | 9787111796565 |
| 中图分类 | TN470.2 电子技术、通信技术 |
| 学科分类 | 工学 |
| 版次 | 第1版 |
| 出版社 | 机械工业出版社 |
| 丛书名 | 集成电路科学与工程丛书 |
| 出版年 | 2026 |
| 页码 | 19315页 |
| 价格 | ¥129.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
8.1/10
|
📝 内容简介
本书介绍了设计和验证的实用方法，并提供实践建议以帮助工程师将这些技术应用到实际工作中。形式化验证(FV)使设计人员能够直接分析和用数学方法探索寄存器传输级(RTL)设计的质量或其他方面，而无须使用仿真的方式。这可以减少验证设计所花费的时间，并更快地达到用于制造的最终设计。本书以SystemVerilog的基本知识为基础，揭开了FV的神秘面纱，并介绍了将其带入英特尔和其他公司主流设计和验证流程的实际应用。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购