机读格式显示(MARC)
- 010 __ |a 978-7-121-19583-9 |d CNY59.00
- 099 __ |a CAL 012013052540
- 100 __ |a 20130425d2013 em y0chiy50 ea
- 200 1_ |a 硬件设计验证 |A Ying Jian She Ji Yan Zheng |e 基于模拟与形式的方法 |d = Hardware design verification |e simulation and formal method-based approaches |f (美) William K. Lam著 |g 王维维译 |z eng
- 210 __ |a 北京 |c 电子工业出版社 |d 2013
- 215 __ |a 13, 377页 |c 图 |d 26cm
- 225 2_ |a 国外电子与通信教材系列 |A Guo Wai Dian Zi Yu Tong Xin Jiao Cai Xi Lie
- 314 __ |a 责任者Lam规范汉译姓: 拉姆
- 320 __ |a 有书目 (第356-375页)
- 330 __ |a 本书全面介绍硬件系统设计验证的技术和方法,主要涉及基于模拟和形式验证的方法,内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与sat问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术,内容深入浅出,叙述详尽,既讨论一般的测试原则又展示具体的实践方法,包含作者多年实践经验,实用性强。每章最后还配有各类习题,读者可用来巩固所学的知识。
- 410 _0 |1 2001 |a 国外电子与通信教材系列
- 500 10 |a Hardware design verification : simulation and formal method-based approaches |A Hardware Design Verification : Simulation And Formal Method-based Approaches |m Chinese
- 517 1_ |a 基于模拟与形式的方法 |A Ji Yu Mo Ni Yu Xing Shi De Fang Fa
- 606 0_ |a 硬件 |A Ying Jian |x 设计 |x 验证 |x 高等学校 |j 教材
- 701 _1 |a 拉姆 |A La Mu |g (Lam, William K.) |4 著
- 702 _0 |a 王维维 |A Wang Wei Wei |4 译
- 801 _0 |a CN |b SXDTDX |c 20130917
- 905 __ |a SXDTDX |d TP303/66