一种面向车规芯片功能安全验证平台制造技术

一种面向车规芯片功能安全验证平台

【技术实现步骤摘要】
一种面向车规芯片功能安全验证平台、方法、设备及介质


[0001]本专利技术属于车规芯片功能安全验证
，尤其涉及一种面向车规芯片功能安全验证平台
、
方法
、
设备及介质
。

技术介绍

[0002]车规芯片的功能安全是指，在车规芯片的相关开发过程中，需要通过功能安全分析方法学对于芯片中的相关功能模块进行加固处理，以保证芯片不会因为随机硬件失效而出现功能失效，进而对驾驶人的人身安全产生威胁
。
而功能安全验证就是对于相关功能模块加固处理有效性的验证
。
[0003]基于故障注入的可靠性评估方法作为微处理器
、
数字系统等模型的可靠性验证的有效手段，在过去的对于可靠性研究中发挥了积极的作用
。
故障注入是指按照选定的故障模型，用人工的方法有意识地产生故障并施加于运行特定工作负载的目标系统中，以加速该系统的错误与失效的发生；同时观测和统计系统对于所注故障的设计反应信息与行为，并对统计信息与行为进行分析，从而向试验者提供相关结果的实验过程
...

【技术保护点】

【技术特征摘要】
1.
一种面向车规芯片功能安全验证平台，其特征在于，包括故障节点提取模块
、
故障仿真模块以及结果处理与报告输出模块，通过故障节点提取模块对设计进行符合
ISO26262
标准要求的故障节点提取，由故障仿真模块结合多进程并行仿真加速和符合
ISO26262
标准要求的故障分类，获得被测试设计安全机制的诊断覆盖率
(DC)、
单点故障度量
(SPFM)、
潜在故障度量
(LFM)
等功能安全指标，再由结果处理与报告输出模块并形成功能安全仿真分析报告
。2.
根据权利要求1所述的一种面向车规芯片功能安全验证平台，其特征在于，所述故障节点提取模块：包括词法分析部分和故障节点提取部分，并符合
ISO26262
标准的要求，其中：词法分析部分对输入的电路设计源文件进行词法解析，通过正则匹配语法匹配
Verilog
语法中的关键字前后的变量名称来获得电路的设计信息，包括输入输出端口名称
、
连线名称等信息；故障节点提取部分分为门级故障节点提取模式
(GL)
与寄存器传输级模式
(RTL),
其中：门级故障节点提取模式
(GL)
，将设计源文件中的输入端口
、
输出端口以及线网变量提取为永久型故障的节点，将设计源文件中的时序单元输出端提取为瞬态型故障的节点；寄存器传输级模式
(RTL)
，将设计源文件中的输入端口
、
输出端口
、
线网变量以及寄存器类型变量提取为永久型故障的节点，寄存器类型变量提取为瞬态型故障的节点
。3.
根据权利要求1所述的一种面向车规芯片功能安全验证平台，其特征在于，所述故障仿真模块根据注入模式实现故障注入与故障仿真功能，故障注入模式包括用户定义和遍历注入两种模式；用户定义模式，允许用户根据功能安全验证的需求，在由故障节点提取模块中获取的节点数据库中设定的注入位置
、
注入时间以及故障类型，形成故障活动的故障列表；遍历注入，自动结合故障提取模块提取到的节点数据库，在数据库中的所有节点注入所有类型的故障
。4.
根据权利要求1所述的一种面向车规芯片功能安全验证平台，其特征在于，所述结果处理与报告输出模块：通过分析在指定的观测点与检测点上的无故障与有故障仿真结果，并依据
ISO26262
标准中对于故障状态的要求，对故障类型进行划分，再根据故障列表中不同故障状态计算获得对应被测设计的诊断覆盖率
(DC)、
单点故障度量
(SPFM)、
潜在故障度量
(LFM)
等指标
。5.
根据权利要求2所述的一种面向车规芯片功能安全验证平台，其特征在于，所述故障节点提取部分支持包括寄存器传输级和门级网表的单元端口
(ports)、
连线
(net)
以及寄存器变量节点的提取
。6.
根据权利要求3所述的一种面向车规芯片功能安全验证平台，其特征在于，所述在由故障节点提取模块中获取的节点数据库中设定的注入位置包括检测点位置信息与观测点位置信息；所述注入时间以及故障类型包括永久类型故障或是瞬态类型故障
。7.
根据权利要求2所述的面向车规芯片功能安全验证平台的验证...

【专利技术属性】
技术研发人员：何佳俊，马鸿博，姜霁轩，代沛洪，王朝栋，
申请(专利权)人：西安电子科技大学，
类型：发明
国别省市：