• 

  低功耗验证方法学:(美) Srikanth Jadcherla ... , 刘雷波, 夏宇闻

  作者：(美) Srikanth Jadcherla ... , 刘雷波, 夏宇闻 出版社：北京航空航天大学出版社 出版时间：2012 ISBN：978-7-5124-0849-4
  索书号：TM02/26 分类号：TM02 页数：180页 价格：32.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书分析归纳了多电压低功耗设计仿真验证技术中几乎所有的关键问题, 并提出了十分重要的设计验证原则和规范。

  详细信息

  索书号 展开

• 

  Verilog HDL入门:(美) J. Bhasker, 夏宇闻, 甘伟

  作者：(美) J. Bhasker, 夏宇闻, 甘伟 出版社：北京航空航天大学出版社 出版时间：2008 ISBN：978-7-81124-248-5
  索书号：TP312/318 分类号：TP312 页数：327页 价格：39.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书简要介绍了Verilog硬件描述语言的基础知识，包括语言的基本内容和基本结构，以及利用该语言在各种层次上对数字系统的建模方法。

  详细信息

  索书号 展开

• 

  SystemC入门:美)J. Bhasker, 夏宇闻，甘伟

  作者：美)J. Bhasker, 夏宇闻，甘伟 出版社：北京航空航天大学出版社 出版时间：2008 ISBN：978-7-81124-249-2
  索书号：TP312/977 分类号：TP312 页数：239页 价格：36.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书主要内容包括：SystemC数据类型、组合逻辑建模、同步逻辑建模、三态驱动器建模、常用的设计函数模型、测试平台的编写及系统级建模的功能等。

  详细信息

  索书号 展开

• 

  Verilog SOPC 高级实验教程:夏宇闻，黄然

  作者：夏宇闻，黄然 出版社：北京航空航天大学出版社 出版时间：2009 ISBN：978-7-81124-882-1
  索书号：TP312VH/5 分类号：TP312VH 页数：258页 价格：33.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书内容包括：ModelSim6.0和QuartusⅡ8.1的操作步骤、QuartusⅡ8.1的主要设计资源、SOPCBuilder等工具的应用方法、Verilog模块和FPGA中的内嵌处理器NiosⅡ、高性能嵌入式硬件/软件系统等。

  详细信息

  索书号 展开

• 

  Verilog数字系统设计教程:夏宇闻

  作者：夏宇闻 出版社：北京航空航天大学出版社 出版时间：2008 ISBN：978-7-81124-309-3
  索书号：TP312/838 分类号：TP312 页数：477页 价格：40.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本教材讲述了自20世纪90年代开始在美国和其他先进的工业国家逐步推广的利用硬件描述语言(Verilog HDL)建模、仿真和综合的设计复杂数字逻辑电路与系统的方法和技术等内容。

  详细信息

  索书号 展开

• 

  System Verilog验证方法学:Janick Bergron ... , 夏宇闻 ...

  作者：Janick Bergron ... , 夏宇闻 ... 出版社：北京航空航天大学出版社 出版时间：2007 ISBN：978-7-81124-079-5
  索书号：TN402/20 分类号：TN402 页数：467页 价格：58.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书借助许多用System Verilog编写的例子, 介绍和说明一套完整的验证方法学。它涵盖了所有最新的验证技术, 其中包括: 验证计划制定、TestBench架构、受约束随机激励产生等。近年来, 验证在芯片研究发中所占的比例越来越重。

  详细信息

  索书号 展开

• 

  System Verilog数字系统设计:(英) Mark Zwolinski, 夏宇闻

  作者：(英) Mark Zwolinski, 夏宇闻 出版社：电子工业出版社 出版时间：2011 ISBN：978-7-121-12456-3
  索书号：TP312VH/14 分类号：TP312VH 页数：16, 262页 价格：39.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书讲授用System Verilog语言设计/验证数字系统的基本概念和具体方法, 在介绍基本语法的基础上, 阐述了如何使用RTL级的System Verilog构成可综合的数字电路/组件/系统, 以及如何使用行为级的System Verilog搭建测试平台对设计进行验证。

  详细信息

  索书号 展开

• 

  VHDL嵌入式数字系统设计教程:(澳大利亚) Peter J. Ashenden, 夏宇闻, 夏嘉宁

  作者：(澳大利亚) Peter J. Ashenden, 夏宇闻, 夏嘉宁 出版社：北京航空航天大学出版社 出版时间：2011 ISBN：978-7-5124-0387-1
  索书号：TP312/1278 分类号：TP312 页数：10, 518页 价格：59.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书全面覆盖了与嵌入式系统设计相关的各个方面, 其中各章节不仅讲述了逻辑设计本身, 还阐述了处理器、存储器、输入/输出接口和实现技术。

  详细信息

  索书号 展开

• 

  可编程逻辑电路设计基础教程:周立功, 刘银华, 夏宇闻

  作者：周立功, 刘银华, 夏宇闻 出版社：北京航空航天大学出版社 出版时间：2012 ISBN：978-7-5124-0841-8
  索书号：TP332.1/52 分类号：TP332.1 页数：208页 价格：25.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书包括三部分, 第一部分介绍FPGA基础知识, 包括FPGA的发展历程、设计流程及特色 ; 深入剖析FPGA内部结构 ; 第二部分介绍FPGA的编程语言 —— Verilog HDL ; 第三部分分别介绍基于FPGA的常用IP和DIY创新的应用实例。

  详细信息

  索书号 展开

• 

  Verilog HDL数字设计与综合: a guide to digital design and synthesis:(美)Samir Palnitkar, 夏宇闻， 胡燕祥， 刁岚松

  作者：(美)Samir Palnitkar, 夏宇闻， 胡燕祥， 刁岚松 出版社：电子工业出版社 出版时间：2009 ISBN：978-7-121-08947-3
  索书号：TP312/827 分类号：TP312 页数：16,306页 价格：32.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书从用户的角度全面阐述了Verilog HDL语言的重要细节和基本设计方法，并介绍了Verilog 2001版的主要改进部分。

  详细信息

  索书号 展开