需求与计算模型关联验证方法、系统、存储介质及设备.pdf
夏萍****文章
亲,该文档总共11页,到这已经超出免费预览范围,如果喜欢就直接下载吧~
相关资料
需求与计算模型关联验证方法、系统、存储介质及设备.pdf
本发明涉及一种需求与计算模型关联验证方法、系统、存储介质及设备,以解决目前液体火箭发动机系统的方案设计过程中需求模型与各种计算模型之间数据不互通导致的工作量大、易出错及更新不及时的技术问题。该方法包括:1、构建需求模型和多种计算模型;2、将需求模型与计算模型建立关联;3、将需求模型的设计参数更新到计算模型;4、求解计算模型;5、将计算模型的计算结果与需求模型的性能参数进行对比,若满足要求,则结束;若不满足要求,则调整计算模型或需求模型,返回步骤3直至满足要求。该系统包括需求模型模块、计算模型模块、变量关联
保费计算模型测试方法、系统、设备及存储介质.pdf
本发明提出一种保费计算模型测试方法、系统、设备及存储介质,该方法包括:获取预设模型测试参数、预设模型依赖参数和理论保费值;根据预设模型配置参数,从预设模型测试参数中提取有效模型测试参数,从预设模型依赖参数中提取有效模型依赖参数,获取输入参数组合;将输入参数组合输入预设测试程序,并接收测试接口返回的测试结果;从测试结果中提取出保单测试数据对应的实际保费值,并根据实际保费值和理论保费值,结合预设误差模型评分对照关系,获取目标保费计算模型的测试评分。本发明能同时利用不同场景下数据样本对目标保费模型实现双重验证,
芯片验证方法、系统、设备及存储介质.pdf
本发明提出一种芯片验证方法、系统、设备及存储介质,该方法包括:获取目标芯片所有被测试设计的验证参数;对于当前被测试设计,利用当前被测试设计的验证参数更新脚本;基于验证平台顶层和脚本,对当前被测试设计进行验证,并将下一被测试设计重新作为当前被测试设计,重复上述步骤,直到对所有被测试设计完成验证,以对目标芯片的设计进行验证。本发明实施例在目标芯片有多个被测试设计进行功能测试时,只需要更改脚本文件中的验证参数即可,避免了现有技术中利用人工进行端口连接这样重复性的劳动,从而节约了芯片验证时间,提高了芯片验证效率。
AI芯片验证系统、方法、设备及存储介质.pdf
本公开提供了一种AI芯片验证系统、方法、设备及存储介质,其中,该系统包括:用例生成器,用于基于待验证对象的信息和预设用例模板,生成所述待验证对象的验证用例,其中,所述验证用例满足所述预设用例模板定义的格式,所述待验证对象包括神经网络模型中的目标算子或者神经网络模型;待测设计模块,用于通过待测设计执行所述验证用例,得到测试结果;比对模块,用于将所述测试结果与参考结果进行比对,获得所述待测设计对所述待验证对象的验证结果。
FPGA芯片验证方法、系统、设备及存储介质.pdf
本发明提出一种FPGA芯片验证方法、系统、设备及存储介质,该方法包括:获取目标FPGA芯片和位流文件,所述目标FPGA芯片被划分为若干个电路区域,所述位流文件被划分为若干个数据区域,所述电路区域与所述数据区域一一对应;将每一数据区域中的数据强制赋值给对应电路区域的配置点,以使得对所述目标FPGA进行仿真验证。本发明实施例中通过建立目标FPGA芯片电路区域的配置点和位流文件中数据之间的映射关系,然后将位流文件中的数据强制赋值到电路区域中具体的配置点上,减少了配置数据加载步骤,从而达到减少验证时间,提升验证效