← 返回

形式化验证：现代VLSI设计的必备工具包

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