机读格式显示(MARC)

• 000 01891nam 2200349 450

• 001 0000212010

• 005 20130819134400.0

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

• 100 __ |a 20130416d2013 em y0chiy0120 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 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

• 306 __ |a 由Pearson Education (培生教育出版集团) 授权

• 314 __ |a 责任者Lam规范汉译姓: 拉姆

• 320 __ |a 有书目 (第355-375页)

• 330 __ |a 本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨沦一般的测试原则又展示具体的实践方法，包含作者多午实践经验，实用性强。每章最后还配有各类习题，渎者可用来巩固所学的知识。

• 333 __ |a 可作为高等院校电子科学与技术、计算机科学与技术等专业高年级本科生或低年级研究生教材，也可供相关专业工程师参考。

• 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 教材

• 690 __ |a TP303 |v 5

• 690 __ |a TP303 |v 4

• 701 _1 |a 拉姆 |A La Mu |g (Lam, William K.) |4 著

• 702 _0 |a 王维维 |A Wang Wei Wei |4 译

• 801 _0 |a CN |b 江苏新华 |c 20130416

• 905 __ |a WXCSXY |d TP303/88