集成电路验证所需教材及参考书
07-31
预备知识:
•计算机系统结构
1)John L. Hennessy, David A. Patterson “Computer Architecture: A
Quantitative Approach”，机械工业出版社
2)Dominic Sweetman“MIPS处理器设计透视See MIPS Run”，北京航空航天大学出版社
3)胡伟武老师秋季学期开设的课程《高性能计算机系统》
•硬件描述语言(Verilog)
1) MichaelD.Ciletti, “Advanced Digital Design with the VerilogHDL”，电子工业
出版社
教材&参考书目：•教材：
1. Bruce Wile,etal. “全面的功能验证：完整的工业流程”，机械工业出版社
•参考书目&文献：
1. William K. Lam “Hardware Design Verification---Simulation and Formal Method-Based
Approaches”
，机械工业出版社
•参考书目&文献（续）：
2.Janick Bergeron, “Writing TestbenchUsing SystemVerilog”, Springer, 2006
3.Edmund M. Clarke,etc.“ModelChecking”, MIT Press, 1999
4. DAC,ICCAD,HPCA,CAV,FMCAD等会议论文
集的相关论文