已收藏
图书详情
内容简介:
本书从芯片验证的目的出发，完善了功能覆盖率的定义，阐述了新的随机测试方法，即“功能覆盖率直接驱动的随机测试方法”，以及一种新的验证语言EagleLang，即Eagle语言。该编程语言具有类似脚本语言的简洁语法，专用于芯片验证，也可以用于文本处理、数学计算、多线程编程等应用领域。该语言的编译执行具有接近C++语言的效率，eagle是该语言的编译器工具。
芯片仿真验证效率是影响芯片项目周期的主要因素，本书提出了新一代的验证方法学PVM（Parallel Verification Methodology），采用多核并行技术搭建的PVM验证平台，具有执行效率高的特点，可以有效实现芯片仿真验证加速。另外，在PVM验证平台中采用工厂模式和动态编程技术，可以实现验证组件、测试用例的动态生成，减少验证平台、测试用例的编译时间。
本书主要适合芯片验证工程师、芯片驱动软件开发工程师、芯片系统建模工程师、芯片设计工程师阅读。本书也可以作为从事芯片EDA工具开发的软件工程师、编译器开发软件工程师的参考书籍。本书还可以作为高校师生了解芯片设计与验证技术的参考书籍。 
