随着片上系统(System on Chip,SoC)芯片规模与功能复杂度的膨胀,硬件加速器已成为大规模SoC的重要组成部分。为了缩短产品交付时间,有必要开发硬件加速器仿真模型,以在SoC设计初期支撑架构的探索与评估。在对硬件加速器的特点与建模需...随着片上系统(System on Chip,SoC)芯片规模与功能复杂度的膨胀,硬件加速器已成为大规模SoC的重要组成部分。为了缩短产品交付时间,有必要开发硬件加速器仿真模型,以在SoC设计初期支撑架构的探索与评估。在对硬件加速器的特点与建模需求进行分析的基础上,提出一种基于AXI验证IP(Verification IP,VIP)、SystemVerilog信箱和旗语的硬件加速器建模方法。该方法支持完备的总线协议特性,同时支持多个处理引擎的并行处理与乱序输出。以实际SoC项目中的通信基带加速器为例,对提出的建模方法进行介绍,并进行相应的系统级仿真与分析。所提出的建模方法可实现对硬件加速器总线行为的高效建模,能够有力支撑SoC验证以及系统架构评估,缩短项目的开发周期。展开更多
校核、验证与确认(verification,validation,and accreditation,VV&A)是保证仿真模型可信度的关键手段,其中模型验证是核心环节。针对导弹飞行仿真模型结果验证存在的参考数据不可获得、参考数据来源多样、专家验证主观性强等问题,...校核、验证与确认(verification,validation,and accreditation,VV&A)是保证仿真模型可信度的关键手段,其中模型验证是核心环节。针对导弹飞行仿真模型结果验证存在的参考数据不可获得、参考数据来源多样、专家验证主观性强等问题,提出一种基于时间序列分段特征提取的导弹飞行仿真模型结果验证方法。提出了一种综合的时间序列分段线性方法,由基于二阶导数提取趋势边缘点的线性分段算法和基于极值点优化的Top-Down线性分段算法两部分组成,以实现对导弹飞行仿真数据和参考数据进行有效的线性分段表示。基于上述分段结果,对各段时间序列的均值、方差、斜率等特征进行提取,以辅助专家进行验证,从而降低验证中的主观性;或者直接利用TIC系数法、动态时间规整(dynamic time warping,DTW)等方法进行客观的相似性分析。通过充分利用时间序列的分段特征,可实现各种情形下的导弹飞行仿真模型结果验证。通过一个导弹模型结果验证案例演示了所提方法的可行性和有效性。展开更多
文摘随着片上系统(System on Chip,SoC)芯片规模与功能复杂度的膨胀,硬件加速器已成为大规模SoC的重要组成部分。为了缩短产品交付时间,有必要开发硬件加速器仿真模型,以在SoC设计初期支撑架构的探索与评估。在对硬件加速器的特点与建模需求进行分析的基础上,提出一种基于AXI验证IP(Verification IP,VIP)、SystemVerilog信箱和旗语的硬件加速器建模方法。该方法支持完备的总线协议特性,同时支持多个处理引擎的并行处理与乱序输出。以实际SoC项目中的通信基带加速器为例,对提出的建模方法进行介绍,并进行相应的系统级仿真与分析。所提出的建模方法可实现对硬件加速器总线行为的高效建模,能够有力支撑SoC验证以及系统架构评估,缩短项目的开发周期。
文摘校核、验证与确认(verification,validation,and accreditation,VV&A)是保证仿真模型可信度的关键手段,其中模型验证是核心环节。针对导弹飞行仿真模型结果验证存在的参考数据不可获得、参考数据来源多样、专家验证主观性强等问题,提出一种基于时间序列分段特征提取的导弹飞行仿真模型结果验证方法。提出了一种综合的时间序列分段线性方法,由基于二阶导数提取趋势边缘点的线性分段算法和基于极值点优化的Top-Down线性分段算法两部分组成,以实现对导弹飞行仿真数据和参考数据进行有效的线性分段表示。基于上述分段结果,对各段时间序列的均值、方差、斜率等特征进行提取,以辅助专家进行验证,从而降低验证中的主观性;或者直接利用TIC系数法、动态时间规整(dynamic time warping,DTW)等方法进行客观的相似性分析。通过充分利用时间序列的分段特征,可实现各种情形下的导弹飞行仿真模型结果验证。通过一个导弹模型结果验证案例演示了所提方法的可行性和有效性。
