机读格式显示(MARC)

• 000 01335nam0 2200301 450

• 001 0000524204

• 005 20131126151400.0

• 010 __ |a 978-7-121-19583-9 |d CNY59.00

• 100 __ |a 20130415d2013 em y0chiy0110 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 硬件设计验证 |9 ying jian she ji yan zheng |b 专著 |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页 |d 26cm

• 225 2_ |a 国外电子与通信教材系列 |A guo wai dian zi yu tong xin jiao cai xi lie

• 305 __ |a 由Pearson Education（培生教育出版集团）授权出版

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

• 410 _0 |1 2001 |a 国外电子与通信教材系列

• 510 1_ |a Hardware design verification |e simulation and formal method-based approache |z eng

• 606 __ |a 硬件 |x 验证 |j 教材

• 690 __ |a TP303 |v 5

• 701 _0 |c (美) |a 拉姆 |9 la mu |c (Lam, William K.) |4 著

• 702 _0 |a 王维维 |9 wang wei wei |4 译

• 801 _0 |a CN |b 110017 |c 20130418

• 801 _2 |a CN |b Wuxilib |c 20131126

• 905 __ |a Wuxilib |d TP303/81