期刊文献+

基于VITAL语言的FPGA板级仿真验证研究 被引量:4

Simulation and Verification of VITAL-based FPGA System
下载PDF
导出
摘要 数字电路在投产前的功能验证工作至关重要。随着器件工艺的进步,单片FPGA上集成的功能越来越复杂,按照改进样机的流程开发,应用FPGA芯片的电子系统时,在产品上市时间和产品开发费用等方面逐渐超出设计者的预算值;而仿真验证方法是由仿真程序,如ModelSim,载人板上元件的模型信息、布局和互连信息,并在激励文件作用下产生系统输出的虚拟验算方法,具有省时,成本低、调试方便和有利于升级换代等优点。介绍用于元件建模的VITAL语言的基本规则及其描述电路模型的基本方法,应用FPGA的快速比较网络的仿真结果表明,仿真验证方法可以有效地提高FPGA系统功能、时序验证的效率。 Verification of digital circuits is a significant issue because the fabrication process progresses rapidly from very large scale integrated circuit to system on chip. Traditional method of design verification is prototyping. It's obviously expensive and can not be adapted to the reduced time to go on the market when developing FPGA - based prototype again. Simulation attempts to create a virtual prototype by collecting information about the components, it has the virtue of independent technology and easier debugging. The paper introduced VITAL and the way to model component with VITAL. Research status of board - level verification of FPGA and its prerequisite and procedure are discussed, and experiment results show the validity of the method. The work plays a part in generalizing domestic VITAL - based board - level verification of FPGA.
出处 《计算机仿真》 CSCD 北大核心 2009年第12期90-94,共5页 Computer Simulation
关键词 现场可编程逻辑阵列 建模 仿真 验证 FPGA Modeling Simulation Verification
  • 相关文献

参考文献5

  • 1李云松,宋锐,雷杰等.Xilinx FPGA设计基础[M].西安:西安电子科技大学出版社,2008.
  • 2Oliver Pell. Verification of FPGA Layout Generators in Higher - Order Logic[ J]. Journal of Automated Reasoning, 2006, 37 : 117 - 152.
  • 3Richard Munden. ASIC and FPGA Verification: A Guide to Component Modeling[ M]. Elsevier, 2005.
  • 4L S Lin. Essential Issues in SOC Design[ M]. Springer, 2006.
  • 5边计年.VITAL——设计ASIC模型的VHDL基准[J].计算机辅助设计与图形学学报,1998,10(2):161-166. 被引量:5

共引文献9

同被引文献28

引证文献4

二级引证文献11

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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