[1] Michael D .Cileti. Modeling, Synthesis, and Prototyping with the Verilog HDL. Prentice Hail .1999
[2] IEEE Standard Hardware Description Language Based on the Verilog Hardware Description Language. IEEE Standard 1364-1995.Dec.1995
[3] Alur A, Henzinger T A. HoPei-Hsin.Automatic symbolic verification of embedded systems. IEEE Transaction on Software Engineering.1996, 22(3):181-201
[4]Mike Gordon. The Semantic Challenge of Verilog HDL. Revised version of an invited paper to be published in the proceedings of the tenth Annual IEEE Symposium on Logic in Computer Science (LICS'95),June26-29,1995
[5]Gerardo Schneider and Xu Qiwen. Towards an Operational Semantics of Verilog. Technical Report 147.UNU/IIST,Mauau.1998
[6] He Jifeng, Zhu Huibiao. Formalising Verilog. Proc. IEEE International Conference on Electronics, Circuits and Systems, IEEE Computer Society Press, Dec.2000,pp.412-415
[7]Donald E. Thomas, Philip R. Moorby. 硬件描述语言Verilog(第四版),2001年08月第1版
[8]The Verilog Language Reference Manual.1995
[9]The IEEE Verilog 1364-2000 Standard 2000
[10]On-line Verilog HDL Quick Reference Guide. Sutherland HDL, Inc., 1997
[11]CSCI 320 Computer Architecture Handbook on Verilog HDL.1997
[12]Gerard M Blair's Verilog Course
[13]Verilog Pro Manual.1999
[14]Sternheim, Singh, Madhavan.Digital Design and Synthesis with Verilog HDL.San Jose: Automata Publishing Company. 1993
[15]张明Verilog HDL实用教程.成都电子科技大学出版社,1999
[16]张亮 数字电路设计与Verilog HDL.人民邮电出版社,2000
[17]夏宇闻.复杂数字电路与系统的Verilog HDL设计技术.北京航空航天大学出版社. 1998
[18]李勇坚等,Verilog语言形式化语义研究,软件学报(已录用)
[19]于枫等,ALTERA可编程逻辑器件应用技术,科学出版社,2004
[20]阎石,数字电子技术基础,高等教育出版社,1998
[21]王金明、杨吉斌,数字系统设计与Verilog HDL,电子工业出版社,2002
|