【文件属性】：
文件名称：hardware design verification simulation
文件大小：13.19MB
文件格式：PDF
更新时间：2016-06-09 05:29:26
ASIC Verification
Hardware.Design.Verification.Simulation.and.Formal.Method.Based.Approaches
pdf版本，带目录
网友评论
- 很好的一本书。
- 这个资源是完整高清版的，是很好的一本关于形式化电路验证的书籍，原书是2005年的，其中介绍模拟方法部分目前(2016年)看是有些过时，但介绍的形式化验证原理部分一直没太大变化，而且书中讲得很清楚，值得一读。
- 很经典，书也很清晰
- 形式化验证必看的一本书，很清晰
- 找了很久的一本书，很清晰