文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP312/A180 | Verilog嵌入式数字系统设计教程 | (澳)Peter J. Ashenden著;夏宇闻,夏嘉宁等 | 北京航空航天大学出版社 | 2009.07 |
| 2 | TP302.2/B982 | 数字逻辑基础与Verilog设计 | (加) Stephen Brown, Zvonko Vranesic著;夏 | 机械工业出版社 | 2008 |
| 3 | TP312VH/B063 | Verilog HDL入门 | (美) J. Bhasker著;夏宇闻, 甘伟译 | 北京航空航天大学出版社 | 2008.09 |
| 4 | TP312C/B063 | SystemC 入门 | (美) J.BHASKER著;夏宇闻, 甘伟译 | 北京航空航天大学出版社 | 2008.09 |
| 5 | TN702.2/P014 | Verilog HDL数字设计与综合 | (美) Samir Palnitkar著;夏宇闻, 胡燕祥, | 电子工业出版社 | 2022.01 |
| 6 | TN402/B911 | System Verilog验证方法学 | Janick Bergeron … [等] 著;夏宇闻 … [等 | 北京航空航天大学出版社 | 2007.05 |
| 7 | H312-62/X222 | 从算法设计到硬线逻辑的实现 | 夏宇闻 | 高等教育出版社 | 2001.06 |
| 8 | TP312/X222 | V数字系统设计教程 | 夏宇闻编著 | 北京航空航天大学出版社 | 2003.07 |
| 9 | TP312/X2221 | 从算法设计到硬线逻辑的实现 | 夏宇闻编著 | 高等教育出版社 | 2001.02 |
| 10 | TN49/X877 | 复杂数字电路与系统的Verilog HDL设计技术 | 夏宇闻编著 | 北京航空航天大学出版社 | 1998.08 |