机读格式显示(MARC)

• 000 01318nam0 2200217 450

• 001 0000966851

• 010 __ |a 978-7-111-75490-9 |d CNY139.00

• 100 __ |a 20240731d2024 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 芯片EDA实战 |e 新一代芯片验证语言Eagle和PVM验证平台 |f 易敏著

• 210 __ |a 北京 |c 机械工业出版社 |d 2024.7

• 215 __ |a 416页 |d 24cm

• 330 __ |a 本书从芯片验证的目的出发, 完善了功能覆盖率的定义, 阐述了新的随机测试方法, 即“功能覆盖率直接驱动的随机测试方法”, 以及一种新的验证语言EagleLang, 即Eagle语言。该编程语言具有类似脚本语言的简洁语法, 专用于芯片验证, 也可以用于文本处理、数学计算、多线程编程等常用应用领域。该语言的编译执行具有接近C++语言的效率, eagle是该语言的编译器工具。芯片仿真验证效率是影响芯片项目周期的主要因素, 本书提出了新一代的验证方法学PVM (Parallel Verification Methodology), 采用多核并行技术搭建的PVM验证平台, 具有执行效率高的特点, 可以有效实现芯片仿真验证加速。

• 333 __ |a 本书主要适合芯片验证工程师、芯片驱动软件开发工程师、芯片系统建模工程师、芯片设计工程师阅读。本书也可以作为从事芯片EDA工具开发的软件工程师、编译器开发软件工程师的参考书籍。本书还可以作为高校师生了解芯片设计与验证技术的参考书籍

• 517 1_ |a 新一代芯片验证语言Eagle和PVM验证平台

• 606 0_ |a 芯片－电路设计

• 690 __ |a TN402 |v 5

• 701 _0 |a 易敏 |4 著