-
公开(公告)号：CN111221670B
公开(公告)日：2023-03-28
申请号：CN201911001645.6
申请日：2019-10-21
Applicant: 西安空间无线电技术研究所
IPC: G06F11/07
Abstract: 本发明涉及一种缓解检测冲突的单粒子软错误防护设计方法：(1)将待处理程序系统划分成模块节点，确定状态跳转无向连通图；(2)设置前驱节点的对等标签存储位，根据预先设置的规则，利用对等标签区分后继节点存在的状态跳转命名冲突；(3)确定状态跳转无向连通图中的长、圈以及对应的模块节点；(4)根据圈中模块节点数目的奇偶性结合图论定义，确定产生对等标签分配互斥情况的圈，并在该圈内，任选一个节点在其与前驱模块节点之间插入与功能无关的模块节点，形成迹并得到新的状态跳转无向连通图；(5)重构状态跳转执行流图；(6)通过插入比较检测错误指令的方式进行状态跳转错误检测，对发生状态跳转故障的模块节点进行故障恢复。
-
公开(公告)号：CN109283456B
公开(公告)日：2021-02-09
申请号：CN201811075380.X
申请日：2018-09-14
Applicant: 西安空间无线电技术研究所
IPC: G01R31/305
Abstract: 一种基于粒子滤波模型的单粒子功能中断截面评估方法，通过下述方式实现：进行重粒子加速辐照试验，统计对应LET0值离子辐照下，平均一次功能中断的离子注量率L0和平均一次功能中断累积辐照总注量N0，并作为基准数据；同时，利用配置存储区回读机制，统计平均试验中平均翻转的bit数，记为i0；假设在预评估LET1值下，辐照试验的重离子注量率设为L1，建立粒子滤波模型，预估发生SEU次数的期望值定义系统等效的功能耦合因子为λ，λ表示系统发生任意单bit翻转时候，造成系统功能出错的概率；根据λ的定义，对系统功能中断截面σsys进行等效；根据上述预估的发生SEU次数的期望值以及基准数据，评估未知LET1值下的系统功能中断截面。
-
公开(公告)号：CN106847332B
公开(公告)日：2020-09-18
申请号：CN201611203359.4
申请日：2016-12-23
Applicant: 西安空间无线电技术研究所
IPC: G11C11/412 , G06F30/392
Abstract: 一种低资源消耗的SRAM存储单元SEL加固方法，首先对SRAM存储单元使用阱接触隔离NMOS管与PMOS管，对PMOS管采用未封口保护环进行加固，使用未封口保护环连接PMOS管的源级，然后对SRAM存储单元中的NMOS管采用非U型保护带方式进行加固，在满足工艺规则的前提下在未封口保护环与非U型保护带上多打接触孔；调整SRAM存储单元中PMOS管采用的未封口保护环与NMOS管采用的非U型保护带的间距，最后优化PMOS管和NMOS管有源区的距离；在SRAM存储单元中的NMOS管区域加上NC层，提高NMOS管的阈值电压。本发明与现有技术相比，具有面积开销低、布线资源消耗低，降低SRAM中由存储单元构成的存储阵列的资源消耗的优点，具有很好的使用价值。
-
公开(公告)号：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值下的系统功能中断截面。
-
Patent Agency Ranking
公开(公告)号：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评估效率。
-
公开(公告)号：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的能力，实现代价小、可靠性高。
-
-
-
-
-
-
-
-
-
Search Results
42
records
(took 0.036 seconds)
