期刊文献+

支持并行模拟的Verilog编译技术研究与实现 被引量:1

Verilog Compile Techniques in Support of Parallel Simulation
下载PDF
导出
摘要 并行HDL模拟是加速大型复杂的VLSI系统模拟验证的有效方法,支持并行模拟的HDL编译技术是其中的关键技术。文章提出了一种支持并行模拟的Verilog编译技术,编译器将Verilog描述转换成C++代码,最后与并行模拟核心库编译链接生成可执行并行程序。文章将主要介绍编译器构成、代码生成方法和并行模拟核心库,该技术已经在并行Verilog模拟器ParaVer上实现。 Parallel HDL simulation is an efficient method to accelerate the verification process of large complex VLSI system design.HDL compilation technique that supports parallel simulation is the key technique.This paper presents a new Verilog compilation technique which has been implemented in parallel Verilog simulator -ParaVer.The compiler translates Verilog description into C++code,and generates executable parallel program after compiling and linking the C++code and parallel simulation kernel.This paper introduces the composition of the compiler,code generation method and Verilog parallel simulation kernel.
出处 《计算机工程与应用》 CSCD 北大核心 2002年第16期184-187,共4页 Computer Engineering and Applications
基金 国家自然科学基金重点项目(合同号:69933030) 部委试验基金项目资助
关键词 并行模拟 VERILOG语言 编译技术 编译器 模拟核心库 Parallel Verilog simulation,Simulation kernel,Verilog compile
  • 相关文献

参考文献7

  • 1[1]IEEE Standard Hardware Description Language Based on the Verilog Hardware description Language[S].IEEE Std 1364~1995,1996-10
  • 2[2]Mike Gordon.The semantic challenge of Verilog HDL[C].In:Tenth Annual IEEE Symposium on Logic in Computer Science(LICS'95),San Diego Ca, 1995:26~29
  • 3[3]Egon Boerger et al.A Formal Definition of an Abstract VHDL'93Simulator by EA-Machines,in Formal Semantics for VHDL[M].Kluwer Academic Publishers, 1995: 107~139
  • 4[4]Hisashi Sasaki. A Formal Semantics for Verilog-VHDL Simulation Interoperability by Abstract State Machine[C].In:DATE99,1999:53~59
  • 5[5]DJ Greaves. A Verilog to C Compiler[C].In:RSP 2000,Paris,2000
  • 6[6]Krishnan Subramani.The Design of a Time Warp Synchronized VHDL Simulation Kernel[D].Master Thesis. Department of Electrical and Computer Engineering and Computer Science of The College of Engineering,University of Cincinnati, 1998
  • 7[7]Dhananjai Madhava Rao. WARPED.Http://www.ececs.uc.edu/53~59paw/warped

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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