澳大利亚新华书店网

芯片EDA实战(新一代芯片验证语言Eagle和PVM验证平台)
所属分类：电子电脑>>电工无线电自动化>>无线电电子.电讯作者：易敏|责编:张淑谦//王海霞出版社：机械工业
本书从芯片验证的目的出发，完善了功能覆盖率的定义，阐述了新的随机测试方法，即“功能覆盖率直接驱动的随机测试方法”，以及一种新的验证语言EagleLang，即 Eagle语言。该编程语言具有类似脚本语言的简洁语法，专用于芯片验证，也可以用于文本处理、数学计算、多线程编程等应用领域。该语言的编译执行具有接近C＋＋语言的效率，eagle是该语言的编译器工具。芯片仿真验证效率是影响芯片项目周期的主要因素，本书提出了新一代的验证方法学PVM （Parallel Verification Methodology），采用多核并行技术搭建的PvM验证平台，具有执行效率高的特点，可以有效实现芯片仿真验证加速。另外，在PvM验证平台中采用工厂模式和动态编程技术，可以实现验证组件、测试用例的动态生成，减少验证平台、测试用例的编译时间。本书主要适合芯片验证工程师、芯片驱动软件丌发工程师、芯片系统建模工程师、芯片设计工程师阅读。本书也可以作为从事芯片EDA工具开发的软件工程师、编译器开发软件工程师的参考书籍。本书还可以作为高校师生了解芯片设计与验证技术的参考书籍。
售价：55.60

龙芯嵌入式系统软硬件平台设计/中国自主产权芯片技术与应用丛书
所属分类：电子电脑>>计算机技术>>硬件及维护作者：符意德|责编:赵祥妮出版社：人民邮电
丛书项：中国自主产权芯片技术与应用丛书
嵌入式系统是一个面向应用、高度裁减的专用计算机系统。随着应用场景的不断丰富，嵌入式系统越发重要。龙芯1号是龙芯中科技术股份有限公司（简称龙芯中科）推出的低功耗、低成本专用微处理器芯片，其面向嵌入式专用应用领域。掌握嵌入式系统的软硬件平台设计，不仅是从业者的需求，也是龙芯中科构建自主创新生态体系不可或缺的一环。本书第01章概要性地介绍嵌入式系统设计的特征，嵌入式系统的发展及应用、设计方法，并详细介绍了龙芯1B的开发工具。第02～ 04章介绍核心板、常用接口、人机接口这三大硬件平台。第05章和第06章分析嵌入式软件平台，包括汇编编程及启动引导程序、操作系统移植及驱动设计。第07章通过一个综合示例，带领读者实践从需求分析到软硬件平台设计的全流程。本书适合作为高等院校计算机、电子信息相关专业的教材，也可供从事嵌入式软硬件设计、开发的技术人员参考。
售价：31.96

RISC-Ⅴ处理器与片上系统设计--基于FPGA与云平台的实验教程/RISC-Ⅴ芯片系列
所属分类：电子电脑>>计算机技术>>硬件及维护作者：编者:陈宏铭//程玉华|责编:刘志红出版社：电子工业
丛书项：RISC-Ⅴ芯片系列
本书将线下的FPGA开发板与线上的云平台结合，可以作为基于开源RISC-Ⅴ处理器的SiFive Freedom E300片上系统，以及E21处理器配合云平台设计方法的实验教程，并用Chisel编程的方式与FPGA硬件一起完成国产RT-Thread操作系统验证的移植。全书包含三大部分内容：首先讲述了基于实验所用Digilent Nexys板级硬件设计平台和Vivado开发工具。其次介绍Verilog HDL、Chisel HCL和一种由国内自主开发的Coffee-HDL 这三种硬件描述语言。最后是三种实验教程的设计与实现方法，包含开源的SiFive Freedom E300片上系统的实验；以英伟达开源的深度学习硬件架构NVDLA为例，介绍如何在Freedom E300 平台上集成Verilog IP的方法及介绍SiFive E21处理器 IP的使用方式与国内自主开发云端SoC开发平台的实验；移植国内自主开发RT- Thread实时多任务操作系统的原理与应用到SiFive Freedom E300片上系统的实验。本书知识点覆盖数字逻辑设计，可用作高等院校计算机与电子信息类专业的数字电路、基于RISC-Ⅴ处理器的计算机组成原理相关课程的辅助实验教材，也可作为芯片设计人员针对FPGA 及嵌入式系统软硬件学习的参考用书。
售价：39.20

商品分类