VLSI/CAD Laboratory Department of Computer Science National Tsing Hua University TH EDA Estimation...
-
date post
19-Dec-2015 -
Category
Documents
-
view
216 -
download
0
Transcript of VLSI/CAD Laboratory Department of Computer Science National Tsing Hua University TH EDA Estimation...
VLSI/CAD LaboratoryVLSI/CAD LaboratoryDepartment of Computer ScienceDepartment of Computer ScienceNational Tsing Hua UniversityNational Tsing Hua University
TH EDATH EDA
Estimation of Estimation of Maximum Instantaneous Current for Maximum Instantaneous Current for
Sequential CircuitsSequential Circuits
Cheng-Tao Hsieh and Shih-Chieh Chang
National Tsing Hua University
Hsinchu, Taiwan
2
Maximum Instantaneous Current (MIC)Maximum Instantaneous Current (MIC)
To calculate the MIC, must decide which input vectors and at which time.
0
0
MIC=3 at time t=3 MIC=4 at time t=1.t=1t=2t=3
3
Two Types of MethodsTwo Types of Methods
Vector dependent Deriving the worst case vectorsLower bound estimation
Vectorless No vector searchUpper bound estimation
4
Two Types of MethodsTwo Types of Methods
Vector dependent Deriving the worst case vectorsLower bound estimation
Vectorless No vector searchUpper bound estimation
5
Vectorless MethodsVectorless Methods
Definition: Two gates are Mutually Exclusive Switching (MES) at time t1 if they cannot switch simultaneously at t1.
[C.T. Hsieh, J.C. Lin, and S.C. Chang, accepted by TCAD]
The two transitions cannot occur simultaneously
6
Combinational CorrelationCombinational Correlation
Signal correlation in a combinational circuit.
The two transitions cannot occur simultaneously
7
Sequential CorrelationSequential Correlation
Correlation across sequential elements.
(f1, f2)= (0, 0)
(0, 1)
(1, 0)
(1, 1)f2
f1
t=0t=1
8
Impact from Sequential CorrelationsImpact from Sequential Correlations
Accuracy loss if ignore sequential correlations.
0%
20%
40%
60%
80%
S38
2
S40
0
S44
4
S52
6
S83
8
S14
23
S53
78
S92
34
S15
850
S13
207
S38
584
S38
417
S35
932
Avg
.
9
The Use of Real Delay ModelThe Use of Real Delay Model
Do not impact on accuracy but impact on efficiency.
The number of transitions on a gate may be exponential to the circuit size.
[H. Kriplani, et al., TCAD’95]
Large memory and run time to detect MES among many transitions.
10
Solution for Efficiency ProblemSolution for Efficiency Problem
Detect MES in a time interval instead of at an exact time instant.
timet1 t2 t3
Time interval t1 to t3
11
Trade-off Between Accuracy and EfficiencyTrade-off Between Accuracy and Efficiency
Larger time interval more efficient but less accurate.
0
1000
2000
3000
4000
iMax 0.5 0.2 0.1 0.05M
IC
0
500
1000
1500
iMax 0.5 0.2 0.1 0.05
Run
tim
e (s
)
Circuit C7552
Accuracy of MIC EstimationAccuracy of MIC Estimation
circuit Delay iMaxOur approach
0.5 0.2 0.1 0.05 0.01
C432 4.9280 206 201 161 141 117 107
C499 3.1495 640 472 302 280 224 220
C880 3.6301 471 467 383 294 265 244
C1355 3.1706 686 546 316 278 272 236
C1908 4.6940 793 751 531 451 424 401
C2670 5.6569 963 897 630 476 427 401
C3540 6.9914 1348 1291 979 829 763 716
C5315 6.0240 2796 2738 1915 1631 1496 1378
C6288 15.1046 3746 3723 3130 2820 2701 2680
C7552 5.5335 3490 3415 2602 2277 2149 1982
Avg. 1 0.93 0.68 0.58 0.53 0.50
13
Two Types of MethodsTwo Types of Methods
Vector dependent Deriving the worst case vectorsLower bound estimation
Vectorless No vector searchUpper bound estimation
14
Vector Dependent MethodsVector Dependent Methods
GA-based, probability-based, ILP-based, and modified timed ATPG algorithm.[Y.M. Jiang, A. Krstic, and K.-T. Cheng,
TVLSI, ’00].
Modified timed ATPG algorithm can derive better results than other methods.
Timed ATPG is not scalable.
15
A Timed ATPG ProblemA Timed ATPG Problem
A transition:
A logic change v v’ at a certain time t1.
Find a vector pair satisfying both functional and temporal conditions.
Temporal condition
Functional condition
16
An Example of Timed ATPGAn Example of Timed ATPG
(a1,b1,c1), (a2,b2,c2) =(0,0,1), (1,1,0)
ab
c
gg=01 at t=2
ab
c
g
1
1 t=2
17
Transition Characteristic FunctionTransition Characteristic Function
Definition:
A transition characteristic function (TCF),
g=01, t=t1(v1, v2),
characterizes all vector pairs v1 and v2 which causes gate g to have a rising transition at time t=t1.
18
An Example of TCFAn Example of TCF
(a1,b1,c1), (a2,b2,c2) =(0,0,1), (1,1,0)(0,0,1), (1,1,1)(1,0,1), (1,1,0)(1,0,1), (1,1,1)(0,1,0), (1,1,0)(0,1,0), (1,1,1)(0,1,1), (1,1,0)(0,1,1), (1,1,1)
g=01, t=2 = a1’b1’c
1a2b2c2’ + a1’b1’c1a2b2c2 +a1b1’c1a2b2c2’ + a1b1’c1a2b2c2 +
a1’b1c1’a2b2c2’ + a1’b1c1’a2b2c2 +a1’b1c1a2b2c2’ + a1’b1c1a2b2c2 +
ab
c
gg=01 at t=2
19
Construction of TCFConstruction of TCF
Construct a TCF by extracting information from circuit structure.
A TCF is represented in the multi-level form, more compact than the two-level form.
20
An ExampleAn Example
g=01, t=2 = (a1b1+b1’c1’)’(a2b2+b1’c1’)
ab
c
g
a1
b1
c1
a2b2
g=01, t=2
g=01 at t=2
21
Sequential CorrelationSequential Correlation
a
bc
Flip-flop
b1
c1
b2g=01, t=2
a1
b1
c1
a2
The second vector on input b depends on the first vector.
Initial Experimental ResultsInitial Experimental Resultscircuit #PIs #gates
Random Ours MES
MIC MIC time (s) MIC
s444 3 234 14 17 1.4 28
s510 19 262 16 20 1.5 23
s526 3 313 16 21 2.3 34
s641 35 234 28 31 2.0 42
s713 35 252 26 31 2.4 45
s820 18 524 28 34 2.3 39
s1196 14 574 39 41 6.5 49
s1238 14 668 21 26 7.2 52
s1423 17 714 53 75 14 81
s5378 35 1888 80 176 174 252
s9234 36 1692 60 151 112 176
Avg. 1 1.43 1.96
23
ConclusionConclusion
Propose vectorless and vector dependent estimation for the MIC.
Consider sequential correlations, which can significantly impact the MIC estimation.
24
AcknowledgeAcknowledge
Prof. Shih-Chieh Chang Jian-Cheng Lin Yu-Min Kuo Yue-Lung Chang
Download: http://nthucad.cs.nthu.edu.tw/~sclab/