%0 Journal Article %T 基于synopsysvmm方法的fpga验证技术 %A 吕欣欣 %A 刘淑芬 %J 计算机应用 %D 2009 %X ?针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(fpga)的硬件设计的质量保证方法,指出必须对fpga设计进行充分的验证以提高相应产品的可靠性。从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于synopsysvmm方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同时提高了验证效率。 %K 现场可编程门阵列 %K 硬件设计 %K vmm %K 验证平台 %K 验证方法学 %U http://www.joca.cn/CN/abstract/abstract12247.shtml