对基于高层体系结构(High Level Architecture,简称HLA)的仿真系统的校核、验证与确认(Verification, Validation and Accreditation,简称VV&A)问题进行了详细的介绍及分析。在回顾研究历史及现状的基础上,首先介绍了HLA中VV&A...对基于高层体系结构(High Level Architecture,简称HLA)的仿真系统的校核、验证与确认(Verification, Validation and Accreditation,简称VV&A)问题进行了详细的介绍及分析。在回顾研究历史及现状的基础上,首先介绍了HLA中VV&A的主要问题,包括概念、方法、基于联邦开发和运行过程(Federation Development and Execution Process,简称FEDEP)的VV&A过程、VV&A与测试和评估(Test and Evaluation,简称T&E)的关系以及自动化等。接着详细分析了HLA的VV&A研究中的难点:互操作性与可重用性的VV&A问题。最后进行了总结。展开更多
介绍了OVM(Open Verification Methodology)验证方法学的基本概念和技术,从验证环境的体系架构、验证组件的可重用性和验证过程等方面进行详细说明,给出一个使用e语言实现的基于OVM的可重用自动化验证平台的实例。基于OVM的可重用自动...介绍了OVM(Open Verification Methodology)验证方法学的基本概念和技术,从验证环境的体系架构、验证组件的可重用性和验证过程等方面进行详细说明,给出一个使用e语言实现的基于OVM的可重用自动化验证平台的实例。基于OVM的可重用自动化验证平台可提高SoC(System on a chip)功能验证的可重用性、可扩展性和验证效率。展开更多
文摘对基于高层体系结构(High Level Architecture,简称HLA)的仿真系统的校核、验证与确认(Verification, Validation and Accreditation,简称VV&A)问题进行了详细的介绍及分析。在回顾研究历史及现状的基础上,首先介绍了HLA中VV&A的主要问题,包括概念、方法、基于联邦开发和运行过程(Federation Development and Execution Process,简称FEDEP)的VV&A过程、VV&A与测试和评估(Test and Evaluation,简称T&E)的关系以及自动化等。接着详细分析了HLA的VV&A研究中的难点:互操作性与可重用性的VV&A问题。最后进行了总结。
文摘介绍了OVM(Open Verification Methodology)验证方法学的基本概念和技术,从验证环境的体系架构、验证组件的可重用性和验证过程等方面进行详细说明,给出一个使用e语言实现的基于OVM的可重用自动化验证平台的实例。基于OVM的可重用自动化验证平台可提高SoC(System on a chip)功能验证的可重用性、可扩展性和验证效率。
