CN107167725A - 一种快速低开销全自动数字集成电路单粒子故障注入系统 - Google Patents
一种快速低开销全自动数字集成电路单粒子故障注入系统 Download PDFInfo
- Publication number
- CN107167725A CN107167725A CN201710201165.9A CN201710201165A CN107167725A CN 107167725 A CN107167725 A CN 107167725A CN 201710201165 A CN201710201165 A CN 201710201165A CN 107167725 A CN107167725 A CN 107167725A
- Authority
- CN
- China
- Prior art keywords
- fault location
- direct fault
- file
- circuit
- emulation
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
- G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequences
- G01R31/318307—Generation of test inputs, e.g. test vectors, patterns or sequences computer-aided, e.g. automatic test program generator [ATPG], program translations, test program debugging
Abstract
本发明公开了一种快速低开销全自动数字集成电路单粒子故障注入系统,包括人机操作界面、故障注入器,其中故障注入器包括:故障电路网表代码生成模块、功能向量和故障随机信号产生模块、仿真统计和计算输出模块。本发明实现了单粒子故障注入的全自动进行,同时对过程文件进行了实时处理,避免了存储量过大造成的内存爆炸对仿真性能造成影响,降低了用于仿真的计算器的开销。
Description
技术领域
本发明涉及一种快速低开销全自动数字集成电路单粒子故障注入系统,属于半导体集成电路抗空间单粒子效应能力验证技术领域。
背景技术
复杂的空间环境中包含了大量的粒子(电子、中子、质子和重离子)和射线。这些辐射粒子会引起半导体器件发生单粒子效应,使半导体器件状态发生扰动或永久性失效。数字集成电路在应用于航天设备之前,需要在地面上评估数字集成电路内部单元和节点的抗单粒子性能,地面上通常依靠重离子加速器来模拟单粒子试验。近年来由于进行辐射试验的加速器机时减小,成本增高,数字集成电路的抗单粒子性能的验证变得更加困难,已经对航天用关键器件的研制造成一定程度的影响。由于单粒子故障注入技术能够有效的评估数字集成电路的单粒子敏感性,越来越受到人们的重视。现如今单粒子故障注入实施方案主要分为硬件注入和仿真实现两方面,由于电路封装和集成度的限制,硬件故障注入的覆盖率不足并且会对电路本身产生不可预估的损害,而基于仿真实现的单粒子故障注入方法由于其快捷、成本低,可以在电路设计的整个过程中评估单粒子性能等优势成为了单粒子故障注入研究的热点。
现有的基于仿真的数字集成电路单粒子故障注入方法存在以下两个不足:一方面是系统的智能性不够,在单粒子故障注入试验的过程中需要试验者手动的进行很多操作,严重的影响了试验进程。例如:不能够自动生成含有故障接口的目标电路网表、与商用仿真软件的通用性不好、与实际空间辐照情况连接程度不高,不能自动实现单粒子故障注入;另一方面由于数字集成电路的规模通常会很大,一款普通的ASIC电路至少会有一百万个电路节点,有时甚至需要对所有的电路节点都完成故障注入,因而对进行单粒子故障注入试验的计算机性能的要求苛刻。
发明内容
本发明的技术解决问题是:克服现有技术的不足,提供一种快速低开销全自动数字集成电路单粒子故障注入系统,实现了全自动的单粒子故障注入,降低了对大规模数字集成电路进行单粒子故障注入试验的计算机性能的要求。
本发明的技术解决方案是:一种快速低开销全自动数字集成电路单粒子故障注入系统,包括人机操作界面、故障电路网表代码生成模块、功能向量和故障信号随机产生模块、仿真统计和计算输出模块;
人机操作界面:接收用户输入的目标电路网表文件以及参数设置信息,并输出给故障注入器;显示故障注入器返回的实时信息;
故障电路网表代码生成模块:接收来自人机操作界面的目标电路网表文件,进行Verilog门级网表词法分析,生成带有N个故障注入端口的故障电路网表文件,输出给仿真统计和计算输出模块;
功能向量和故障信号随机产生模块:对每种工作模式下的测试向量文件进行故障注入的相关配置,生成带有故障注入信息的测试向量文件以及用于仿真的宏文件,输出给仿真统计和计算输出模块;
仿真统计和计算输出模块:根据故障电路网表文件、带有故障注入信息的测试向量文件以及仿真软件自动执行的宏文件,对目标电路进行故障注入仿真,并对每次故障注入仿真前后的电路运行结果进行对比,根据故障类型库把每次的对比结果进行分类与汇总统计,并将对比结果和分类与汇总统计结果返回给人机操作界面。
所述故障电路网表代码生成模块生成带有N个故障注入端口的故障电路网表文件的实现方法如下:
(2.1)将来自人机操作界面的目标电路网表文件,转化成基于库单元的门级电路网表文件;
(2.2)在基于库单元的门级电路网表文件的模块声明部分,定义故障注入端口;
(2.3)在基于库单元的门级电路网表文件中,为故障注入端口添加属性信息,所述属性信息包括端口类型以及与其他端口连接关系,端口类型为输入端口或输出端口;
(2.4)按照步骤(2.2)和(2.3),选择一个库单元,在目标电路上添加故障注入端口,并根据该故障注入端口与其他端口的连接关系,搭建临时连接线网;
(2.5)判断是否完成了所有故障注入端口的添加,如果完成,返回故障注入端口的总数,进入步骤(2.6);否则跳转到(2.4),重新选择未添加故障注入端口的库单元进行故障注入,直到完成所有故障注入端口的添加;
(2.6)生成带有N个故障注入端口的故障电路网表文件。
所述功能向量和故障信号随机产生模块生成带有故障注入信息的测试向量文件以及仿真软件自动执行的宏文件的实现过程为:
(3.1)根据来自人机操作界面的参数设置信息获取目标电路不同工作模式下的测试向量、时序约束信息;
(3.2)选择一种工作模式,对测试向量文件进行故障注入配置,生成带有故障注入信息的测试向量文件,所述故障注入配置包括对故障注入的电路节点、故障注入时间、故障注入的持续时间、故障注入的次数设置随机函数;
(3.3)重复步骤(3.2),直到完成对所有工作模式的故障注入配置,对生成的各个测试向量文件进行保存;
(3.4)根据目标电路故障注入的仿真流程,生成用于仿真的宏文件。
所述仿真统计和计算输出模块的实现方式如下:
(4.1)仿真统计和计算输出模块对没有任何故障注入的目标电路进行仿真,得到没有进行故障注入的仿真结果;
(4.2)根据故障电路网表文件、带有故障注入信息的测试向量文件以及用于仿真的宏文件,对目标电路进行故障注入仿真;
(4.3)把每次进行故障注入后的仿真结果和没有进行故障注入的仿真结果进行对比分析;
(4.4)根据故障类型库把每次进行故障注入后的对比结果进行分类鉴别与汇总统计,将对比结果和分类与汇总统计结果返回给人机操作界面;
(4.5)删除本次进行故障注入生成的仿真文件;
(4.6)根据带有故障注入信息的测试向量文件以及用于仿真的宏文件,判断是否完成所有类型的故障注入,如果是则结束,否则返回步骤(4.2)。
本发明与现有技术相比有益效果为:
(1)本发明利用正则表达式对电路网表文件进行了词法分析,实现了故障注入端口的自动添加,利用TCL语言实现了商用软件的自动控制和调用,根据实际的空间辐照环境设置了故障注入的随机函数,最终实现了单粒子故障注入的全自动进行。
(2)本发明在故障注入的仿真过程中对生成的过程文件进行了自动识别和实时删除,解决了仿真过程中内存爆炸问题,减小了对用于仿真的计算机的性能要求。
附图说明
图1是本发明系统的结构原理图;
图2是本发明故障电路网表代码生成模块的实现流程图;
图3是本发明功能向量和故障随机信号产生模块的实现流程图;
图4是本发明仿真统计和计算输出模块的实现流程图;
具体实施方式
考虑到进行大规模集成电路单粒子故障注入时智能化程度不够,并且对故障注入的计算机大内存、高性能的要求,提供一种快速低开销全自动数字集成电路单粒子故障注入系统。该系统在灵活的分析硬件编程语言的基础上能够实现对库单元中所有单元类型的全自动的故障注入,并且实时的处理故障注入过程中生成的过程文件,减小了用于故障注入的计算机的负载,实现了全自动的单粒子故障注入。
图1为本发明的结构原理图。本发明装置包括人机操作界面、故障注入器、TCL接口协议模块和商用软件模块;其中故障注入器包括故障电路网表代码生成模块、功能向量和故障信号随机产生模块、仿真统计和计算输出模块。
用户通过人机操作界面载入目标电路网表文件、故障类型库、不同模式下的参数设置信息,通过人机操作界面输出给故障注入器。显示故障注入器返回的实时信息。其中故障类型库中包括故障的各种类型,如单粒子功能中断、单粒子翻转等。
故障电路网表代码生成模块:接收来自人机操作界面的目标电路网表文件,进行Verilog门级网表词法分析,生成带有N个故障注入端口的故障电路网表文件,输出给仿真统计和计算输出模块。
如图2所示,生成带有N个故障注入端口的故障电路网表文件的具体实现过程如下:
(2.1)将来自人机操作界面的目标电路网表文件,转化成基于库单元的门级电路网表文件;
(2.2)在基于库单元的门级电路网表文件的模块声明部分,定义故障注入端口;
(2.3)在基于库单元的门级电路网表文件中,为故障注入端口添加属性信息,其中属性信息包括端口类型以及与其他端口连接关系,端口类型为输入端口或输出端口;
(2.4)按照步骤(2.2)和(2.3),选择一个库单元,在目标电路上添加故障注入端口,并根据该故障注入端口与其他端口的连接关系,通过与非门(XOR)和内部连接线网来实现与其他端口的连接;
(2.5)判断是否完成了所有故障注入端口的添加,如果完成,返回故障注入端口的总数,进入步骤(2.6);否则跳转到(2.4),重新选择未添加故障注入端口的库单元进行故障注入,直到完成所有故障注入端口的添加;
(2.6)生成带有N个故障注入端口的故障电路网表文件。
在上述过程中,利用正则表达式对目标电路网表文件进行了词法分析,实现对关键字的精确查找。
功能向量和故障信号随机产生模块:对每种工作模式下的测试向量文件进行故障注入的相关配置,生成带有故障注入信息的测试向量文件以及仿真软件自动执行的宏文件,输出给仿真统计和计算输出模块。
如图3所示,生成带有故障注入信息的测试向量文件以及仿真软件自动执行的宏文件的实现过程为:
(3.1)根据来自人机操作界面的参数设置信息获取目标电路不同工作模式下的测试向量、时序约束信息;
(3.2)选择一种工作模式,对测试向量文件进行故障注入配置,生成带有故障注入信息的测试向量文件,所述故障注入配置包括对电路不同的故障注入节点设置随机函数、对故障输入时间设置随机函数、对故障的持续时间设置随机函数、对故障注入的次数设置随机函数;其中随机函数主要通过不同的辐射强度、不同功能模式下电路内部单元的利用效率来实现,从而实现与实际空间环境辐射强度的连接。
对电路不同的故障注入节点设置随机函数:i=(δu,δo)*rand(j);
其中i为待注入节点的序号,δu为某一库单元在不同工作模式下的利用因子,δo为某一库单元在目标电路所占的比例系数,rand()为仿真软件提供的随机函数,j为待注入节点的总个数。
对故障的持续时间设置随机函数:t=(δLET,δp,δb)*rand(t0);
其中t为故障注入的持续时间,δLET为线性转移能量影响因子,δp为工艺参数影响因子,δb为脉冲展宽效应影响因子,t0为初始的故障持续时间,设置为1ns;rand()为仿真软件提供的随机函数。
(3.3)重复步骤(3.2),直到完成对所有工作模式的故障注入配置,对生成的各个测试向量文件进行保存;
(3.4)根据目标电路故障注入的仿真流程,生成用于仿真的宏文件。宏文件包括不同工作模式下目标电路编译与仿真的宏文件,由人机交互界面采集的输入信息按照仿真器(如modelsim)要求的格式生成,主要功能是按照试验者的要求推动故障注入仿真的进行。
如图4所示,仿真统计和计算输出模块首先对没有任何故障注入的目标电路进行仿真,得到没有进行故障注入的仿真结果,即“黄金文件”(正确的波形文件VCD文件)。然后根据故障电路网表文件、带有故障注入信息的测试向量文件以及仿真软件自动执行的宏文件,对目标电路进行故障注入仿真,并对每次故障注入仿真前后的电路运行结果进行对比,根据故障类型库把每次的对比结果进行分类与汇总统计,并将对比结果和分类与汇总统计结果返回给人机操作界面。
比如:以某一端口为例,如果输出数据错误,则将其分类为输出错误;如果输出错误并且之后的若干个周期错误仍然不可恢复我们认为发生一次单粒子功能中断事件,如果在监控的时间内可恢复我们认为发生为一次单粒子翻转事件。
一般情况下数字集成电路的电路节点多在百万量级,进行仿真的过程中会有很大的数据量,会影响到用于故障注入仿真的计算机的运算速度,拖慢仿真进程,因而在系统每次进行故障注入仿真的过程文件进行了实时处理,每次对比完毕后,系统会自动识别并删除过程文件。从而节约用于仿真的电脑的磁盘空间,加快仿真速度。
仿真统计和计算输出模块通过TCL接口协议模块调用商用软件modelsim实现目标电路的仿真,最后利用TCL语言在按照modelsim要求的格式在外部软件ultraedit中完成宏文件(Do Files文件)的自动生成。也可以通过调用spaceradiation计算目标电路的在轨错误率,能够预估目标电路在实际空间辐照情况的抗单粒子特性。
本发明利用C#和TCL语言进行编程,在硬件描述语言词法分析的基础上实现了目标电路网表文件和功能向量的故障接口自动添加与故障信号随机函数的配置,根据不同的功能模式实现了仿真宏文件和相关文件的自动生成和保存,最终通过商用仿真软件实现了故障注入仿真,结果分析和输出的全自动化。本发明在故障注入仿真的过程中能够对生成的过程文件进行自动识别和处理,减小了对仿真计算机运算性能的要求。本发明能够在电路设计的整个过程中快速的评估目标电路的抗单粒子的性能,为设计者提供加固方向和单粒子错误的相关指标。
利用本发明的单粒子故障注入系统在通用的计算机上对一款百万门级的数字专用集成电路进行了故障注入试验,采用了基于空间辐照环境的随机故障注入算法进行故障注入配置,对每次进行故障注入仿真的过程文件实时删除,从而节约用于仿真的计算机磁盘空间,加快仿真速度,实现了单粒子故障注入的全自动进行。仿真得到的不同LET值下重离子翻转截面和该款电路实际重离子试验结果近似。
本发明未详细说明部分属本领域技术人员公知常识。
Claims (4)
1.一种快速低开销全自动数字集成电路单粒子故障注入系统,其特征在于:包括人机操作界面、故障电路网表代码生成模块、功能向量和故障信号随机产生模块、仿真统计和计算输出模块;
人机操作界面:接收用户输入的目标电路网表文件以及参数设置信息,并输出给故障注入器;显示故障注入器返回的实时信息;
故障电路网表代码生成模块:接收来自人机操作界面的目标电路网表文件,进行Verilog门级网表词法分析,生成带有N个故障注入端口的故障电路网表文件,输出给仿真统计和计算输出模块;
功能向量和故障信号随机产生模块:对每种工作模式下的测试向量文件进行故障注入的相关配置,生成带有故障注入信息的测试向量文件以及用于仿真的宏文件,输出给仿真统计和计算输出模块;
仿真统计和计算输出模块:根据故障电路网表文件、带有故障注入信息的测试向量文件以及仿真软件自动执行的宏文件,对目标电路进行故障注入仿真,并对每次故障注入仿真前后的电路运行结果进行对比,根据故障类型库把每次的对比结果进行分类与汇总统计,并将对比结果和分类与汇总统计结果返回给人机操作界面。
2.根据权利要求1所述的一种快速低开销全自动数字集成电路单粒子故障注入系统,其特征在于:所述故障电路网表代码生成模块生成带有N个故障注入端口的故障电路网表文件的实现方法如下:
(2.1)将来自人机操作界面的目标电路网表文件,转化成基于库单元的门级电路网表文件;
(2.2)在基于库单元的门级电路网表文件的模块声明部分,定义故障注入端口;
(2.3)在基于库单元的门级电路网表文件中,为故障注入端口添加属性信息,所述属性信息包括端口类型以及与其他端口连接关系,端口类型为输入端口或输出端口;
(2.4)按照步骤(2.2)和(2.3),选择一个库单元,在目标电路上添加故障注入端口,并根据该故障注入端口与其他端口的连接关系,搭建临时连接线网;
(2.5)判断是否完成了所有故障注入端口的添加,如果完成,返回故障注入端口的总数,进入步骤(2.6);否则跳转到(2.4),重新选择未添加故障注入端口的库单元进行故障注入,直到完成所有故障注入端口的添加;
(2.6)生成带有N个故障注入端口的故障电路网表文件。
3.根据权利要求1所述的一种快速低开销全自动数字集成电路单粒子故障注入系统,其特征在于:所述功能向量和故障信号随机产生模块生成带有故障注入信息的测试向量文件以及仿真软件自动执行的宏文件的实现过程为:
(3.1)根据来自人机操作界面的参数设置信息获取目标电路不同工作模式下的测试向量、时序约束信息;
(3.2)选择一种工作模式,对测试向量文件进行故障注入配置,生成带有故障注入信息的测试向量文件,所述故障注入配置包括对故障注入的电路节点、故障注入时间、故障注入的持续时间、故障注入的次数设置随机函数;
(3.3)重复步骤(3.2),直到完成对所有工作模式的故障注入配置,对生成的各个测试向量文件进行保存;
(3.4)根据目标电路故障注入的仿真流程,生成用于仿真的宏文件。
4.根据权利要求1所述的一种快速低开销全自动数字集成电路单粒子故障注入系统,其特征在于:所述仿真统计和计算输出模块的实现方式如下:
(4.1)仿真统计和计算输出模块对没有任何故障注入的目标电路进行仿真,得到没有进行故障注入的仿真结果;
(4.2)根据故障电路网表文件、带有故障注入信息的测试向量文件以及用于仿真的宏文件,对目标电路进行故障注入仿真;
(4.3)把每次进行故障注入后的仿真结果和没有进行故障注入的仿真结果进行对比分析;
(4.4)根据故障类型库把每次进行故障注入后的对比结果进行分类鉴别与汇总统计,将对比结果和分类与汇总统计结果返回给人机操作界面;
(4.5)删除本次进行故障注入生成的仿真文件;
(4.6)根据带有故障注入信息的测试向量文件以及用于仿真的宏文件,判断是否完成所有类型的故障注入,如果是则结束,否则返回步骤(4.2)。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710201165.9A CN107167725B (zh) | 2017-03-30 | 2017-03-30 | 一种快速低开销全自动数字集成电路单粒子故障注入系统 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710201165.9A CN107167725B (zh) | 2017-03-30 | 2017-03-30 | 一种快速低开销全自动数字集成电路单粒子故障注入系统 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107167725A true CN107167725A (zh) | 2017-09-15 |
CN107167725B CN107167725B (zh) | 2019-10-25 |
Family
ID=59849530
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710201165.9A Active CN107167725B (zh) | 2017-03-30 | 2017-03-30 | 一种快速低开销全自动数字集成电路单粒子故障注入系统 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107167725B (zh) |
Cited By (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108197351A (zh) * | 2017-12-13 | 2018-06-22 | 北京时代民芯科技有限公司 | 一种受单片机控制的集成电路的仿真验证方法 |
CN108427838A (zh) * | 2018-03-07 | 2018-08-21 | 西安微电子技术研究所 | 一种基于仿真的数字电路故障注入方法 |
CN109507566A (zh) * | 2018-11-17 | 2019-03-22 | 长沙理工大学 | 逻辑电路单粒子双故障的故障模拟方法 |
CN109541444A (zh) * | 2018-10-18 | 2019-03-29 | 天津大学 | 基于混合粒度奇偶校验的集成电路故障注入检测方法 |
CN111027279A (zh) * | 2019-12-13 | 2020-04-17 | 西安电子科技大学 | 一种针对系统级单粒子效应的混合仿真分析方法 |
CN111079356A (zh) * | 2019-12-13 | 2020-04-28 | 西安电子科技大学 | 一种单粒子加固有效性系统级验证方法 |
CN112329374A (zh) * | 2020-10-29 | 2021-02-05 | 西安电子科技大学 | 一种针对大规模电路的单粒子效应快速仿真方法 |
CN112840326A (zh) * | 2018-12-03 | 2021-05-25 | 易享信息技术有限公司 | 用于自动化操作管理的测试引擎 |
CN115935866A (zh) * | 2022-12-27 | 2023-04-07 | 深存科技(无锡)有限公司 | 一种集成电路时序约束功能验证方法 |
CN117350222A (zh) * | 2023-12-06 | 2024-01-05 | 苏州珂晶达电子有限公司 | 一种基于仿真的单粒子软错误分析方法和装置 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1983286A (zh) * | 2005-12-14 | 2007-06-20 | 上海微小卫星工程中心 | 智能全自动单粒子事件故障注入器 |
CN101281555A (zh) * | 2008-05-28 | 2008-10-08 | 北京时代民芯科技有限公司 | 一种验证抗单粒子效应能力的故障注入系统及其方法 |
CN101436224A (zh) * | 2008-12-19 | 2009-05-20 | 北京时代民芯科技有限公司 | 单粒子故障注入模拟的蒙特卡罗随机信号产生装置 |
KR20110044530A (ko) * | 2009-10-23 | 2011-04-29 | 한국항공대학교산학협력단 | 임베디드 시스템의 신뢰성 평가를 위한 시뮬레이션 커널을 이용하는 오류주입시험 장치 및 오류주입시험 방법 |
CN106383303A (zh) * | 2016-08-26 | 2017-02-08 | 哈尔滨工业大学 | 基于观察点与并行的故障注入模拟方法及装置 |
-
2017
- 2017-03-30 CN CN201710201165.9A patent/CN107167725B/zh active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1983286A (zh) * | 2005-12-14 | 2007-06-20 | 上海微小卫星工程中心 | 智能全自动单粒子事件故障注入器 |
CN101281555A (zh) * | 2008-05-28 | 2008-10-08 | 北京时代民芯科技有限公司 | 一种验证抗单粒子效应能力的故障注入系统及其方法 |
CN101436224A (zh) * | 2008-12-19 | 2009-05-20 | 北京时代民芯科技有限公司 | 单粒子故障注入模拟的蒙特卡罗随机信号产生装置 |
KR20110044530A (ko) * | 2009-10-23 | 2011-04-29 | 한국항공대학교산학협력단 | 임베디드 시스템의 신뢰성 평가를 위한 시뮬레이션 커널을 이용하는 오류주입시험 장치 및 오류주입시험 방법 |
CN106383303A (zh) * | 2016-08-26 | 2017-02-08 | 哈尔滨工业大学 | 基于观察点与并行的故障注入模拟方法及装置 |
Cited By (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108197351A (zh) * | 2017-12-13 | 2018-06-22 | 北京时代民芯科技有限公司 | 一种受单片机控制的集成电路的仿真验证方法 |
CN108197351B (zh) * | 2017-12-13 | 2021-04-13 | 北京时代民芯科技有限公司 | 一种受单片机控制的集成电路的仿真验证方法 |
CN108427838A (zh) * | 2018-03-07 | 2018-08-21 | 西安微电子技术研究所 | 一种基于仿真的数字电路故障注入方法 |
CN108427838B (zh) * | 2018-03-07 | 2021-12-24 | 西安微电子技术研究所 | 一种基于仿真的数字电路故障注入方法 |
CN109541444A (zh) * | 2018-10-18 | 2019-03-29 | 天津大学 | 基于混合粒度奇偶校验的集成电路故障注入检测方法 |
CN109541444B (zh) * | 2018-10-18 | 2021-11-02 | 天津大学 | 基于混合粒度奇偶校验的集成电路故障注入检测方法 |
CN109507566A (zh) * | 2018-11-17 | 2019-03-22 | 长沙理工大学 | 逻辑电路单粒子双故障的故障模拟方法 |
CN109507566B (zh) * | 2018-11-17 | 2020-11-27 | 长沙理工大学 | 逻辑电路单粒子双故障的故障模拟方法 |
CN112840326A (zh) * | 2018-12-03 | 2021-05-25 | 易享信息技术有限公司 | 用于自动化操作管理的测试引擎 |
CN111027279A (zh) * | 2019-12-13 | 2020-04-17 | 西安电子科技大学 | 一种针对系统级单粒子效应的混合仿真分析方法 |
CN111079356A (zh) * | 2019-12-13 | 2020-04-28 | 西安电子科技大学 | 一种单粒子加固有效性系统级验证方法 |
CN112329374A (zh) * | 2020-10-29 | 2021-02-05 | 西安电子科技大学 | 一种针对大规模电路的单粒子效应快速仿真方法 |
CN115935866A (zh) * | 2022-12-27 | 2023-04-07 | 深存科技(无锡)有限公司 | 一种集成电路时序约束功能验证方法 |
CN115935866B (zh) * | 2022-12-27 | 2023-12-08 | 深存科技(无锡)有限公司 | 一种集成电路时序约束功能验证方法 |
CN117350222A (zh) * | 2023-12-06 | 2024-01-05 | 苏州珂晶达电子有限公司 | 一种基于仿真的单粒子软错误分析方法和装置 |
CN117350222B (zh) * | 2023-12-06 | 2024-02-27 | 苏州珂晶达电子有限公司 | 一种基于仿真的单粒子软错误分析方法和装置 |
Also Published As
Publication number | Publication date |
---|---|
CN107167725B (zh) | 2019-10-25 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107167725B (zh) | 一种快速低开销全自动数字集成电路单粒子故障注入系统 | |
CN100576221C (zh) | 一种验证抗单粒子效应能力的故障注入系统及其方法 | |
Mansour et al. | An automated SEU fault-injection method and tool for HDL-based designs | |
CN102662144B (zh) | 一种基于活性测度的硬件木马检测方法 | |
Eslami et al. | A survey on fault injection methods of digital integrated circuits | |
Alexandrescu et al. | New methods for evaluating the impact of single event transients in VDSM ICs | |
CN101539958B (zh) | 一种标准单元库和集成电路的设计方法和装置 | |
CN106503392B (zh) | 一种考虑版图布局信息的组合逻辑电路的单粒子多瞬态软错误敏感性评估方法 | |
CN107741559B (zh) | 一种面向空间辐射环境下的单粒子翻转测试系统及方法 | |
CN111008514B (zh) | 一种抗辐射加固模块级电路仿真测试方法 | |
CN106383303A (zh) | 基于观察点与并行的故障注入模拟方法及装置 | |
Serrano et al. | A methodology to emulate single event upsets in flip-flops using FPGAs through partial reconfiguration and instrumentation | |
CN109002601A (zh) | 一种基于Petri网的FPGA系统的验证模型建模方法 | |
CN104598352B (zh) | 一种用于sram型fpga的快速可靠性评估方法 | |
CN105279345A (zh) | 一种航天器用数字软ip核评测方法 | |
CN107817439A (zh) | 一种基于sram型fpga敏感因子的功能失效时间评估方法 | |
CN111027279A (zh) | 一种针对系统级单粒子效应的混合仿真分析方法 | |
Mansour et al. | A method and an automated tool to perform SET fault-injection on HDL-based designs | |
Shazli et al. | Using boolean satisfiability for computing soft error rates in early design stages | |
Raji et al. | Soft error rate estimation of combinational circuits based on vulnerability analysis | |
CN106886487A (zh) | 用于评价fpga软件可靠性的方法 | |
CN104731995A (zh) | 一种基于半导体电路的抗单粒子效应验证方法及系统 | |
CN108427838B (zh) | 一种基于仿真的数字电路故障注入方法 | |
Anghel et al. | Evaluation of SET and SEU effects at multiple abstraction levels | |
CN110188012A (zh) | 一种fpga寄存器级单粒子翻转故障模拟方法和系统 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |