登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書

『簡體書』芯片EDA实战：新一代芯片验证语言Eagle和PVM验证平台 易敏

書城自編碼： 4014945
分類：簡體書→大陸圖書→計算機/網絡→程序設計
作者： 易敏
國際書號(ISBN)： 9787111754909
出版社： 机械工业出版社
出版日期： 2024-07-01

頁數/字數： /
書度/開本： 16开 釘裝： 平装

售價：HK$ 159.9

我要買 件

 

** 我創建的書架 **
未登入.

新書推薦：
绝美的奥伦堡蕾丝披肩编织
《 绝美的奥伦堡蕾丝披肩编织 》
售價：HK$ 177.0
狂飙年代：18世纪俄国的新文化和旧文化（第二卷）
《 狂飙年代：18世纪俄国的新文化和旧文化（第二卷） 》
售價：HK$ 177.0
万有引力书系 纳粹亿万富翁 德国财富家族的黑暗历史
《 万有引力书系 纳粹亿万富翁 德国财富家族的黑暗历史 》
售價：HK$ 109.8
中国常见植物野外识别手册：青海册
《 中国常见植物野外识别手册：青海册 》
售價：HK$ 76.2
三星堆对话古遗址（从三星堆出发，横跨黄河流域，长江流域，对话11处古遗址，探源多元一体的中华文明）
《 三星堆对话古遗址（从三星堆出发，横跨黄河流域，长江流域，对话11处古遗址，探源多元一体的中华文明） 》
售價：HK$ 87.4
迷人的化学（迷人的科学丛书）
《 迷人的化学（迷人的科学丛书） 》
售價：HK$ 143.4
宋代冠服图志（详尽展示宋代各类冠服 精美插图 考据严谨 细节丰富）
《 宋代冠服图志（详尽展示宋代各类冠服 精美插图 考据严谨 细节丰富） 》
售價：HK$ 87.4
形似神异：什么是中日传统政治文化的结构性差异
《 形似神异：什么是中日传统政治文化的结构性差异 》
售價：HK$ 55.8

 
建議一齊購買：

+

HK$ 100.6
《Scala速学版（第3版）》		 +

HK$ 87.3
《深度学习入门 基于Python的理论与实现》		 +

HK$ 131.9
《大规模语言模型：从理论到实践》		 +

HK$ 94.4
《Java Web及其框架技术》		 +

HK$ 172.5
《Java高并发核心编程 卷1（加强版）：NIO、Netty、》		 +

HK$ 129.4
《JavaScript全栈开发实战》
編輯推薦：
本书从芯片验证的目的出发，完善了功能覆盖率的定义，阐述了新的随机测试方法，即“功能覆盖率直接驱动的随机测试方法”，以及一种新的验证语言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，对工具平台的易用性提出了宝贵的意见。特别感谢曾未叶为研发团队提供了全方位的服务和行政支持！
本书能够出版，离不开机械工业出版社的大力支持，感谢张淑谦编辑的悉心指导和辛勤工作！

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.