新書推薦：
《
未来特工局
》
售價：NT$
254.0
《
高术莫用（十周年纪念版 逝去的武林续篇 薛颠传世之作 武学尊师李仲轩家世 凸显京津地区一支世家的百年沉浮）
》
售價：NT$
250.0
《
英国简史（刘金源教授作品）
》
售價：NT$
449.0
《
便宜货：廉价商品与美国消费社会的形成
》
售價：NT$
352.0
《
读书是一辈子的事（2024年新版）
》
售價：NT$
352.0
《
乐道文库·什么是秦汉史
》
售價：NT$
367.0
《
汉娜·阿伦特与以赛亚·伯林 ： 自由、政治与人性
》
售價：NT$
500.0
《
女性与疯狂（女性主义里程碑式著作，全球售出300万册）
》
售價：NT$
500.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
新書上架
