书书书
面向门级网表的
!"#$
三模冗余加固设计
!
徐冉冉
!
!
"
!孟海波
!
!桂小琰
"
!申小伟
!
!安述倩
!
!
!#
中国科学院计算技术研究所计算机体系结构国家重点实验室"北京
!$$!%$
#
"#
北京理工大学信息与电子学院"北京
!$$$&!
$
摘
"
要!航天器在宇宙空间易受 粒 子的 影 响而 产 生错 误!三模冗 余 技术 是 一种 有 效的 容 错机 制" 但
是
!现有的三模冗余加固设计一般是一款芯片定制一套加固方案!无法做到通用性" 提出一种功能无关的
'()*
门级网表三模冗余加固通用设计方案" 通过对时序器件 和 组合 逻 辑器 件 进行 不 同的 加 固设 计!实
现三模冗余" 根据对不同的工艺库的识别与理解!本方案还进行了驱动能力优化等" 通过将上述方案工
具化!并 利 用 已 有 的 众 核 处 理 器 网 表 进 行 实 验 评 估!全 局 时 序 器 件 加 固 面 积 增 加 为 原 始 网 表 面 积 的
!&+,
!局部时序器件加固面积增加为原网表的
!,
!
&$,
!加固方案可按设计需求配置" 实验数据表明!
加固后的网表中关键路径的平均时延增加为
""#!+,
!
""#&-,
!在设计需求配置下!性能可满足 用 户 要
求"
关键词!可靠性#三模冗余#时序单元#组合逻辑#门级网表
中图分类号!
./0%0
文献标志码!
1
%&'
%
!$#0%-%
&
2
#3445#!$$67!0$8#"$!9#!"#$$!
()'
*
+,-&%.+/)),%.0%/01
2
%,3'
4
05&)!"#$
4
/6,+,7,+0,6+'36
8: ;<57=<5
!
"
"
"
>?@A B<37CD
!
"
A:*83<D7
E
<5
"
"
)B?@ 83<D7FG3
!
"
1@)HI7
J
3<5
!
!
!#)K<KGLG
E
(<CD=<KD=
E
DMNDO
P
IKG=1=QH3KGQKI=G
"
*54K3KIKGDMNDO
P
IK35
R
.GQH5DSD
RE
"
TG3
2
35
R
!$$!%$
#
"#TG3
2
35
R
*54K3KIKGDM.GQH5DSD
RE
"
TG3
2
35
R
!$$$&!
"
NH35<
$
8936)/16
%
/<=K3QSG435I53UG=4GO<
E
V<O<
R
G4
P
<QGQ=<MK4KD O<SMI5QK3D5
"
<5V.=3
P
SG >DVIS<=;GVI57
V<5Q
E
!
.>;
$
34<5GMMGQK3UGM<ISK7KDSG=<5KKGQH5DSD
RE
#BDFGUG=
"
KHGGW34K35
R
.>;VG43
R
534I4I<SS
E
4
P
G7
Q3M3Q<SS
E
QI4KDO3XGVMD=<
R
3UG5QH3
P
4D<45DKKDCG
R
G5G=<S#15DUGS.>;VG43
R
54QHGOG34
P
=D
P
D4GVMD=
'()*
R
<KG7SGUGS5GKS34KF3KHDIKQD543VG=35
R
KHGMI5QK3D5#.HG4QHGOGQD5K<354MDI=VG43
R
5OGKHDV4KH<K
<=G
R
SDC<S4G
J
IG5K3<SGSGOG5K4 .>;
"
SDQ<S4G
J
IG5K3<SGSGOG5K4 .>;
"
R
SDC<SQDOC35<K3D5<SSD
R
3QQGSS4
.>;
"
<5VSDQ<SQDOC35<K3D5<SSD
R
3QQGSS4.>;#1QQD=V35
R
KDV3MMG=G5KS3C=<=3G4
"
KHG4K=<KG
RE
<S4DD
P
K3O37
XG4KHGV=3UGQ<
P
<C3S3K
E
#.HG
P
=D
P
D4GV4QHGOG34UG=3M3GVC
E
<OISK37QD=G
P
=DQG44D=5GKS34K#.HGGW
P
G=37
OG5K<S=G4ISK4HDFKH<K
"
KHG<=G<DUG=HG<VDM
R
SDC<S4G
J
IG5K3<SGSGOG5K4.>;34!&+, DMKH<KDMKHGD7
=3
R
35<S5GKS34K
"
<5VKHG<=G<DUG=HG<VDM
P
<=K3<S4G
J
IG5K3<SGSGOG5K4.>;!,
!
&$, DMKH<KDMKHGD=3
R
35<S
5GKS34K#.HG4QHGOGQ<5CGQD5M3
R
I=GV<QQD=V35
R
KDVG43
R
5G=4
'
=G
J
I3=GOG5K4#.HGGW
P
G=3OG5K<SV<K<4HDF
KH<KKHGVGS<
E
35K=DVIQGVC
E
KHG4QHGOGD5KHGQ=3K3Q<S
P
<KH34<CDIK""#!+,
!
""#&-,
"
FH3QH34QD5K=DS7
S<CSGMD=VG43
R
5G=4#15VKHG4QHGOGH<4<=GS<K3UGH3
R
H=GS3<C3S3K
E
#
:,
2
;&)%3
%
=GS3<C3S3K
E
#
K=3
P
SG ODVIS<==GVI5V<5Q
E
!
.>;
$#
4G
J
IG5K3<SGSGOG5K
#
QDOC35<K3D5<SSD
R
3Q
#
R
<KG7SGUGS5GKS34K
!
收稿日期!
"$!97$67!"
#修回日期!
"$!97$%7!%
基金项目!国家自然科学基金资助项目!
-!"$9$96
"
-!"$"$+%
$#计算机体系结构国家重点 实验 室开 放课 题!
N1;NB"$!"$0
$#北 京市
教委科技计划面上资助项目!
L>"$!"!$$"&$$9
$
通信地址!
!$$$&!
北京市北京理工大学信息与电子学院
8%%),33
%
)QHDDSDM*5MD=O<K3D5<5V?SGQK=D53Q
"
TG3
2
35
R
*54K3KIKGDM.GQH5DSD
RE
"
TG3
2
35
R
!$$$&!
"
/#;#NH35<
"
N@907!"+&
&
./
*))@!$$67!0$8
""" "
计算机工程与科学
NDO
P
IKG=?5
R
35GG=35
R
Y )Q3G5QG
第
0-
卷第
!"
期
"$!9
年
!"
月
'DSZ0-
"
@DZ!"
"
[GQZ"$!9
文章编号!
!$$67!0$8
!
"$!9
$
!"7$$$!7$-