机读格式显示(MARC)

• 000 01658nam2 2200373 4500

• 001 0000204222

• 005 20061206141904.0

• 010 __ |a 7-121-03076-4 |d CNY45.00

• 100 __ |a 20060919d2006 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 编写测试平台 |A bian xie ce shi ping tai |9 bian xie ce shi ping tai |e HDL模型的功能验证 |E HDL mo xing de gong neng yan zheng |d Writing testbenches |e functional verification of HDL models |f (美)Janick Bergeron著 |g 张春, 陈新凯, 李晓雯等译 |z eng

• 205 __ |a 第2版

• 210 __ |a 北京 |c 电子工业出版社 |d 2006.8

• 215 __ |a 17,345页 |d 24cm

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

• 305 __ |a 本书由斯普林格出版公司授予出版 据原书第2版译出

• 330 __ |a 本书介绍了验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。

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

• 510 1_ |a Writing testbenches |e functional verification of HDL models |z eng

• 517 1_ |a HDL模型的功能验证 |A HDL mo xing de gong neng yan zheng |9 HDL mu xing de gong neng yan zheng

• 606 0_ |a 集成电路 |A ji cheng dian lu |x 芯片 |x 验证

• 610 0_ |a HDL |A HD

• 690 __ |a TN407 |v 4

• 701 _1 |a 伯杰龙 |A bai jie long |9 bo jie long |b J. |4 著

• 701 A1 |a Bergeron |A Bergero |b Janick |4 著

• 702 _0 |a 张春 |A zhang chun |9 zhang chun |4 译

• 702 _0 |a 陈新凯 |A chen xin kai |9 chen xin kai |4 译

• 702 _0 |a 李晓雯 |A li xiao wen |9 li xiao wen |4 译

• 801 _0 |a CN |b ZL |c 20060919

• 905 __ |a HIEL |d TN407/244

• 999 __ |a 22 |b 5 |e 06280