新書推薦：
《
Fundamental of Physics（7th Edition） 基础物理学（第7版）（改编版）
》
售價：NT$
473.0
《
全2册历史不忍细看一本书读懂中国史中华上下五千年历史知识现代史通史书中小学生青少年课外书中国史历史类书籍
》
售價：NT$
437.0
《
再见杨德昌：台湾电影人访谈纪事
》
售價：NT$
510.0
《
彩色图解传习录：彩书馆（16开四色平装）
》
售價：NT$
286.0
《
彩色图解第二次世界大战全史：彩书馆（16开四色平装）
》
售價：NT$
286.0
《
全彩图说中华典故：彩书馆（16开四色平装）
》
售價：NT$
286.0
《
舌尖上的中国：中华美食的前世今生（生活养生）
》
售價：NT$
234.0
《
相泽沙呼作品集（心灵侦探城塚翡翠+城塚翡翠倒叙集）（共2册）
》
售價：NT$
926.0
|
| 編輯推薦： |
|
本书从芯片验证的目的出发，完善了功能覆盖率的定义，阐述了新的随机测试方法，即“功能覆盖率直接驱动的随机测试方法”，以及一种新的验证语言EagleLang，即Eagle语言。该编程语言具有类似脚本语言的简洁语法，专用于芯片验证，也可以用于文本处理、数学计算、多线程编程等应用领域。该语言的编译执行具有接近C 语言的效率，eagle是该语言的编译器工具。
|
| 內容簡介： |
本书从芯片验证的目的出发，完善了功能覆盖率的定义，阐述了新的随机测试方法，即“功能覆盖率直接驱动的随机测试方法”，以及一种新的验证语言EagleLang，即Eagle语言。该编程语言具有类似脚本语言的简洁语法，专用于芯片验证，也可以用于文本处理、数学计算、多线程编程等应用领域。该语言的编译执行具有接近C 语言的效率，eagle是该语言的编译器工具。
芯片仿真验证效率是影响芯片项目周期的主要因素，本书提出了新一代的验证方法学PVM（Parallel Verification Methodology），采用多核并行技术搭建的PVM验证平台，具有执行效率高的特点，可以有效实现芯片仿真验证加速。另外，在PVM验证平台中采用工厂模式和动态编程技术，可以实现验证组件、测试用例的动态生成，减少验证平台、测试用例的编译时间。
本书主要适合芯片验证工程师、芯片驱动软件开发工程师、芯片系统建模工程师、芯片设计工程师阅读。本书也可以作为从事芯片EDA工具开发的软件工程师、编译器开发软件工程师的参考书籍。本书还可以作为高校师生了解芯片设计与验证技术的参考书籍。
|
| 關於作者： |
|
易敏，男，毕业于武汉测绘科技大学电子工程专业，济南新语软件科技有限公司CEO。曾就职于华为公司、海思半导体，从2001年开始，先后从事芯片验证项目交付、验证技术研究、验证工具开发和芯片CAD工具开发工作，主导的多款芯片CAD工具在海思半导体得EDA仿真工具实战：EagleLang芯片验证专用编程语言、PVM多核并行仿真验证平台设计到广泛应用。后任职于中芯国际设计服务部门，2022年创办济南新语软件科技有限公司，从事芯片验证EDA工具软件开发业务。
|
| 內容試閱：
|
前言
为充分利用服务器的多核性能，提升单个大的仿真任务的执行效率，笔者所在团队设计出了并行仿真验证平台PVM（Parallel Verification Methodology）和多机分布式验证平台DVM（Distributed Verification Methodology）。PVM、DVM验证平台吸收了OVM、UVM验证平台的优点，在架构上做了创新：各个验证组件多线程并行执行；各个验证组件自带tube通信管道实现线程间安全、高效通信；通过配置文件按需动态生成Testbench，不需要编译即可执行；使用配置文件设计测试用例，所有的测试用例都不需要编译。
Eagle和PVM是新一代的专用验证语言和验证平台。
本书从开始编写到交付出版历时3年有余，主要是因为书中的Eagle编程语言和PVM验证平台都有一个从无到有的实现过程，并且一直处于调整过程中，其中的一些细节须反复推敲，导致无法及时定稿。Eagle编程语言和PVM验证平台会持续改进和更新，虽然笔者一直期望给读者呈现的是最后确定的设计，但不可能等到所有的设计实现都完全固化后再出版。本书中所描述的接口函数定义、使用的示例可能会在具体的实现中发生变化。为此笔者深表歉意！Eagle编程语言和PVM验证平台的设计变更笔者会在后续版本进行持续修订。
本书呈现的内容全部由济南新语软件科技有限公司的研发团队实现，感谢杨云召、成民对PVM验证平台架构、编译器前端设计所做出的突出贡献，感谢魏明、申传强、刘科、易天浩、牛夏舟在后端实现上发挥了重要作用，感谢夏兴万、郭香华构建了完备的测试环境，开发了成千上万的测试用例。感谢王胜、董昊搭建了演示Demo，对工具平台的易用性提出了宝贵的意见。特别感谢曾未叶为研发团队提供了全方位的服务和行政支持！
本书能够出版，离不开机械工业出版社的大力支持，感谢张淑谦编辑的悉心指导和辛勤工作！
|
|
購物車/收銀台(
0
) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
