出版社:科学出版社
年代:2017
定价:98.0
全面介绍了集成电路验证领域的各项技术内容。本书首先介绍了设计验证语言,在此基础上探讨了数字电路设计中的功能验证和物理验证,还关注模拟电路仿真、功耗验证等内容,围绕相关验证技术,介绍了EDA工具支持下的工业界验证实践。本书关注验证领域存在的问题及前沿研究工作,介绍了包括低功耗验证、指令级随机验证、硅后验证等仍在探索中的内容,给读者带来更多的思考空间。
(美) 内库加 (Nekoogar,F.) , 著
(美) 穆罕默德·特朗普 (Mohammad Tehranipoor) , (美) 哈桑·塞马尼 (Hassan Salmani) , (美) 张雪辉 (Xuehui Zhang) , 著
李晓维, 吕涛, 李华伟, 李光辉, 著
王芳, 徐振, 主编
时万春等, 编著
姜岩峰, 张晓波, 杨兵, 编著
高成, 张栋, 王香芳, 编著
邓善修, 主编
(美) 格拉瑟 (Glasser,M.) , 主编