机读格式显示(MARC)

• 000 01439nam0 2200265 450

• 001 0000763169

• 005 20250621134600.0

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

• 100 __ |a 20240808d2024 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yy

• 106 __ |a r

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

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

• 215 __ |a XII, 403页 |c 图 |d 24cm

• 300 __ |a 机工IT

• 314 __ |a 易敏, 毕业于武汉测绘科技大学电子工程系, 2000-2018年就职于某知名通信公司及其芯片设计公司, 一直从事芯片相关的研发工作。2022年创办济南新语软件科技有限公司, 从事芯片EDA研发工作, 发明了Eagle编程语言和PVM验证平台。

• 330 __ |a 本书从芯片验证的目的出发, 完善了功能覆盖率的定义, 阐述了新的随机测试方法, 即“功能覆盖率直接驱动的随机测试方法”, 以及一种新的验证语言EagleLang, 即Eagle语言。本书提出了新一代的验证方法学PVM (Paralle lVerification Methodology), 采用多核并行技术搭建的PVM验证平台, 具有执行效率高的特点, 可以有效实现芯片仿真验证加速。另外, 在PVM验证平台中采用工厂模式和动态编程技术, 可以实现验证组件、测试用例的动态生成, 减少验证平台、测试用例的编译时间。

• 517 1_ |a 新一代芯片验证语言Eagle和PVM验证平台 |A xin yi dai xin pian yan zheng yu yan Eaglehe PVM yan zheng ping tai

• 606 0_ |a 芯片 |A xin pian |x 电路设计

• 690 __ |a TN402 |v 5

• 701 _0 |a 易敏 |A yi min |4 著

• 801 _0 |a CN |b WFKJXY |c 20250621

• 905 __ |a WFKJXY |d TN402/32