-
公开(公告)号:CN106326553B
公开(公告)日:2019-09-06
申请号:CN201610710113.X
申请日:2016-08-23
Applicant: 西安空间无线电技术研究所
IPC: G06F17/50
Abstract: 本发明涉及一种用于单粒子软错误故障传播分析的分布式信号拓扑关系构建方法,属于系统单粒子软错误可靠性评估技术领域。本发明的方法基于XDL网表信息中硬件资源构建下的电路节点和对应的信号间级联信息,提出了对电路节点间信号级联信息的级联前向搜索解析方法,构建系统中电路节点间的有向传播拓扑关系,完成了在不同类型硬件资源间的电路信号传播关系分析;同时,根据XDL网表文件所反映出的电路连接与控制配置位信息关联,本发明的方法提出配置信息匹配法则,解析并构建电路节点在资源映射下的内部信号传输关系输路径,完成特定类型的硬件资源下的电路信号传播关系分析。
-
公开(公告)号:CN109283456A
公开(公告)日:2019-01-29
申请号:CN201811075380.X
申请日:2018-09-14
Applicant: 西安空间无线电技术研究所
IPC: G01R31/305
Abstract: 一种基于粒子滤波模型的单粒子功能中断截面评估方法,通过下述方式实现:进行重粒子加速辐照试验,统计对应LET0值离子辐照下,平均一次功能中断的离子注量率L0和平均一次功能中断累积辐照总注量N0,并作为基准数据;同时,利用配置存储区回读机制,统计平均试验中平均翻转的bit数,记为i0;假设在预评估LET1值下,辐照试验的重离子注量率设为L1,建立粒子滤波模型,预估发生SEU次数的期望值定义系统等效的功能耦合因子为λ,λ表示系统发生任意单bit翻转时候,造成系统功能出错的概率;根据λ的定义,对系统功能中断截面σsys进行等效;根据上述预估的发生SEU次数的期望值以及基准数据,评估未知LET1值下的系统功能中断截面。
-
公开(公告)号:CN106328195B
公开(公告)日:2019-01-25
申请号:CN201610695813.6
申请日:2016-08-19
Applicant: 西安空间无线电技术研究所
IPC: G11C11/413 , G11C11/417
-
公开(公告)号:CN107918097A
公开(公告)日:2018-04-17
申请号:CN201710984897.X
申请日:2017-10-20
Applicant: 西安空间无线电技术研究所
IPC: G01R31/3185 , G01J5/22
Abstract: 一种实现可变LET值的系统功能中断截面自适应拟合方法,包括在饱和LET阈值范围内,对电路内部电路模块防护设计架构下的任意LET值系统功能中断截面拟合以及针对系统级防护架构下的定点LET值系统功能中断截面拟合两部分;两部分内容均利用已知试验数据,在饱和LET阈值内,拟合得到指定LET值下的系统功能中断截面值,减少通过单粒子辐照试验获取数据的依赖性,可缓解试验机时供需紧张问题,优化了单粒子试验过程,提升了系统抗SEU评估效率。
-
公开(公告)号:CN104914917B
公开(公告)日:2017-05-10
申请号:CN201510279042.8
申请日:2015-05-27
Applicant: 西安空间无线电技术研究所
IPC: G05F1/56
Abstract: 本发明涉及一种阻值调节带隙电压电流基准源电路,属于CMOS模拟电路设计技术领域。该基准源电路中的启动电路的存在避免了电路进入零点从而保证了电路正常工作;该基准源电路中使用cascade结构,基准源电路两臂对称性好,在电源偏置及工艺偏差情况下不会较大的引入电路失调;利用Q3的负温飘系数进行补偿,基准电压的温飘系数较小;加入了电阻调节电阻,使得电阻值可控,降低了工艺偏差带来的风险;通过一个带隙结构同时提供了基准电压与基准电流的基准源。
-
公开(公告)号:CN106452424A
公开(公告)日:2017-02-22
申请号:CN201610782319.3
申请日:2016-08-30
Applicant: 西安空间无线电技术研究所
IPC: H03K19/0185
CPC classification number: H03K19/018507
Abstract: 本发明涉及一种具有预加重的差分驱动器,包括差分信号生成模块,差分驱动模块、预加重模块、控制信号生成模块和偏置电压模块。本发明在差分驱动器中增加了预加重模块,提高了输出信号的速率和抗干扰性,与输入信号具有良好的匹配度,提高了预加重后信号的质量;控制信号模块具有速率快,延时小的特点,可以精准的在输入信号上升/下降时向驱动电路提供预加重的功能,保证了预加重后的信号质量;在具有双电流源的预加重模块可以工作在更低的电压下,且提供的瞬间高压可以有效的抑制噪声,提高信号传输距离。
-
公开(公告)号:CN106407285A
公开(公告)日:2017-02-15
申请号:CN201610752157.9
申请日:2016-08-26
Applicant: 西安空间无线电技术研究所
IPC: G06F17/30
Abstract: 一种基于RLE和LZW的优化比特文件压缩与解压缩方法,通过对FPGA配置比特文件进行数据格式分析,抠出比特文件的头部控制字,从真实配置数据开始,采用游长为4的RLE编码进行初步压缩,再进行LZW压缩进一步提升压缩率。解压缩时为压缩的逆过程,先进行LZW解压缩还原出中间数据,再对不包含头部控制字的数据部分进行RLE解压缩,还原出原始的FPGA配置比特文件。该方法综合考虑了压缩/解压缩的时间和压缩率,与Xilinx自带的压缩工具比较,与单纯应用RLE算法,单纯应用LZW算法比较,实现了压缩率与压缩速度的双赢。解决了Xilinx先进型号FPGA配置比特文件过大的问题,节省了存储芯片的开销,为FPGA在轨重构技术提供了关键技术支撑。
-
公开(公告)号:CN103888106B
公开(公告)日:2017-01-11
申请号:CN201410126618.2
申请日:2014-03-31
Applicant: 西安空间无线电技术研究所
IPC: H03K3/3562
Abstract: 一种抗单粒子翻转和单粒子瞬态脉冲的触发器设计方法,包括电路加固设计和版图加固设计,其中电路加固设计,基于DICE结构,采用0.13um体硅CMOS工艺,设计带延迟滤波的冗余时钟DICE触发器电路;版图加固设计中增加DICE触发器电路中存储节点之间的距离和减小漏区面积。本发明避免了时钟交叠发生,并减小功耗开销,进一步提升了触发器单元抗SEU/SET的能力,实现代价小、可靠性高。
-
公开(公告)号:CN103678123A
公开(公告)日:2014-03-26
申请号:CN201310637395.1
申请日:2013-11-29
Applicant: 西安空间无线电技术研究所
IPC: G06F11/36
Abstract: 一种适用于处理器系统单粒子软错误脆弱点识别方法,基于单粒子软错误的防护设计对系统性能和资源的影响,建立脆弱点识别模型分析防护的重要性功能模块。通过编译指令的工作原理,从设计的代码级划分元电路节点(完成预编译代码或者指令序列的特定功能/子功能模块),由编译映射关系从指令级提取元电路节点脆弱性因素,进行等级论域划分,最终利用灰度系统理论对元电路节点的脆弱因素等级划分的不确定区间(灰度区间)进行可信度评估,并按照等级可信度排序得到计算结果。本发明可为处理器系统提供简便的脆弱性分析方法,实现可靠性的前提下减少系统代价和性能损失、提高系统防护效果的目的。
-
公开(公告)号:CN119271446A
公开(公告)日:2025-01-07
申请号:CN202411385797.1
申请日:2024-09-30
Applicant: 西安空间无线电技术研究所
Abstract: 本发明涉及一种基于动态指令流的高效多核处理器故障注入方法,该方法基于程序动态指令级执行划分的细粒度时间执行注入,通过对单粒子辐照效应敏感的指令特征寄存器的故障注入,模拟多核处理器不同功能资源受到空间辐照效应的影响,达到快速、高效评估系统可靠性设计目的,减少了对单粒子试验的依赖,实现了精度可控的注入时机,提升故障注入的准确率进和系统抗SEU评估效率。
-
-
-
-
-
-
-
-
-