期刊文献+

Verilog RTL模型 被引量:5

Verilog RTL Model
下载PDF
导出
摘要 VLSI集成电路芯片测试技术正在向高层次测试推进 .针对Verilog硬件描述语言 ,提出了一种在寄存器传输级 (registertransferlevel,RTL)上的电路模型VRM .该模型着重于实际应用 ,可输出文本格式文件 ,便于开发实用的RTL级故障模拟和RTL级测试生成等软件 .基于该模型 ,还实现了一个简单的RTL逻辑模拟程序以验证VRM模型的可行性 . The VLSI testing is being pushed to the high-level based technology.The paper presents a Verilog RTL model(VRM) for integrated circuits.It provides a text format file that may be useful for developing RTL fault simulation and test pattern generation tools in practice.Based on the VRM,a simple RTL logic simulator was implemented for verification of the model.
作者 沈理
出处 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第10期1194-1198,共5页 Journal of Tongji University:Natural Science
基金 国家"8 6 3"高技术研究发展计划资助项目 ( 2 0 0 1AA11110 0 )
关键词 VerilogRTL模型 VERILOG硬件描述语言 寄存器传输级模型 逻辑模拟 高层次测试 集成电路芯片 芯片测试 Verilog hardware description language register transfer level model logic simulation high-level testing
  • 相关文献

参考文献5

  • 1BhaskerJ.Verilog HDL硬件描述语言[M].北京:机械工业出版社,2000..
  • 2Williams S.The ICARUS verilog compilation system[EB/OL].http:∥icarus.com/eda/verilog,2002-04-19.
  • 3Reorda M S,Corno F,Squillero G.ITC'99 benchmarks(2nd release)[EB/OL].http:∥www.cad.polito.it/tools/itc99.html,2002-06-10.
  • 4CMU Low Power Group.CMU-DSP Benchmark[EB/OL].http:∥www.ece.cmu.edu/~lowpower/benchmarks.html,2001-06-29.
  • 5Breuer M A,Friedman A D.Diagnosis & reliable design of digital systems[M].Potomac:Computer Science Press,1976.

共引文献3

同被引文献34

  • 1袁本荣,刘万春,贾云得,朱玉文.用Verilog HDL进行FPGA设计的一些基本方法[J].微计算机信息,2004,20(6):93-94. 被引量:23
  • 2俞莉琼,付宇卓.有限状态机的Verilog设计与研究[J].微电子学与计算机,2004,21(11):146-148. 被引量:16
  • 3李俊一,牛萍娟.基于Verilog HDL设计的多功能数字钟[J].微计算机信息,2006,22(04Z):79-81. 被引量:14
  • 4李勇,王蕾,龚锐,戴葵,王志英.一种32位异步乘法器的研究与实现[J].计算机研究与发展,2006,43(12):2152-2157. 被引量:12
  • 5高燕 沈理.寄存器传输级集成电路的时序深度[J].上海:第二届全国测试学术会议,2002,10:80-87.
  • 6龚锐.异步乘法器设计与实现关键技术研究[D].长沙:国防科学技术大学,2005.
  • 7Sokolov D, Yakovlev A. Clockless circuits and system synthesis[J]. IEE Proceedings, Computers and Digital Techniques, 2005, 152(3): 298-316.
  • 8Kol R, Ginosar R. A doubly-latched asynchronous pipeline [C] //Proc of 1997 Int Conf on Computer Design= VLSI in Computers and Processors (ICCD). Piscataway, N J: IEEE, 1997:706-711.
  • 9Cortadella J, Kondratyev A, Lavagno L, et al. Desynchronization: Synthesis of asynchronous circuits from synchronous specifications [J]. IEEE Trans on Computer-Aided Design, 2006, 25(10): 1904-1921.
  • 10Fant K M, Brandt S A. Null conventional logic: A complete and consistent logic for asynchronous digital circuit synthesis [C] //Proe of 1996 Int Conf on Application Specific System, Architecture, and Processors (ASAP). Piscataway, NJ: IEEE, 1996:261-274.

引证文献5

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部