Results of Synthesis Procedure
Results of Synthesis Procedure
Name
No.
Latches
No.
Gates
Fault
Cover (%)
Optimize
ex1
ex2
s1
dfile
keyb
scf
3
5
5
6
5
8
23
35
105
77
146
402
97.9
98.2
99.8
97.8
98.7
100
0.5s
2.2s
5.5s
6.2s
29.5s
124.4s
TPG
identify
redund.
remove
redund.
2.0s
42s
303s
332s
21m
82m
1.1s
6.1s
4.0s
42s
1.2m
0.0s
2.0s
1.8m
303s
>1h
>1h
0.0s