期刊文献+

RTL集成电路的时序深度

Sequential Depth of Integrate Circuits Based on Register Transfer Level
下载PDF
导出
摘要 在高层次测试生成中 ,为了更好地利用高层次电路的结构信息 ,以Verilog硬件描述语言描述的电路为研究对象 ,提出寄存器传输级 (RTL)集成电路的静态时序深度和动态时序深度概念 .从静态、动态两方面出发度量语句的执行效果和程序运行的时序关系 ,并结合实例分析了二者在高层次测试生成中的应用 .高层次行为信息的提取也将为高层次设计和验证提供方便 . In high-level test generation,to grasp better the structural information of high-level circuits,circuits based on Verilog hardware description language (HDL) are researched,and static sequential depth and dynamic sequential depth are introduced firstly.Executive effects of sentences and sequential relations of program are measured by static and dynamic methods,and applications in high-level test generation are analyzed instantially.In addition,behavioral information retrieval of high-level circuits will provide convenience for high-level designs and verifications.
作者 高燕 沈理
出处 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第10期1209-1214,共6页 Journal of Tongji University:Natural Science
基金 国家"8 6 3"高技术研究发展计划资助项目 ( 2 0 0 1AA11110 0 )
关键词 RTL集成电路 高层次测试 硬件描述语言 时序深度 寄存器传输液 芯片设计 high-level testing hardware description language sequential depth
  • 相关文献

参考文献5

  • 1Rutman R A.Fault detection test generation for sequential logic by heuristic tree search[J].IEEE Computer Group Repository,1972,R72-187:9-10.
  • 2Goldstein L H.Sandia controllability/observability analysis program[A].Proceedings of Design Automation Conference[C].[s.l.]:DAC,1980.190-196.
  • 3Krieger R.PLATAO:A tool for computation of exact signal probabilities[A].6th Int Conf VLSI Design[C].Bombay:[s.n.],1993.65-68.
  • 4Williams S.The ICARUS verilog compilation system[EB/OL].http://www.icarus.com/eda/verilog,2002-04-19.
  • 5沈理.Verilog RTL模型[J].同济大学学报(自然科学版),2002,30(10):1194-1198. 被引量:5

二级参考文献5

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

共引文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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