基于FPGA的通用仿真设计及其覆盖率分析
摘要
本文从工程实践的角度介绍了FPGA验证的整个流程,分别对仿真工程的建立、编码规则检查、功能仿真测试、静态时序分析以及仿真覆盖率做了分析和介绍,并对当前验证中的问题做了分析,以及对FPGA验证未来的发展做了展望。
二级参考文献103
-
1Slimane-Kadi M, Brasen D, and Saucier G. A fast-FPGA prototyping system that uses inexpensive high-performance FPIC. Proc. 2nd Annual Workshop on FPGAs, Berkeley, 1994: 147-156.
-
2Chinnery D and Keutzer K. Closing the Gap Between ASIC and Custom Tools and Techniques for High-Performance ASIC Design. Netherland: Kluwer Academic Publishers, 2002 157-158.
-
3Altera Corporation. Hardcopy series handbook, http://www. altera.com.cn/literature/hb/hrd/hc_handbook.pdf, 2008, 9.
-
4Kuon I and Rose J. Measuring the gap between FPGAs and ASICs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2007, 26(2): 203-215.
-
5Hamdy E and McCollum J, et al.. Dielectric based antifuse for logic and memory IC. International Electron Devices Meeting Technical Digest, San Francisco, 1988: 786-789.
-
6Birkner J and Chan A, et al.. A very-high-speed field-programmable gate array using metalto-metal antifuse programmable elements. Microelectronics Yournal, 1992, 23(7): 561-568.
-
7Birkner J and Chua H T. Programmable array logic circuit. U.S.Patent, 4124899, 1978.
-
8Brown S and Rose J. FPGA and CPLD architectures. A tutorial. IEEE Design and Test of Computers, 1996, 12(2): 42-57.
-
9Frohman-Dentchkowsky D. A fully-decoded 2048-bit electrically programmable MOS ROM. IEEE International Solid State Circuits Conference Digest of Technical Papers, Philadelphia, 1971: 80-81.
-
10Guterman D C and Rimawi L H, et al.. An electrically alterable nonvolatile memory cell using a floating-gate structure. IEEE Transactions on Electron Devices, 1997, 26(4): 576-586.
共引文献219
-
1王德波.基于FPGA和CPU综合控制星上时间管理系统设计[J].电子测量技术,2020(10):24-29. 被引量：2
-
2陈宏伟,张福海,付宜利,王翔宇.外骨骼机械手控制系统设计[J].华中科技大学学报（自然科学版）,2013,41(S1):320-323. 被引量：3
-
3贾建峰,崔培玲.基于FPGA的ARM与CAN控制器的接口设计与实现[J].计算机测量与控制,2010,18(11):2652-2655. 被引量：4
-
4宋克非.FPGA在航天遥感器中的应用[J].光机电信息,2010,27(12):49-55. 被引量：7
-
5朱传雨,刘建国,陆亦怀,桂华侨,黄书华.基于FPGA的气溶胶粒径信息存储系统的设计与实现[J].电子技术应用,2011,37(5):86-89. 被引量：1
-
6孙红英,杨鸿武,陶中幸.语谱分析的FPGA实现[J].电子与信息学报,2011,33(5):1238-1242. 被引量：3
-
7孙立波,雷加.基于SRAM型FPGA测试技术的研究[J].国外电子测量技术,2011,30(5):36-40. 被引量：10
-
8宣蔚晶,曹琦.FDP250K-Ⅱ可编程芯片在卡菱停车场系统中的应用[J].计算机应用与软件,2011,28(7):98-102.
-
9杨萌,王祖强.基于FPGA的像素探测器数据缓存设计[J].电子技术应用,2011,37(9):92-96. 被引量：1
-
10陈康.基于FPGA的双倍率动态存储器读写误码检测仪的实现[J].福州大学学报（自然科学版）,2011,39(4):546-549.
-
1何新华,蔡红柳,王维锋.嵌入式软件数学仿真测试研究[J].仪器仪表学报,2002,23(z2):471-472. 被引量：1
-
2李伯虎,柴旭东.信息时代的仿真软件[J].系统仿真学报,1999,11(5):316-320. 被引量：17
-
3孟秀云.仿真工程数据库的开发与研究[J].系统仿真学报,1994,6(3):34-39. 被引量：1
-
4朱英.微处理器功能验证及相关技术浅析[J].高性能计算技术,2003,0(1):41-44.
-
5叶祥明,刘伟.目标码覆盖率分析在PPC目标环境中的应用[J].电子世界,2013(18):207-207.
-
6丁振国,郭强.基于程序控制的路径测试技术研究[J].电子科技,2008,21(12):53-56. 被引量：2
-
7魏鑫,魏安策,张明敏,康建涛.基于逻辑覆盖率分析的弹上软件单元测试技术研究与应用[J].战术导弹控制技术,2009(3):21-27.
-
8余俊,张菊平,赵莉.关于程序控制流程图的路径测试方法研究[J].电子科技,2008,21(7):40-43. 被引量：1
-
9黄荦.基于模型开发的机载软件模型测试技术研究[J].工业控制计算机,2011,24(10):64-65.
-
10赵智超.嵌入式系统测试工具CodeTest应用研究[J].电信技术研究,2006(12):42-46. 被引量：1
