• 

  网管实战:夏宇

  作者：夏宇 出版社：电脑报电子音像出版社 出版时间：2010 ISBN：978-7-89476-327-3
  索书号：TP393.07/61 分类号：TP393.07 页数：317页 价格：35.00
  

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

  本书主要讲解了网络的基本知识及网管员应具备的基本技能, 家庭、学校、网吧、企业及无线网络的组建及管理, 最后分析了故障原因, 提供了具体的解决办法。

  详细信息

  索书号 展开

• 

  低功耗验证方法学:(美) 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架构、受约束随机激励产生等。近年来, 验证在芯片研究发中所占的比例越来越重。

  详细信息

  索书号 展开

• 

  原来如此: 1840-1949中国底本:钱波, 夏宇, 德风供图

  作者：钱波, 夏宇, 德风供图 出版社：文汇出版社 出版时间：2009 ISBN：978-7-80741-494-0
  索书号：K820.5/7 分类号：K820.5 页数：346页 价格：35.00
  

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

  本书挑选的就是一些历史人物的“边角料”, 说是“边角料”, 自然是相对于一般的历史资料而言的, 都是些无足挂齿而又生鲜灵活的闲言杂事。

  详细信息

  索书号 展开

• 

  祖与占:(法) 亨利－皮埃尔·罗什, 夏宇

  作者：(法) 亨利－皮埃尔·罗什, 夏宇 出版社：上海译文出版社 出版时间：2010 ISBN：978-7-5327-5139-6
  索书号：I565.45/158 分类号：I565.45 页数：243页 价格：25.00
  

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

  一九零七年, 巴黎, 从中欧来的祖与法国人占开始了他们一见如故的情谊。他们的生活里有许多女人, 所有的女人都很美丽, 他们有时候自己发现, 有时候互相赠与: 因为他们两个除了使对方高兴以外并不想别的……

  详细信息

  索书号 展开

• 

  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搭建测试平台对设计进行验证。

  详细信息

  索书号 展开