适用于FPGA的验证与确认的方法、系统、设备及介质技术方案

本发明专利技术公开了一种适用于FPGA的验证与确认的方法、系统、设备及介质，方法包括：S

【技术实现步骤摘要】
适用于FPGA的验证与确认的方法、系统、设备及介质
本专利技术涉及高安全要求的DCS(集散控制系统)的验证与确认领域，特别涉及一种适用于FPGA(Field－ProgrammableGateArray，现场可编程门阵列)的验证与确认的方法、系统、设备及介质。
技术介绍
随着DCS在核电、化工、航天、军工等高安全要求的工控领域的广泛运用，DCS的核心控制芯片的验证成为保证DCS产品安全性的关键环节，也是整个DCS系统验证的难点之一。常见的DCS系统芯片，大多采用软件编程来实现用户的需求功能，例如C语言等。对于这类软件验证，在法规标准中都给予了相应的指标要求和方式方法。例如IEEE1012-2004《IEEE软件验证与确认的标准》，该标准给出了伴随软件开发的验证生命周期，具体包括五个阶段，分别为概念阶段、需求阶段、设计阶段、实现阶段和测试阶段，该标准还给出了每个生命周期阶段所需要执行的验证任务。但随着半定制集成电路技术的发展，越来越多的DCS，尤其是高安全要求的领域，采用FPGA技术作为DCS的控制核心。虽然FPGA等半定制技术芯片本文档来自技高网...

【技术保护点】
1.一种适用于FPGA的验证与确认的方法，包括以下步骤：/nS

【技术特征摘要】
1.一种适用于FPGA的验证与确认的方法，包括以下步骤：
S1、执行概念阶段的任务；
S2、执行需求阶段的任务；
S3、执行设计阶段的任务；
S4、执行实现阶段的任务；
S5、执行测试阶段的任务；
其特征在于，
所述步骤S3中的任务包括：设计可编程逻辑仿真测试平台和设计可编程逻辑硬件测试环境；
所述设计可编程逻辑仿真测试平台包括生成FPGA仿真平台的技术方案的描述文件；
所述设计可编程逻辑硬件测试环境包括生成所述测试阶段使用的FPGA硬件测试的测试环境的设计方案；
所述步骤S4中的任务包括：评估可编程逻辑综合布局布线的结果和执行可编程逻辑硬件测试；
所述评估可编程逻辑综合布局布线的结果包括验证FPGA综合和布局布线的设计输入和输出的正确性；
所述执行可编程逻辑硬件测试包括确认FPGA在软件代码形态转化成硬件形态的功能一致性。


2.如权利求1所述的适用于FPGA的验证与确认的方法，其特征在于，
所述步骤S3中的任务还包括：生成可编程逻辑仿真测试计划；
所述生成可编程逻辑仿真测试计划包括生成可编程逻辑级仿真测试的方案，FPGA综合布局布线后的仿真方案以及可编程逻辑下装到FPGA芯片中的FPGA芯片级测试方案。


3.如权利求1所述的适用于FPGA的验证与确认的方法，其特征在于，
所述步骤S1中所包括的任务包括：
概念文档评估；
概念阶段关键性分析；
概念阶段系统需求分配分析；
概念阶段可追踪分析；
概念阶段危害分析；
概念阶段风险分析；
概念阶段信息安全分析；
所述步骤S2中所包括的任务包括：
可编程逻辑需求分析；
需求阶段关键性分析；
可编程逻辑需求接口分析；
需求阶段可追踪分析；
需求阶段危害分析；
需求阶段风险分析；
需求阶段信息安全分析；
生成可编程逻辑系统测试计划；
生成可编程逻辑验收测试计划。


4.如权利求1至3任一项所述的适用于FPGA的验证与确认的方法，其特征在于，
所述步骤S3中的任务还包括：
可编程逻辑设计分析；
设计阶段关键性分析；
可编程逻辑设计接口分析；
设计阶段可追踪分析；
设计阶段危害分析；
设计阶段风险分析；
设计阶段信息安全分析；
设计可编程逻辑系统测试；
设计可编程逻辑验收测试；
所述步骤S4中的任务还包括：
评估可编程逻辑代码；
实现阶段关键性分析；
可编程逻辑实现接口分析；
实现阶段可追踪分析；
实现阶段危害分析；
实现阶段风险分析；
实现阶段信息安全分析；
生成可编程逻辑仿真测试用例；
生成可编程逻辑仿真测试规程；
执行可编程逻辑仿真测试；
生成可编程逻辑系统测试用例；
生成可编程逻辑系统测试规程；
生成可编程逻辑验收测试用例；
生成可编程逻辑验收测试规程；
所述步骤S5中的任务包括：
实现阶段可追踪分析；
实现阶段危害分析；
实现阶段风险分析；
实现阶段信息安全分析；
执行可编程逻辑系统测试；
执行可编程逻辑验收测试。


5.一种适用于FPGA的验证与确认的系统，所述系统包括：
第一阶段执行模块，用于执行概念阶段的任务；
第二阶段执行模块，用于执行需求阶段的任务；
第三阶段执行模块，用于执行设计阶段的任务；
第四阶段执行模块，用于执行实现阶段的任务；

【专利技术属性】
技术研发人员：朱夕辉，何丽冰，李敬业，黄凯，时应盼，
申请(专利权)人：国核自仪系统工程有限公司，
类型：发明
国别省市：上海;31