机读格式显示(MARC)

• 000 01646nam0 2200457 450

• 001 0000250478

• 005 20070116101211.0

• 010 __ |a 7-118-04719-8 |d CNY32.00

• 099 __ |a CAL 012006136417

• 100 __ |a 20060204d2006 ekmy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ac a 000yy

• 106 __ |a r

• 200 1_ |a 数字电路的仿真与验证 |A shu zi dian lu de fang zhen yu yan zheng |f 潘中良编著

• 210 __ |a 北京 |c 国防工业出版社 |d 2006

• 215 __ |a 249页 |c 图, 肖像 |d 26cm

• 320 __ |a 有书目 (第246-249页)

• 330 __ |a 在数字电路的设计过程中，仿真与验证是一个重要的环节，它能检查所设计的电路是否符合要求。本书系统介绍了数字电路仿真与验证的原理与主要方法。全书共11章，内容包括：VLsI设计的方法与基本流程；电路的逻辑功能模型、结构模型、层次模型等的建立方法；数字电路的逻辑仿真、高层次仿真、开关级仿真；模型检验；组合电路验证；时序电路验证；系统芯片SOC的验证；对逻辑布尔函数或逻辑电路进行有效表示与操作的二元判定图BDD的结构、性质及其在电路的综合、验证中的应用。

• 606 0_ |a 数字电路 |A shu zi dian lu |x 计算机仿真

• 690 __ |a TN79 |v 4

• 701 _0 |a 潘中良 |A pan zhong liang |4 编著

• 801 _0 |a CN |b NUL |c 20061201

• 801 _2 |a CN |b SCNU |c 20070116

• 905 __ |a SCNU |f TN79/3253

• 920 __ |a 232010 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 231400 |z 1

• 920 __ |a 211090 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 211030 |z 1

• 998 __ |a NUL

• 999 __ |M jiangy |m 20070116 10:12:11 |G jiangy |g 20070116 10:12:28

• 000 0000309363

• 991 __ |a 012007000379

• 907 __ |a SCNU |f TN79/3253