同类推荐
-
-
漫话芯片:有趣有深度的芯片知识图解
-
¥89.80
-
-
AI辅助芯片制造:算法与工程化落地
-
¥89.00
-
-
AI辅助芯片制造:算法与工程化落地
-
¥89.00
-
-
AI辅助芯片制造:算法与工程化落地
-
¥89.00
-
-
集成电路制造工艺及装备
-
¥69.00
-
-
集成电路测试项目教程:微课版
-
¥69.80
-
-
集成电路测试项目教程:微课版
-
¥69.80
-
-
集成电路测试项目教程:微课版
-
¥69.80
-
-
PCB电路设计与制作:基于嘉立创EDA:微课版
-
¥59.80
-
-
Altium Designer 23原理图与PCB设计…
-
¥59.90
|
|
图书信息
|
|
|
|
形式化验证:现代VLSI设计的必备工具包
|
| ISBN： | 9787111796565 |
定价： | ￥129.00 |
| 作者： | (美)埃里克·塞利格曼(Erik Seligman)，(美)汤姆·舒伯特(Tom Schubert)，(印)M. V.阿楚塔·基兰·库马尔(M. V. Achutha Kiran Kumar)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2026年01月 |
版次： | 1版 |
| 开本： | 24cm |
页数： | 19,315页 |
中图法： | TN470.2 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
114
|
库区13/库区7/样本13/样本7
|
2026-08-19
|
|
其它供货商库存合计
|
382
|
|
2026-08-19
|
图书简介 | | 本书介绍了设计和验证的实用方法，并提供实践建议以帮助工程师将这些技术应用到实际工作中。形式化验证(FV)使设计人员能够直接分析和用数学方法探索寄存器传输级(RTL)设计的质量或其他方面，而无须使用仿真的方式。这可以减少验证设计所花费的时间，并更快地达到用于制造的最终设计。本书以SystemVerilog的基本知识为基础，揭开了FV的神秘面纱，并介绍了将其带入英特尔和其他公司主流设计和验证流程的实际应用。 |
|