杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

硬件设计验证:基于模拟与形式的方法/(美)William K. Lam著 王维维译

出版发行项:

北京:电子工业出版社,2013

ISBN及定价:

978-7-121-19583-9/CNY59.00

载体形态项:

13,377页;26cm

并列正题名:

Hardware design verification:simulation and formal method-based approache

其它题名:

基于模拟与形式的方法

个人责任者:

(美) 拉姆 (Lam, William K.) 著

个人次要责任者:

王维维 译

学科主题:

硬件-设计-验证-高等学校-教材

学科主题:

硬件

中图法分类号:

TP303

一般附注:

国外电子与通信教材系列

版本附注:

由Pearson Education（培生教育出版集团）授权出版

提要文摘附注:

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。

豆瓣简介：