题名:硬件设计验证 : 基于模拟与形式的方法 : simulation and formal method-based
作者:(美) William K. Lam著
出版年:2013
ISBN: 978-7-121-19583-9
分类号: TP303
中图分类: 总体结构、系统结构
译者: 王维维
定价: 59.00元
页数: 377 页
出版社: 电子工业出版社
作者:(美) William K. Lam著
出版年:2013
ISBN: 978-7-121-19583-9
分类号: TP303
中图分类: 总体结构、系统结构
译者: 王维维
定价: 59.00元
页数: 377 页
出版社: 电子工业出版社
《国外电子与通信教材系列•硬件设计验证:基于模拟与形式的方法》汇集大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨论一般的测试原则又展示具体的实践方法，包含作者多年实践经验，实用性强。每章最后还配有各类习题，读者可用来巩固所学的知识。