期刊文献+

一种面向系统芯片的FPGA协同验证方法 被引量:3

A Concurrent Strategy of FPGA’s Verification for System-on-Chip
下载PDF
导出
摘要  利用多片FPGA对SOC系统进行功能验证时,原始的系统分割策略常常导致欠优化的结果,有时甚至会付出重新设计的高昂代价。文章在静态时序分析的基础上,提出了一种利用关键路径时延信息提高FPGA分割效率的方法。分割结果表明,该方法能显著改善功能验证效率,明显提高逻辑控制块和I/O的利用率。文中同时讨论了该协同验证策略在处理信号完整性与RTL设计脱节时所具有的优势。 The original partition strategy often causes less optimization result when used to verify the functions of SOC with multi-FPGA’s.Even the cost of design is so high that designers have to redesign the system.In this paper, on the basis of static timing analysis, a new method is employed to enhance the efficiency of FPGA partition by extracting the information of critical path-delay.The result of partition demonstrates that the method could significantly improve the efficiency of functional verification and the utilization ratio of CLB’s and I/O.Finally, the advantage of co-verification dealing with the interrelation between signal integrity and RTL design is discussed.
作者 杨焱 侯朝焕
出处 《微电子学》 CAS CSCD 北大核心 2004年第4期469-472,共4页 Microelectronics
基金 国家重点基础研究发展规划(973)资助项目(G1999032904)
关键词 系统芯片 FPGA 协同验证 路径时延 静态时序分析 FPGA verification SOC design Partition Static timing analysis Path-delay
  • 相关文献

参考文献7

  • 1Heragu K. Improving a nonenumerative method to estimate path delay fault coverage [J]. IEEE Trans Computer-Aided Design of Integrated Circuits and Systems, 1997; 16(6) :759-762.
  • 2Naseer A R, Balakrishnam, Kumar A. Direct mapping of RTL structures onto LUT-based FPGA' s[J]. IEEE Trans Computer-Aided Design of Integrated Circuits and Systems, 1998; 17(7):624-630.
  • 3Bhatnagar H. Advanced ASIC chip synthesis [M].Kluwer Academic Pulishers, 1999.
  • 4Kumar J. Prototyping the M68060 for concurrent verification [J]. IEEE Design & Test of Computers,1997;14(1) :34-41.
  • 5Kudugi M, Tessier R. Static scheduling of multidomain circuits for fast functional verification[J]. IEEE Trans Computer-Aided Design of Integrated Circuits and Systems, 2002;21(11):1253-1268.
  • 6Chakradhar S T, Dey S. Resynthesis and retiming for optimum partial scan[J]. IEEE Trans Computer-Aided Design of Integrated Circuits and Systems, 1999;18(5):621-630.
  • 7Cong J. Matching-based methods for high-performance clock routing[J]. IEEE Trans Computer-Aided Design of Integrated Circuits and Systems, 1993;12(8):1157-1169.

同被引文献18

  • 1代永平,孙钟林,陆铁军,王隆望.EDA在新型硅基平板显示设计中的应用[J].微电子学,2002,32(5):351-354. 被引量:3
  • 2陈维.基于VHDL的串行同步通信电路设计[J].兵工自动化,2006,25(2):46-48. 被引量:1
  • 3李小波,张珩,张福新,唐志敏.一类复杂芯片的FPGA验证[J].计算机工程,2006,32(14):243-245. 被引量:2
  • 4BETZ V, ROSE J. VPR: a new packing, placement and routing tool for FPGA research [C] // Int Workshop Field-Programmable Logic and Applications. London, UK. 1997: 213-222.
  • 5BETZ V. VPR User's Manual, Version 4. 22 [EB/ OL]. http://www. eecg. toronto. edu/-vaughn/vpr/ vpr. html. Nov. 1998.
  • 6BETZ V, ROSE J. Automatic generation of FPGA routing architectures from high-level descriptions [C] // ACM/ SIGDA Int Symp FPGAs. New York, USA. 2000: 175-184.
  • 7BETZ V, ROSE J, MARQUARDT A. Architecture and CAD for deep-submicron FPGAs [M]. Boston/ Dordrecht/London: Kluwer Academic Publishers, 1999 : 65-103.
  • 8LAI Y-T, WANG P-T. Hierarchical interconnection structures for field programmable gate arrays [J]. IEEE Trans Very Large Scale Integr Syst, 1997, 5 (2) : 186-196.
  • 9夏飞.基于FPGA组的ASIC验证原型和逻辑分割算法的研究与实现[D].长沙:国防科技大学计算机学院,2005.
  • 10Walters S.Computer-aided prototyping for ASIC-based systems[J].IEEE Design and Test 1991,8(2):4—10.

引证文献3

二级引证文献12

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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