Professional Documents
Culture Documents
April 4,
02
_____________
, 20 _____
Sanjiv Pandey
I,______________________________________________,
hereby submit this as part of the requirements for the
degree of:
Master of Science
________________________________________________
in:
Computer Engineering
________________________________________________
It is entitled:
Improving Performance of Mixed-Signal Simulation by
________________________________________________
Reducing the Simultaneous Equation-Set.
________________________________________________
________________________________________________
________________________________________________
Approved by:
Dr. Harold W. Carter
________________________
Dr. Karen A. Tomko
________________________
Dr. Wen-Ben Jone
________________________
________________________
________________________
"!
#$%&
'(%)+*,'&.-&
/1032 #4*)
-657%*,'8-9
:*;=<?>@*.-&:
@$%@A-
BDCFEHG9IKJLIMIONHPQRJSCKCOG9TUCFVWCFEHG
X JSY.JLIKJLVAZ[V]\_^`Fa]TbNacCOGedCFNbTbJfGgI(a]ZbTihjGgIkG6al`OmnE
op
q EHGsr?ZbJtYGu`FIKJtCwvxV]\zy{JLZbmuJLZbZacCFJ
L| }
~ al`kCFJ"a]:\)NbtLLQG9ZC
op:
`OGg
NbJf`KG9QG9ZCFI\)V]`MCFEHGTHGuA`KGgGVl\
b;u-9
x%@)
L| } :
X G ~ al`kCFQRGgZCMV]\4SG9mCO`OJLmga]1a]ZbTy{V]Q ~ N.COGg`MZHJLZHGuGu`FJfZH
}
y{V]Q ~ N.COGg`(dmgJSG9ZbmG
o p
q EHGy{VALSGg]GV]\zZHJfZHGgGu`OJLZH
B ~ `OJL1]CFEl]
sib')#3
zb9-6
Aqs
|;G5&b7@7'\G5#jOF589@j# 9@l*+-G:5#jOlm& ]5k]QT7'&) -s*7'&bl\G*+%'&b# -&b7m* :<;s*)b5-{ &b-G
FG9@# =Gb58l h_&!%,;Mj58h# F{%,&)l}& `*+%'&b# -6%,58:<;G-G&bZx\G587*`(+*&)*=G)5%'#67@F585k]QT\GF/%';G5 7'&)lr\G*a%,&b#-R
|;G&)7 %';G57@&b7zF{9'57@5-H%,7%,5:<;{-G&bZx\G587zj# 9 5-G;s*+-G:&)-G/%';G5OF59gj# 9'l}*-G:85O#+jl}& ]5k]QT7'&b-s*
7'&)lr\Gb*+%,&)# -}=H}:9@5`*+%'&b-G*+-5Zx\G&)(+*)5-H%7g?7@%,58l h_&)%';j58h59|-x\Gl=589'7#j58Z?\G*+%,&)# -G7
z9'*-G:<;.9'58kG\G:8%'&b# -V%'5:<;G-{&bZx\G57Mj# 9f:# -G7@59g( 5k7@?7@%'5lm70*-GkV(+*9'&b*=G)5/7@\G=G7@%'&)%'\{%,&)# %,58:<;G-G&)Z?\{571j# 9~-G# -?Q^:#-G7'589@( 58k7g]7g%,58l}70;s*`( 5=55- 7@%'\GkG&)5k *-Gk %,;{5&b9M9@57@\G)%'7M# F59@j#9'l}*-G:5f&blmFG9'#( 58l}58-H%|*9@5~kG&b7@:\G7@7'58k$&)-%,;G&)7%,;{57'&)7
^-%,;{5~hz# 9@7@%|:*7'5v*-s*aQ
b#07@&blr\{*+%'&b# -%'&blm5|&b7 *1:\G={&b:|j\G-G:A%,&b#-}#j%,;G5_-x\Glr=59 #j5Zx\s*+%'&b# -{7 |;x\G7 ?58(5*f7@l*)]9@5kG\{:8%,&)# -r&)-%,;G5z-?\{lr=589 #jv58Z?\G*+%,&)# -G7 :*-7'&) -G& G:`*-H%,!19'58kG\G:5%';G57@&blr\]Q
*a%,&b#-r%,&blm5 |;G&b7 &)kG5`*M;s*7 =55-}5 ]FG)# &)%'5k&b-%,;G5_=G9'*-G:<;}9'5k{\G:8%'&b# -}*-Gkm(*+9'&*+=Gb5
7'\{=G7@%'&)%,\]%,&b#-E%,58:<;G-G&bZx\G587M%,#5 {F{b# 9@5r-G58h hz*?7M#j 7@F585kG&)-G\GFV%';G5l}& ]5k]QT7'&b-s*
7'&)lr\Gb*+%,&)# -RU]F55k?Q^\GF=58%^h55-m7'&)lr\Gb*+%,&)# -/h_&!%,;r%,;{&b7%'5:<;G-G&)Zx\G56*-Gkrh_&)%';G# \{%%,;G&)7
%,58:<;G-G&)Z?\{5M;s*7z=558-# =G7@59@(5kR s# 9 :# -G7@59g( 5k7@?7g%,5l%,;G5f7'F55k?Q^\GF# ={7'59g( 58kj#9
%,;{&b7%,5:<;{-G&bZx\G5 kG58F58-GkG7\{F# -%,;G5 5 ]&b={&bb&!%^ #j~%';G5V7g]7g%,58l *)b#h_&b-{&!%m%'#
=5
kG587':9@&b=5k =H*-
5Zx\G&!(+*b58-x%7@?7@%'5l h_&)%,; j58h59r58Zx\s*+%,&)# -G78 s# 9/-{# -]Q^:8# -G7@59@(5k
7@?7g%,5l%,;G5f7'F55k?Q^\GFkG58F58-GkG7|\GF# -%';G5~kG58 9'585M#j b&)-G5`*9@&)%^#+j%,;G5~7g?7@%,58l =5&b-{
7'&)lr\Gb*+%,58kR |;G&)7z%,;G587'&)7FG9'587'58-x%'7_F589@j# 9@l*-{:5~58-G;s*-G:85lm5-H%|%,58:<;G-G&)Z?\{5M=s*7'58k# l}*-G&bF{\G*+%'&b# -{7z# -5Zx\s*a%,&b#-]Q^7@58%_j9'# l%,;G51lm& ]5k?Q^7'&) -s*l}#?kG58
! "$#%'&)(+*+%,&)# -./00/10/0/00/0/01/00/0/00/01/
32 46587'5*9':<;$# =?>@5:A%,&!( 5 0/0/00/0/01/00/0/00/01/
DC 46587'5*9':<;E*FGFG9@#H*:<; 0/0/00/0/01/00/0/00/01/
JB KMLONMPRQTSM"VUW00/10/0/00/0/01/00/0/00/01/
3I Y[Z?\G*+%,&)# -]Q^7@58%_:89'5`*a%,&b#-c/0/00/0/01/00/0/00/01/
DX ef( 59g(?&b58hi#j%';G51kG#?:\Glm5-H%00/0/01/00/0/00/01/
o prqstRuva
2]! yz# -H%,&)-?\{# \G7|%,&)l}5~k{# l*+&b-9'58FG9'587'58-x%,*+%,&)# -/00/0/00/01/
2]! ) ~\s*+-x%'&)%^/10/0/00/0/01/00/0/00/01/
2]! 2 N~&!589'58-x%'&**-Gk$*b5=G9'*&b:O5Zx\s*+%'&b# -G70/0/00/01/
2]! 3C U?&blr\G!%<*-{5# \G7z7@%<*a%,5lm5-H%'70/01/00/0/00/01/
2]32 Sf-s*+b# +59'-{50/10/0/00/0/01/00/0/00/01/
MqG[vaq]
A~
C{! Y[*=# 9,*a%,&b#-#jkG57@&b -;G&b589,*9@:<;H 0/01/00/0/00/01/
C{! ) [;s*+7'5mMQzyz#-G7@%'9'\G:A%,&b#-$#jkG587'&b-\{-G&)%'7O*+-Gk$#=?>@5:A%,7_1/
C{! 2 [;s*+7'52Qzyz#-G7@%'9'\G:A%,&b#-$#j:#-x%'&b-x\G# \{767g?7@%,58l 0/01/
C{32 Y[*=# 9,*a%,&b#-#jSM"VU:# -{7@%,9@\G:8%'7 0/01/00/0/00/01/
C{32]) Y[-H%,&!%^kG58:*+9,*+%'&b# -/00/0/01/00/0/00/01/
C{32]2 SO9':<;G&!%,58:8%,\{9'51kG5:8*9'*+%,&)# - 0/01/00/0/00/01/
C{32]3C Y[b*=#9,*+%'&b# -#+j7@&blr\G!%<*-{5# \G7|7g%<*+%'5lm5-H%,70/00/01/
C{32]DB 9'5`*+7@%,*+%,58l}58-x%'7c/00/0/01/00/0/00/01/
C{32]I S%@%,9@&b=G\{%'57_#jZx\s*-H%,&!%,&b5871/0/01/00/0/00/01/
vqs+
BG! 4658kG\G:A%,&b#-%'5:<;G-{&bZx\G51j# 9|:# -{7'59g( 58kV7@?7@%'5l 0/0/00/01/
BG! ) 9,*-G:<;:#-G7@%'&)%,\]%,&)(515Zx\s*+%'&b# -G71/00/0/00/01/
BG! 2 4_5k{\G:8%'&b# -%,58:<;G-G&)Z?\{5 0/0/01/00/0/00/01/
&
2
B
n
I
d
xw
2
C
I
?
n
n
22
2+B
2I
2I
2d
2n
C{
v
CB
CB
CX
CHd
BG
BG
Bx2
BxI
I
I
I]
I+B
IX
Xn
d
$
]2 !
C{!
C{32
BG!
BG32
BGDC
BGJB
BG3I
BGDX
BG3d
I]!
I]32
I]DC
I]JB
I]3I
I]DX
I]3d
I]
I]Dn
^-G:9@5`*7@5E&)-7@&blr\Gb*+%,&)# -
%,&)l}5h_&!%,; -x\Glr=59m#jM=G9'*-G:<;]QT5Zx\s*+%'&b# -G7
j# 9|7':**+=Gb5~lm#?kG5|10/0/00/0/01/00/0/00/01/
yz# lmFs*9'&)7'# -f#j{7@&blr\{*+%'&b# -_%,&)l}5h_&!%,;1*-{k1h_&!%,;G#\{%9'58kG\G:A%,&b#-1%'5:<;]Q
-G&bZx\G50/0/00/10/0/00/0/01/00/0/00/01/
19'*FG;7';G#h_&)-G}:8# -sk{5-G:85r&b-H%,589@(+*)7j# 9_l}5*-$k{&)59'58-G:50#j7'&blQ
\G*a%,&b#-%,&)l}5fj#9_(+*9@&b# \{7=G9,*+-G:<;E58Z?\G*+%,&)# -G7 0/0/00/01/
U?%,\{k{#j=G9,*-{:<;9'58kG\G:A%,&b#-m%'5:<;G-G&)Zx\G56h_&!%,;m=G9,*+-G:<;}9@5kG\{:8%,&)# -j*:8%'# 9
X
2
2
CB
HC I
Cn
B
BHX
Bxd
B
I]
I2
IC
I+B
In
X
X{
XH2
XB
$
Id
I
XC
HX I
z:8# \G)k%'&b)-G#h1
!#"$&%(')*+,-$
"!./
"0!#%&123 %4)657')89:;5.#<
1
^-*-H *-s*)# lm& ]5k 7'&) -s*|lm#?kG5 [:# -H%,&)-x\G# \G7 QT%,&)l}5(+*9@&*={b57r*9'5kG5 Q
s-G58k&b- %,589'lm7#jMZx\s*+-x%'&)%'&b5784658*+%'&b# -G7@;G&bF{7=5A%^hz585-kG&)59@5-H%Zx\s*+-x%'&)%'&b57}*9@5
5 ]FG9@57@7'5k &b-
%,589'lm7#j67'&)lr\G)%,*-G58# \G7r7g%<*+%'5lm5-H%,7%,;G*+%9'58FG9'587'5-H%'7}# 9@kG&b-G*9@kG&)jQ
j59@5-H%,&b**b5=G9'*&b:M5 {F{9'57@7'&)# -G7 e1N_S~Y[7 AOe~F{%,&)l}& `*+%'&b# -&)-$%';G&b76:# -H%'5 ?%~lm5`*-{7
%,;G*+%1%,;G55Zx\s*a%,&b#-]Q^7@58%0-G558kG5k %,#7'&)lr\Gb*+%,5%';G5ml}#?kG5;s*7Mj58h5905Zx\s*+%'&b# -{7/*+-Gk
(+*9'&b*=G)57h_&)%';G# \{%lm#]kG&!j ?&b-G|%,;{59@5*a%,&b#-G7';G&)FG7 #j{%';G5zk{57'&)9'58k/(+*9'&b*=G)57 kG57@:9@&b=5k
&b-r%';G5_l}#?kG58 |;G5_:# 7g% #j7@# )(?&)-GM*M7@?7@%'5l #jkG&!589'5-H%'&*{*b 58=G9,*+&b:z58Zx\s*+%,&)# -G7[&)7
e xh_;{59'5 &)7 %';G5O-x\Gl=589z#j(*+9'&*+=Gb587*+-Gk;G58-G:5f-?\{lr=589#+j5Zx\s*+%'&b# -{7
&b-m%,;G5f7@?7@%'5l %'#r=5~7'# !( 58kR |;G&b7:# 7g%|&b77'\G={7@%<*+-x%'&*vj# 9*9@ 5
T%|&b7kG57@&b9'*=Gb5
%,#9'58kG\G:85 =x.58b&)l}&)-s*+%,&)-GZx\s*+-x%'&)%'&b571j9'#l%,;G5mlm#]kG58%,;G*+%r*+9'5-G#%09'58Zx\G&b9@5k
^kG58-H%,&)j *-{k9'58kG\G:85%,;G5m7'589'&)57r*+-Gk
Fs*9'*b)5 :8# -G7g%,9'\{:8%,7&b-%';G5:8# -G7@59@(5k
7g]7g%,58l%,;G589'58=x.:89'5*+%,&)-G*- 5Zx\G&!(+*b58-x%~l}#?kG5h_&)%';.j5Ahz589M=G9,*+-G:<;:8# -G7g%,&!Q
%'\{%,&!( 515Zx\s*+%'&b# -{7
7@&blmFGb5~7@&blr\{)%<*+-G5# \{7|7@%<*a%,5lm5-H%
7@&blr\G!%<*-{5# \G7|&!j7@%<*a%,5lm5-H%
7@&blr\G!%<*-{5# \G7|:*7'517g%<*+%'5lm5-H%
7@&blr\G!%<*-{5# \G7|F{9'#?:5k{\G9,*7g%<*+%'5lm5-H%
7@&blr\G!%<*-{5# \G7|-x\G)R7@%,*+%,58l}58-H%
|;G587'57'&bl\G)%,*-G5#\G77@%,*+%,58l}58-x%'7*+9'57':*+%'%'59@5k%';G9'#\G ;G# \]%m%';G5KMLONMPRQ
SM"EU$l}#?kG58k{57':89'&)=G&b-G%,;{5kG587'&b-R_SfbR%';G57@5r7'&)lr\G!%<*-G58# \G7_7@%,*+%,58l}58-H%,7~*+9'55 xQ
%,9'*:8%'5kj9@# l%';G5kG587'&) -
*-{kFG\{%/%,# 58%,;{591%,#E9@5FG9@57@5-H%*7'58%#j|7@&blr\G!%<*-{5# \G7
5Zx\s*a%,&b#-G7O%'#=5/7'# !( 58kV=H$%';G5r*-G*b# }589'-G58#j[%';G5/K~LfNMPQ^S~"VU$7'&)lr\Gb*+%,# 9j#9
Zx\s*-H%,&!%,&)57rkG5 s-G58k &)-%,;{5l}#?kG58 |;{57'58%#+j_5Zx\s*+%'&b# -G7 h_;G&b:<; -{58( 589:<;s*-G 587
kG\G9@&b-G%,;G5m5-H%'&b9'5}7'&)lr\G*a%,&b#- 9'\G- &b70:`*)b58k %';G5 #+j5Zx\s*a%,&b#-G7Sf-?Q
#%';G59 7'5A%z#+jR5Zx\s*a%,&b#-G7z*+9'5_# ={%,*&b-G58k}=H%';G5O:8# -G7@5Zx\G5-{:57|#+j%';G5Ok{5:b*9,*a%,&b#-}*+-Gk
%,;{5}*+7'7'#?:&b*+%,&)# - #jzZ?\G*-H%,&)%'&b5871*-Gk.%,59@l}&)-s*)7 |;G&)71&b7M:`*+bb58k %,;G5 " !
|;G55 ]FG)&b:8&)%7@58%m*-Gk 7@%'9'\G:A%,\G9'*7@58%j# 9'l %,;G5=G*7'&):7'58%m#jO5Zx\s*a%,&b#-G7rh_;G&b:<; &)7
*\Gl}58-x%'5k
=H# -G5#\{%r#j F# 7'7@&b=G! M7'5A( 589,*
JC X %'#VkG5 G-G5
%,;{5:# lmFGb5A%,57@58%#j67@&blr\G!%<*-{5# \G75Zx\s*+%'&b# -G7r%'# =57@# )(5k *+%5*:<; %,&blm5F# &)-x%
kG\G9@&b-GM%';G5|7'&)lr\G*a%,&b#-ReM-{:5_%,;G&)7[5Zx\s*+%'&b# -]QT7'5A% ;s*7 =585-m:9@5`*+%'5k%,;G58-}9@5kG\G:A%,&)# # -/&)%*7F{9'# F# 7'58kr&b-0%,;G&)7%,;G587'&b7&b7F589@j# 9@l}58k/%'#f# ={%,*&b-1%,;{5z9'58kG\G:85k5Zx\s*a%,&b#-]Q^7@58%`
|;G&)76#-G5AQ %,&blm5f9@5kG\{:8%,&)# -&b7|kG# -{5M# -G)}j# 9%,;{505 ]FGb&):&)%|*-Gk7@%'9'\G:A%,\G9'*7'5A%6h_;{&b:<;
C
|;G&)7_%';G57@&b7_&b7|#9'H*-{&58k*7|j# b)#h_7
q{ x FG9'#(?&bkG587%,;G59'587'5*9':<;# =?>@5:A%,&!( 5l}#+%,&)(+*+%'&b# - FG9@# =Gb58l 7g%<*+%'5lm5-H%
*-Gk9'587'5*9':<;E*FGFG9@#H*:<;R
q{ xVo FG9@#(?&)kG571*kG5A%<*&)b58kVkG57@:9@&bF{%'&b# - #j*lm58%';G#]kV%'#7'# !( 5*7g]7g%,58l #j
b&)-G5`*+9 58Zx\s*+%,&)# -G7z*-Gk}(+*9@&b# \{77g%<* 587&b-H(# )(5k*7 =s*:<x 9@# \G-Gk%'#;G58bF#-G5f\G-{kG59 Q
7@%,*-Gk%,;G&)7hz#9'v
q{ x} FG9'587'5-H%'7%,;G5~:8# -G:85F{%|#+j 9'\G-]Q %,&)l}565b*=#9,*+%'&b# -}*-Gk;{#h%';s*+%&)7zF59 Q
j# 9@l}58k#-$*;G&)59,*+9':<;G&):`*Rk{57'&) -=5Aj# 9'517@&blr\Gb*+%,&)# -%,*5876F{*:85
q{ x FG9'#(?&bkG587%,;{5*FGF{9'#H*:<;%<*+5-
%,#E7'\GFGF# 9g%%,;{5}%,;{57'&)7*7@7'59g%,&)# -R
T%
9'58FG9'587'58-x%'7O%';G51kG58%,*&b)5k*b# 9'&!%,;Glm7 j#9|5Zx\s*+%'&b# -9'58kG\G:8%'&b# -%'5:<;G-G&)Zx\G578
q{ x F{9'57@5-H%,7 %';G5 5 ]F589'&)l}58-x%,*?9'57@\G)%'7*+-Gk*-s*+)?7'&)7 |;G&b7:<;s*F{%'597';G#h_7
%,;G*+%_%,;G589'50&b7_&b-Gk{55kF59@j#9'l}*-G:51&)l}FG9@#( 5lm5-H%6=5:`*+\G7'50#j%';G51hz# 9@FG9'587'58-x%'5k
&b-%';G&b7%';G57@&b7
q{ x
;s*70:#-G:)\G7'&)# -
*-{k7'\{ 57g%,&)# -j# 9Mj\{%'\G9'5h# 9'.=s*7@5k
#-%,;{&b719'5 Q
7'5*9':<;
G
G
C
]U &)-G:5 hz5|;s*`(5|\G7'58kmU
Y 4O4_S+&b-G7@FG&b9@5kj9@# l U{Y[SM"VU J2] H*OK~LfNMPQ^S~"VU
7'&)lr\Gb*+%,# 9 %,#7g%,\Gk]%,;G5O%,5:<;{-G&bZx\G5Mj# 99@5kG\{:&b-{r%,;G5M-x\Glr=59z#j5Zx\s*+%'&b# -G7_*r={9'&b5Aj
kG587':9@&bF{%'&b# -m#j;G#hKMLONMPQ^SM"EU9@5FG9@57'58-H%,7z:8# -H%,&)-?\{# \G7 %,&blm5(+*9'&b*=G)57[*-{km%';G5&)9
9'58*+%'&b# -{7';G&)FG7&b7|F{9'57@5-H%,58kV&b-%';G&b7|7@5:8%'&b# -
R* -6"-
:-&'j
#
zy # -H%,&)-x\G# \G7~%'&blm5/(+*9'&b*=G)57~*+9'59'58FG9'587'58-x%'5k&b-EK~LfNMPQ^S~"VUE=HV%,;G5*-]Q
\s*+ 5r5AHQTh# 9'k " +0Y ( 589@ Zx\s*-H%'&)%^Vk{5 s-G58k.&b- *K~LfNMPQ^S~"VUEl}#?kG58&)7
=# \G-GkG58k =H
*E7@58%#+j_5Zx\s*+%'&b# -G7/%,;s*+%r*9'5}-G558kG5k %'#V9'58FG9'587'5-H%%,;{5=5;s*`(?&b# 9/#j
%,;{5rZx\s*-H%,&!%,&b5871U?\G:<;.=58;s*`(]&)# 9~#j Zx\s*+-x%'&)%'&b57OkG5 G-G5k.&b-V*b\GlmF5kEK~LfNMPQ^S~"VU
lm#]kG58s:`*-m=5OkG587':89'&b=5k}=Hm*07g]7g%,58l #jkG&)59@5-H%,&b*s*) 5={9,*&):|5Zx\s*+%'&b# -G7N6SfY 7
%,;G*+%_;s*7|%,;{51j#9'l *7j#bb#h_7
2
2])
%*,'8-9
:*;R;u-9.-6
:-9;
C
7@?-H%<*
2]2
2]3C
lm#]kG58
^
-*kGk{&)%,&)# - %'#
%,;G5V7@&blmFGb5$7'&)lr\G)%,*-G58# \G77g%<*+%'5lm5-H% _KMLONMPQ^SM"EU*b7@#
FG9@#(?&)kG57
!*+-Gk
?7@%,*+%,58l}58-H%,7
X
^-G&!%,&b*RN1yF#&b-H%_7'# )\{%,&)# - &)7j# \G-GkR
N~&!589'5-H%'&* 5Zx\s*a%,&b#-G7*9@5:# -H(59@%'5k &b-H%'# *b5=G9'*&b:mkG&)59@5-G:855Zx\s*+%'&b# -{7
=H-x\Glm59@&b:`*+R&b-H%,58 9,*a%,&b#-%,5:<;{-G&bZx\G50#j 9'*F5 # &)ks*
^-H%,58 9,*a%,&b#-R
6# -]Q^)&b-G5*9_*) 5=G9'*&b:M58Zx\s*+%,&)# -G7f*9'50:# -H(59@%'5k &)-x%'#)&b-G5*9_*b5=G9'*&b:15Zx\s*Q
%'&b# -G7\G7'&)-Gr%,;{5 O5Ah|%,# -46*FG;G7@# -l}5A%,;G#?kR S%|%';G&b7F#&b-H%z%';G5~7@?7g%,5l &b7&)%';G51b&b-{5`*9zj#9'l #+j
K 58:8%,#9 E&b7|7@# )(5k\G7'&)-G#j P kG58:# lmF#7'&)%'&b# -
z5Aj# 9'5}7@%<*+9@%,&)-G%,;G5}FG9'#?:587'7#+j|Fs*7@7'&b-{$%,;{9'# \G;%,;{57@%'5FG7b&b7g%,58k
&b- &b \{9'5M2?)~j# 9z58( 589@%'&blm5OF# &)-x% {l}*+%,9@& c&)7z:9@5`*+%'5kj9'#l *)%';G50yY[7 |;G&)7
%<*+57*FGFG9@# {&)l*a%,5!1I Q X #j{%';G5 *-s*)# _589'-G58]5 {58:\{%'&b# -0%,&)l}5 J2 4_5k{\G:&)-G
%,;{5O-x\Glr=59 #j5Zx\s*+%'&b# -G7 l}*587%';G&b7 l}*+%,9@& ={\G&b)kmF{;s*7'56lr\G:<;mj*7@%'59*-Gk};G5-G:85
7'F558kG7[\GF%';G5zl}*+%'9'& 07@# )(598 |;G&)79'587'\G!%,7 &)-7@F585kG\GF#j{%,;G5z*-s*)# f+59'-{5]h_;{&b:<;
&b-%'\G9'-l*+57_lm& ]5k7@&b -s*+R7'&)lr\G*a%,&b#-9'\{-j*7g%,589
d
5b;g e
$j:
;-6*]-6&:
#,;9)
7*,
,"-6;
#+ / g]-9;
Executable Model
Perform:
Elaboration Phase 1
Perform:
Runtime elaboration
Elaboration Phase 2
Perform:
Optimization Phase 3
DiscreteEvent
Continuous
Process
Process
Simulation
2
8
Aqs
q{
|;{5f%,# Flm# 7g%zkG587'&) -5-H%'&)%^m%,;s*+%z;s*7=558-&bkG58-H%,& G5k&)%';G5~7@?7g%,5l 7'59g( 587f*7%,;G5M&)-GFG\{%%,#r%,;{&b7 s9@7@%|7g%,58FR
^-%';G&b7z7@%,58F G:89'5`*a%,&b#-#j
# =x>@5:8%'7 9'5F{9'57@5-H%,58kr&b-~%';G5[lm#]kG58 # :8# l}F# -G58-H%,7*-Gk1FG9@#]:857'7@57 *9'5[F59 Q
j# 9@l}58k&b-r%'# FkG#h_-*F{FG9'#H*+:<;R s# 9 5*:<;kG57@&b -\G-G&!% H# =x>@5:8%'7 9'5F{9'57@5-H%,&)-G
%';G5kG58:b*9,*+%'&b# -{7 # z%^?F57 (*+9'&*+=Gb587 7'&b-s*b7 7@\G=GFG9@# 9'*l}7 Zx\s*-H%,&!%,&)57
*-{kV%,59@l}&)-s*)7~*9@5r:9@5`*+%'5kRY b*=# 9,*+%'&b# -$#j*FG9'#?:587'7M7g%<*+%'5lm5-H%1&b-H( #)( 587
%';G5&b-G7g%<*-H%'&*+%'&b# -V#+j%';G5# =?>@58:8%0:# 9@9'587'F# -GkG&)-G%,#%,;G5F{9'#?:57@717@%<*a%,5lm5-H%
S%m%,;G558-Gk #jO%,;G&)77@%,58F z%';G5$7@58%}#jM*+b|# =?>@58:8%'7m%';s*+%}*9'5FG9@57'58-H%&b- %,;{5
kG587'&) -;G&b589,*9@:<;x&)7|:9@5`*+%'5kR
Ru
qs <
Hm q{
^-%';G&b7z7@%,58FE*+b&b-{j# 9@l*a%,&b#-}9@5*a%,&b-{%,#7@&b -s*+b7&)%';G5~7@?7g%,5l &b79'5:8# 9'k{5kR
T%|&)-G:)\GkG57\GFks*+%,&)-Gj*-{# \{%|*+-Gk:9@5`*+%'&b-GkG9'&!( 59@7
j# 9M5*:<; #j%';G57'&) -s*)7 *-{k*+7'7'#?:&b*+%,&)# - #jFG9'#?:587'7@571h_&)%,; %';G5kG9'&!( 589'71#j
5*:<;7'&) -s* |;G&)77g%,58F%<*+57FG*:85f*+7*/FG*9@%#j*0kG57@&b -}\G-G&!%z:8# -G7@%'9'\G:A%,&)# &)-$*=#%'%'# lQ^\GFj*7@;G&b#-R
/
?
|;G&b7_FG;G*7'50Fs*7@7'576%,;G51&)-{j# 9'l}*+%'&b# -*+=# \]%6%';G517'&) -s*)7|# %'# %';G5&b-G7g%<*-H%,&b*+%,58k:8# lmF# -{5-H%,7}*-Gk FG9'#?:587'7@57}%'#9@5:8# 9'k %,;G5-G5:857@7,*9g
ks*a%<*.7'\G:<;*+7*.7'&) -s*|7@# \G9':85%'9'585 j# 9lr\G)%'&bFG)5kG9@&)( 589'7}#j~7@&b -s*+b7 r*+-Gk
\GF?Q^kG#h_-%^]F50:# -H( 589'7@&b# -j\G-G:A%,&b#-G7_7'F5:& s5k&b-%';G51l}#?kG5
2]
5b;g
7@&blr\Gb*+%,&)# -R
^-H%'59@j*+:50Z?\G*-H%,&)%'&b587_h_&!%,;lm#]kG5M#\{%_:`*-=50)58j %|\{-s*7'7@#]:8&*+%'5kR
|;{5 #j%';G5Mj# 9'l}**-Gk$*:8%'\s*R# =x>@5:8%'7Ol\G7@%6=51%';G517,*lm5
1 1
^
-%,;{&b77@5:A%,&b#-*:8%'&)(?&)%'&b57m%,;s*a%*9@5VkG# -G5EkG\G9'&)-G
58*=# 9,*a%,&b#-#j/*-G*b#
lm& ]5k7'&b-s* S~"VU m:8# -G7g%,9'\{:8%,7 &)(5-&)-%,;{5$KMLONMPQ^SM"EU *+-G \s*5 C X f*9@5
FG9@57'58-H%,5k |;G5-G58:57@7,*9g.&b-G7g%,9@\G:8%'&b# -G7Oj# 9~5b*=# 9,*+%'&b-Gm%,;G5k{57'&) - ;G&)59,*+9':<;HV&)7
FG9@57'58-H%f&)-%';G51 5-{59,*a%,5k:#?kG5+
2+B
1
< :-68- 0
#,'&b.-&:
c5,"-6]-6*
#,
'&b.-6)
fS -E*9':<;{&)%,58:8%'\G9'50=#?k{:8# -H%<*&)-G7|%,;G50:#-G:\G9@9'58-x%~*-Gk$7'&bl\G)%,*-G5#\G7|7@%,*+%,5 Q
lm5-H%,7R%';s*+% &blmFG)5lm5-H%%';G5[&b-H%,589@j*:85[7'F5:8& s58k0=H~%';G5[:#9'9'587'F# -GkG&)-G_5-H%,&!%^ Y[*=]Q
# 9'*+%,&)# -#j*-}*9':<;G&!%,58:8%,\{9'5_&b-H( #)( 587 5*+=# 9'*+%,&)# -#+j&!%,7[kG58:*+9,*+%'&)( 5|9@5 &)# -*-Gk%,;{5
2I
j#?:\G7~&)7f# -ESM"VUVFs*9g%~#jU
Y 464_Sh5b&)l}&!%_# \G9OkG&b7@:\G7@7'&b#-V%,#%';G5r5b*=# 9,*+%'&b# #j%,;G517@&blr\G!%<*-{5# \G7|7g%<*+%'5lm5-H%,7 sZx\s*-H%,&!%^*+%'%'9'&b={\{%,587_*-Gk=G9'5*7@%,*+%,58l}58-H%,7
1
!!"# $%&''
)(*
+%',$-,
./0213405-%&
67598,:$$-%&'
;
'<>=?<
'@
A(:'>B
CEDGFGHIKJ@LMF N PO1QBRTS $->@1VU:WX%&>%&YRZS[$->*U J@\
] ^ _ JF
a
` ^ IKD ` F *
^ Fcb NZa
(*>%2N!
'd/0.?
[:,e2# $?%''
?<2/0fGRTS $->@1VU
2
C{)
1
W
;-6.-9
:-6;
2n
C
1
-u-6 / *-9
;R >@*
:-"-&;
^
-EK~LfNMPQ^S~"VU vZx\s*-H%,&!%,&b587O9@5FG9@57@5-H%~(+*b\{57f#+j%,;{5\G-Gx-G#h_-G7M&)-E*m:# -?Q
%,&)-x\G# \G7m7@?7@%'5l kG587':9@&bF{%'&b# - |;G5A:*- ;G*(5E7@58( 589,*O*+%@%,9'&)=G\{%'57m*7mkG5 s-{5k&) C X [S%'%,9@&b=G\]%,57|%';s*+%6:`*-=51;s*-GkG)5k&b-$U
Y 4646Sc;s*`(5/=558-EFG9@57'58-H%,5kE;G59@5
q{``+
|;G5
*+%@%,9'&)=G\{%'5j# 9*|7':**+9RZx\s*-H%,&!%^~&b79@5FG9@57@5-H%,58kr*7
h_;G589'5 i&)7 *0Zx\s*-H%'&)%^m*-Gk 1&b7 *-m5 ]FG9@57@7'&b#-#j%,;G567,*lm5|%^?F5O*7 %,;s*+% #j m
|;G&)7[*+%'%'9'&)=G\{%,59'58FG9'587'5-H%'7z*f=#?# b5*-r7'&) -s*xh_;G# 7@5(+*b\G5z&b7 _4 Y&!js%,;G5zZ?\G*-H%,&)%^
&b7|7@\ m:&)5-H%,!*=#(50%';G5M(+*b\G5M#+j%';G515 ]FG9'587'7@&b# - ]
|;G5f*-s*)# /7@# )(59&b7 %,;G5OkG9'&!( 59#jR%';G5f&)l}FG)&b:8&)% 7@&b -G*v9'5F{9'57@5-H%,58k=xm%,;{5
*+%@%,9'&)=G\{%'5
C{
CH2
&)%';&b-G:89'5*7'&)-G 7'& 5 *-{k:8# lmFGb5 {&!%^ #+j0%';G5 :&)9':8\G&)%'7\G7@5kj# 9lm& ]5k]Q
7'&) -s*O7'&)lr\G*a%,&b#- &)%&b7&)l}F# 9@%,*-H%%'# 5 ]FGb# 9@5V(+*9'&)# \G7hz*`]7#j/5-{;s*-G:8&b-G %,;{5
F59@j#9'l}*-G:51#j%,;G507'&)lr\G*a%,# 98e~-G507'\G:<;$%,5:<;{-G&bZx\G5h_;G&):<;E&b7_FG9@57@5-H%,58k &b-%,;G&)7
%,;{57'&)7 &b7[9'58kG\G:8&b-GM%,;{5658*=# 9'*+%,58km7@58% #j:<;s*9'*:8%'59'&)7@%'&b:|5 ]FG9@57@7'&b#-G7&)-%,;G5_lm& ]5k]Q
7'&) -s* 7'&)lr\Gb*+%,&)# -R |;G&)7r7@%'\Gk{#j69'5k{\G:&)-G 5Zx\s*+%'&b# -{7r;s*7=558- F589@j# 9@l}58k # %^h#7'5A%,7m#jO5Zx\s*+%'&b# -G7Q # |#jf5Zx\s*+%'&b# -{7}*+-Gk # |#j
5Zx\s*a%,&b#-G7|;G5*+b # 9@&)%';Gl kG5A( 5)# F5k
%,#$9'58kG\G:5}%,;G5}5Zx\s*+%'&b# -]QT7'5A%7@&5}&b-=#%';
7@?7g%,5lm76&b7|FG9@57'58-H%,5kE&b-%,;G&)7|:<;s*F{%'598
CC
1
W l5
9
1
+
Vs
i1
i2
R2
i3
v2
CB
v1 = i1 * R1
2
v2 = i2 * R2
i3 = C * dv2/dt
Vs
0
^
- &) \G9'5/BG!*-V5)5:A%,9'&):`*-G5A%^hz# 9@V&b7O7';G#h_-.h_&)%';Ej# \G9~={9,*-G:<;{57 |;G&)7
&b7/*$:8# -G7@59@(5k 7@?7g%,5l *-Gk %,;G5}=G9,*-{:<;(+*9'&b*=Gb587*+9'5%,;G5}=G9,*-{:<;( # !%<*57r*+-Gk
=G9'*-G:<;
:8\G9'9@5-H%,78VY[Zx\G&)(+*)5-H%9,*FG;9'58FG9'587'5-H%,*+%,&)# - #j%';G&b70:&)9':\{&)%0&b707';G#h_- &)&) \G9'5BG32]
^-%';G5E9,*FG; 9'5F{9'57@5-H%<*a%,&b#-5`*:<;=G9'*-G:<;&)7*7@7'#?:&*a%,5kh_&)%,;*5Zx\s*a%,&b#-9@5FG9@57'58-H%,&b-{E%,;G59@5*a%,&b#-G7';G&)F.=5A%^hz585-%';G5}={9,*-G:<; (+*9'&b*=Gb587~j# 9M%,;s*a%
Fs*9g%,&):\Gb*9=G9'*-G:<;RU]\G:<;$5Zx\s*+%'&b# -&)7|?-{#h_-E*7_=G9,*+-G:<;E:8# -G7@%'&)%'\{%,&!( 5M5Zx\s*a%,&b#-R
CHI
2 #4*]-&:
-9c5, ,)>@*
S lm#]k{5{-{55k{7 %'#M;s*`( 5|=G9'*-G:<;m:# -{7@%,&!%,\{%'&)(55Zx\s*+%'&b# -{7 j# 95*:<;}={9,*-G:<;&)*f:8# -G7'589@(5k7g?7@%,58l$ |;G5|-x\Glr=59 #jv={9,*-G:<;{57 &b-*O:&b9@:\G&!% :*-=58:# lm5(59g;G&b;
j# 9b*9'5~l}#?kG58b7*+-Gk7'#:`*-=5~%,;G5M-x\Gl=589|#j5Zx\s*+%'&b# -G78
^-G:9@5`*7@5k-?\{lr=589|#j
5Zx\s*a%,&b#-G7/h# \G)k:`*+\G7'57@b#h 7@&blr\Gb*+%,&)# -R |;G5&bk{5`*=58;G&b-Gkl*x&)-G$7@&blr\{*+%'&b# j*7g%,59 &b7 %';s*+% %,;G5_lm#]k{5b589[l}&) ;H% -G#% =5O&)-x%'59@57@%'5k}&b-(]&)58h_&)-GM%,;G56# \{%'FG\{%,7 #jR*b
%,;{5m={9,*-G:<; (+*9'&b*=Gb587~&b- %';G5}:8&b9@:\G&!%`
^-.%,;s*+%1:*7'5m\G7@&b-G%,;G5FG9@&b-G:8&bFG)5r#j7'589'&b587
*-Gk Fs*9,*+bb58|:# )*F{7'&b-{ #+jM%,;G5$=G9,*-{:<;G57h5V:*-# ={%,*&b- *- 58Zx\G&)(+*)5-H%:8&b9':8\G&)%
h_&)%';9'58kG\G:85k-x\Glr=59#j ={9,*-G:<;{57|=G\{%kG&)59@5-H%|=G9'*-G:<;Fs*9'*lm58%,589'7 (*+b\G587 )&b5
9'587'&)7@%<*+-G:5[:`*Fs*+:&)%,*-G:8558%': /-G#h1 %';G5%,589'l 7'589'&b587*-GkFs*9,*+bb58 :# )*FG7@&b-G
h50lm5`*+-%';G519'58FG*:85lm5-H%6#j*-?\{lr=589_#j%';G517,*lm5~%^?F587O#+j=G9'*-G:<;G587O&)-7'589'&b587
*-Gk FG*9,*)b58=H *+- 5Zx\G&)(+*)5-H%M=G9'*-G:<;.h_&)%';VkG&)59@5-H%1=G9'*-G:<;.Fs*9'*l}5A%,589'7 |;G&)7
%<*+7' #j_=G9,*+-G:<; 9'5k{\G:8%'&b# -
#+j6*El}#?kG58&)7r*V# -G5m%,&)l}5}*:8%'&)(?&)%^*-{k
%,;G&)79'58kG\G:857
%,;{50-x\Gl=589|#j={9,*-G:<;{57O*-Gk;G5-{:51%,;G51-x\Glr=59|#j5Zx\s*a%,&b#-G7h_;G&b:<;$*9@5M-G558kG5k
j# 9f%';G5r7g%,5F{707@;G#h_-.&b- &) \G9'5r2]! /U]&b-G:85*)58Z?\G*+%,&)# -G71*9@5%,9'*(59@7'5k.j# 9~7g%,58FG7
7';{#h_-m&b- &b \G9@5_2]! H9'58kG\G:A%,&b#-m#+j%';G5_-x\Glr=59[#j5Zx\s*a%,&b#-G7 l*+57 %';G&b7 %'9,*`( 589'7,*+
j*7g%,59*-Gk7@&b-G:85~%,;G&)7%,9'*`( 59@7,*&b7zk{# -G5fj# 9z*-x\Glr=59#+j%,&blm57kG\G9@&b-Gr7@&blr\{*+%'&b# %,;{59'5m&b717@&b -G& s:`*+-x%158-G;s*-{:5lm5-H%&b- 7'F55k=H %,;G5m9'58kG\G:8%'&b# - #j%,;G5m-x\Glr=591#j
5Zx\s*a%,&b#-G7
CX
,5
;g
-9.-6)
R
Input
R
R
After
Series
Reduction
After
Parallel
Reduction
R+R
Req
Cn
|;G5M:8# l}F{b5 ]&!%^}#+j%,;G&)7|*b# 9'&!%,;Gl &)7. 7'& 5f#+j # 0/07@&85~#j
&b-( 589@%,5 A6U]&)-G:5 &b-( 589@%,&):587~*9@50#+j %,;G507,*+l}51# 9@kG596#j%';G5-x\Gl=589
#j 5k{ 57 R%,;G5:8# l}F{b5 ]&!%^E#j[%';G&b7~*b #9'&)%';Gl j# 9~7@59@&b571*+-Gk.Fs*9,*+bb58 9'5k{\G:8%'&b# - &)7
. 1/32 sh_;G589'5 &b7|%';G5/-x\Gl=589O#j( 589@%,&):587~*-G4
k 2 &b7|%';G5-x\Glr=596#j5kG 587
&b- %,;{5E 9'*FG;R |;{# \G ; %';G5# 9'kG589&)7m-{#%)&b-G5*9 &)%m&)7}7'*+%,&)7@j*:A%,# 9g %,# \G7'5%,;G&)7
*) # 9'&!%,;Gl j# 9z=G9'*-G:<;9'58kG\G:A%,&b#-*7&!%&b7z*# -G5O%,&blm5O*:8%'&)(?&)%^}*+j %'5958*=# 9,*a%,&b#-}&)%,;{50lm& ]58k]Q^7@&b -s*+7'&)lr\Gb*+%,&)# -R
B
1
1
>@*.-6)
;
S-G# -]QT:# -G7@59g( 5k 7g]7g%,58l &)7/lm#]k{5b58k\G7@&b-G " A s9'585Zx\s*-?Q
%,&!%,&)570*9'5m(+*b\G5m=5`*9@&b-G# =?>@58:8%,7&b-.KMLfNMPQTSM"VU h_;G&):<;
kG#E-{#%#=5A %';G5b*`h_7
#j:# -{7'59g(+*+%,&)# -R |;G5A*9'517'&)l}&)*9 %,#m*-H(+*9@&*={b57z&b-*-G# -]QT:# -G7@59g( 5kE7@?7@%'5l
|;G515Zx\s*a%,&b#-G7|kG57@:9@&b=G&)-G%,;G5M=5;s*`(?&b#9|#j %,;G587'5Mj9'5850Zx\s*+-x%'&)%'&b57*9'5~%'59'lm5k
A|;G5=G9,*+-G:<;9@5kG\{:8%,&)# - %,58:<;G-G&bZx\G5kG587':89'&b=5k.&)-V%,;G5FG9@58(?&b# \{7M7'5:A%,&)# &b7f-G#%1*F{FGb&):`*=G)5/%'#-G# -]QT:# -G7@59g( 5k7@?7@%'5l *+7~%,;G589'5&b7f-G#:# -G:85F{%1#+j={9,*-G:<;{57
&b- 7@\G:<; 7@?7@%'5lm7 s# 9f5 {*lmFGb5r)58%M\{7M:# -G7@&bkG5891*7@?7@%'5l #+j)&b-G5*9f58Zx\s*+%,&)# -G7M&) *-Gk 6Sf-Gk$hz56>@\{7@%fhz*-H%~%'#5 ]FG9@57'7M7@# lm5/9@5*a%,&b#-G7';G&)F$=58%^h558- %,;G58l$~eM-{5
7'\{:<;E9'58*+%'&b# -{7';G&)F:# \G)k=50*7j# )b#h_7
2 B
/
BG)
BG2
BG3C
BGDB
2 #4*]-&:
-9c5, ,)>@*
T
%~&)7f5A(]&)kG5-H%Oj9'# l %,;{5FG9@58(?&b# \{7~7'58:8%,&)# -E%';s*+%M*m-G# -]QT:# -{7'59g( 58k 7g?7@%,58l&)7
9'58FG9'587'58-x%'5km&b-*)%'# 58%';G59kG&!589'5-H%h*`0j9'# l *f:8# -G7'589@(5k7@?7@%'5l |;G589'58j#9'5%,;{5
9'58kG\G:A%,&b#-%,58:<;G-G&bZx\G5876*b7@#kG&!589z&b-}%,;G&)7z:`*+7'5fj9@# l %,;s*+%z#j%,;{5~:# -{7'59g( 58k$7g]7g%,58l
9'58kG\G:A%,&b#-%'5:<;G-{&bZx\G5 |;G&)767@5:A%,&b#-&)( 587|%,;G519'58kG\G:A%,&b#-%'5:<;G-{&bZx\G5/*FGFG)&b:`*+=Gb5O# -G# -?Q^:#-G7'589@( 58kV7@?7g%,5lm7
Bx2
BGI
BG3X
BGd
BG
BG3n
BG!
BHC
BG!
BG!2
BG!C
BG!`B
BG!I
BG!X
fS 77';G#h_-&)-/%,;{5z5Zx\s*a%,&b#-G7$B{)`BfBG!IO*+-GkWBG!X%,;{5=58;s*`(?&b# 9#jG%';G5z7g]7 Q
%,58l :*-=5M# =]%<*&)-G5k=H0>@\{7@%_7'#)(?&b-Gr%';G5M5Zx\s*a%,&b#-G7BG)`Xr=x-x\Gl}589'&):`*Rlm58%';G#?k
*-Gk
%';G5- 7g]l=# )&b:*b!.7'\G=G7g%,&!%,\{%'&b-GV%';G5(+*b\{5#j =s*:<&)-H%,# 5Zx\s*a%,&b#-G7 BG)B
*-GkBG)I]
5|:`*-7'585|%,;s*+%[%';G# \G;%';G5|7@?7g%,5l &)7 9'58FG9'587'58-x%'5k\{7'&b-{~%,;G9@55_5Zx\s*+%'&b# -{7
=G\{%z*+j %'59 7@?lr=# b&):_l*-{&bFG\Gb*+%,&)# -r# -%,;{5O7g]7g%,58l #j5Zx\s*+%'&b# -{7# -{)# -{5O58Z?\G*+%,&)# -G585kG7 %'#M=57@# )(5k-x\Glm59@&b:`*+b)0*+-Gk9'587@% :`*+-=57@# )(5k=Hr7@\G=G7g%,&)%'\{%,&)-Gf%';G5(+*b\G5
#j%,;G5M(+*9@&*=G)57zh_&!%,;G#\{%6*-H&)%'59,*a%,&b#-R
Sf)7'# {:# -G7@&bkG589|%,;G5Mj# )b#h_&b-G7@?7@%'5l #j5Zx\s*+%'&b# -G7
BB
BG!d
BG!
BG!n
2
;g
-9.-6)
#
'&"-5,
=
x
BHX
$
/e
>
CTL `
O W
^ GF b;CZL `
CTL `
<+9>>%%?2
< ',%2/
"!
+ %&
5?
%$&('
*)
,+
.-,/0/012,34
CTL `
J C O
'i.
>@&
<+!
'% W I ^ F
J@C O
O Wi'*/e%. %&
5?
KW I ^ F
O
O W,W
^ \ ^
HLMFjIKJF D ^
#9
,>%&
^ Fcb J@C
^ FGb J@C
>(*G%> $ Sg '5,%>% ,< ( g
%>$? 5[S+>(*G%>2<"< 8,?',,%>
$ <, %&
5?
[?/.5->%&'
+2% !>(*c%&>
>
-O
O
W,W
^ Fcb CTL `
^ FGb;CZL `
-/6/0172834
5
5
28-,-
.=:>
>=
&('
? "!
28-,-
@ACB
2 D
Bxd
/0$?
S O@[?
d,%&> W
'
&('
5
%$&('
%$&('
$@&
&
'
'
$&('
$&('
B
"!$#&%('*)+'*,*),.-/'01%('2)3'0,4&5%(167-&%(!8.9&'0+:-<;>=")33%1),4&99.9&?@%,'A3.BC4&5D!FE
%(68)HG2%(&674&%H%,'I67#&%(BJKL!$%,.679:%('* 9.M<4'I+'*,*),.-/'0+N.9O%,'P#),'RQS.6742 "!$#&%('*)A!$9+
%(&'09-T;U9054+.9&?V%('>%('* 9.M<4'J.9W%(&'J3.BC45.!$%(679X)349ZY[&'J?767!85.P%(6N#)36\Q8'
%(!$%H9054,679[68]^'*M<4"!$%(679O),'*+4R%(.689[%('* 9.M<4'P0!843'0,?79_="L!89T%`.B:#),6aQ7'*BJ'*9T%
.9O%,'I#b'*)3]c67)3B[!89&0'P68]dBJfeg'0+gEh,.?89"!85i3.BC4&5D!$%,.679ZY
C "!8#&%,'0)jk% !8)k%(CG2%,l!m+'*,0)3.#&%,.679n6$]o%,'V'pe&#/'0)3.B:'09T% !$5H!8##&),6T!8 iY
qr),3%s%,'t'RQ8!$5.4"!$%,.679>'*9<QS),679B:'09T%`.1+'030),-b'*+ZuSvYw'8Y_uSG2 VB:_eg'0+gEh,?79"!853.BC4&5D!FE
%(68)2G`!8A4,'*+m%(6J,4##/67)k%A%,'@%,'03.t!8,3'0)3%,.679iuxG2&. m#&5D!$%3]c67),ByG`!8A4,'*+Zu/G2&.
zI{ G`!8H43'0+O'*%,8Ys'tG`!L;[B:6S+'051G'0)3'|?7'09&'0)(!F%('0+OH!85,6}?7Q8'09O!89&+V="9"!855;j%(&'
~T
!#"
$&%('%('
)*+-,/.+1032/4#57685&*92;:<4=5>?6@5&0
A 9I67),+&'0)%(62,&6\G%("!F%%(''*MS4!$%(679I),'0+&4*%,.679I%('* 9.M<4'*d0!89I'09!890's%(&'
VHDLAMS
Model
Branch Reduction
Technique
C++ Code
Generation
Elaboration
Simulation
Output
Equivalent
VHDLAMS model
C++ Code
Generation
VHDLAMS
Model
Elaboration
Simulation
Output
Variable Substitution
Technique
All
Separable
Variables
No
VHDLAMS Model
With Fewer or the Same
Equations
Yes
Direct Symbolic
Solution
+
V
Analog Circuit
1
Digital Circuit
5
output
"1"
+
V
03+1032 032
+-,Q>?6 0
4
E D
G2'*),'I%('UT
"! # % '
]c67)H%('I#/67#45.!$%(679VB:'L!89N.2!$H]c675.56\G2
?AF #G
HJIK%LJMON P Q( SE D R F #G
HJIK%LJMON P (
% % !
XgY T
X %
? EZ (
L % = P ? T T XW V # E [
Y
XWX
XgY [
T WX V X
+
Z
=
E
P Y#E
$&%('%
XgY ]
+10 +?+-5+-, 3 2
T
'
T
( !
!$% ,
!
'o=")33%`'Re&!8B:.9'2%('o#/'0)3]c68),BJ!890'o68]b%('A),'0+&4*%,.679JBJ'R%(6S+J689J%(&'t,0!85_E
!8-5'H0),*4%r+'030),-b'*+>.9j,'**%,.679 ~ Y T7Y [gY ')(!$9j,4*0'03,_Q7't3.BC4&5D!$%,.679@679>0),04&%(
G2%,X!JQ$!8)3D!8-&5.'P9<4BC-/'0)A68]%('*),B:.9"!85-4&%t68%('*)3G2,' )3'0#)3'03'09T%(9?V%('}0),04&%o68]
%(&'I]c68),B?7_Q7'*9 9mqr?74)3^' XgY ]gY A 9m!85.5iL!83'02%('I9<4BC-/'0)o68]d'0M<4"!$%,.679o),'*+4*'0+ %,6
'0?7T%}%,'0)3'0-T; #),6aQS.+&.9?m!N*679,3%,'09T% QS.'RG 68]H&6\G %,'[)3'0+4&*%(679B:'*%,6S+#/'0) E
]c67)3BJP!$I! *.)304_%P?7),6aG2*Y EtPk% !$%,'0+ .9W#)3'*QS.674&P "!8#&%,'0)0u^)3'0+4R%(679U.9W-),!89
'0M<4"!F%(.689t36745+X,#/'0'*+gE 4#W%,' B:_eg'0+m,.?89"!85 ,.B 45D!$%,67)2] %,'0)3'C.o),'*+4R%(.689X68]
'*Q8'09679'O-),!89 l.9%,'O'0M<4"!F%(.689n,'*%:67-g% !89'0+l!$] %,'0)C)34999?X%(&'O-)(!89& *675_E
5D!$#,9?N!85.?768),%,B
6aQ8'0)I%(':,'R% 68]H-)(!89& '0M<4"!F%(.689JYJ'['RQS.+'*90'J,6aG299
d!8-5.' XgY T[34##/67)3%, %( !$,,'*)3%,.679-b'*L!843'V,#/'0'*+4#!8}?7Q8'099%,'['*MS4!$%(679
X
A6&Y68]
CsM<4"!F%(.689
S)(!89
= L 0L
0
31 / &1 46/ 0K46- 02P - P 460
460
70 4 07 4 - .4 +./ +P / ! P ! + +
! 46!0K46- 02P - P
XgY ~
XgY X
!460K- P /
!4 -J+ =
BN'L!89
P`689&="+'*90'
P`689&="+'*90'
+&b'0),'*90'I68] A 9<%,'0)kQ8!$5^]c68)
K^'RQ7'*5B
3.BC45.!$%(679
%,' B 'L!89
%(BJ'
3'0
E T
T[
V&Y [ ~
V&YZV Xgu<V&Y ~ ]
V
S T
[]
V&ZY Y X
V&Y WY&u T7YZV T
8
P T
[gZY ]W]
[gYZVWV&u [gY
~X
8
JT
Y
XgY 7
XgY [WXgu&Y _]
8
CFT
T
T
gY [
/T&Y ~ V&u TY&Y T]
8
T
] X_]
]&Y X
] ~ Y ~ u<]WY&YZ]WY
8
I T
_V X
Y YX T
YWXgY V u ]&Y ]
8
d!8-5.'NXgY [ P`679&="+'*90'U9<%,'0)kQ8!$5o]c67)JBJ'0!89 + i'*),'*90'X6$]I,.B 45D!$%,.679l%(BJ' G2%,
-),!89 U),'*+4*%,.679W%,'0 9M<4':!89+WG2%,674&%|%,"!$%|]c68)|+"!$%(!O]c)367B r!8-&5.' XgY Tjd'* gE
9MS4&'
3%(!$%(3%,.L!$5!89"!85_;S,.2A68] pY`A2G2!$%AG`!8A'Reg#b'**%,'0+ZY2qr?74)3' XSY >),'*#),'pE
,'*9T%(t*4)3Q8'02G2%, )3'0+4R%(679N%,'0 9&.M<4'}!89+ G2%(&674&%o),'*+4*%,.679O%,'0 9M<4'8=Y IA'0)3'
,90':!$] %,'0)I),'*+4R%(.689'RQ7'0)k;U%(.B:'C%(&':9<4B -b'*)}68]-),!89 '* 67-&%(!8.9&'0+UGH!8I=&eg'0+iu
%(&'o*4)3Q8'oG2_%(>),'*+4R%(.689:%,'0 9M<4'2.s!85BJ67k%06893%(!89T%LY1*4)3Q8'A#),'*,'*9<%,'0+
'*),'2%(6@#b679T%684&%s%('2%()3'0B:'09+684#/'0)k]c67),BJ!89*'A'*9"!89&0'0B:'09T%H!8 .'RQ7'*+[]i5.68%,68]
#"!8),!85.5'05^-),!89 '*PL!89X-/'C)3'0+4*'0+ZYP&' % G`6OB:'*%,6S+t43'0+W]c67)o67-&%(!8.99?J%,'03'
04&)3Q7'*AG'0)3'}k% !$%,.3%,.0!85.5_;[*67BJ#!8),'*+ ]c68)2=9+.9&?>%,'@0679&=+'09*'}5'*Q8'05G2%, G2&.
%(&'*; L!$9 -/'I(!8+ %,6J+& b'0)H]c),68B'L!8 N68%,'0)*Y'IB:'L!89N+ i'*),'09&0'I68] 3.BC4&5D!$%,.679
%(BJ'>]c67) %,'03'[% G6 B:'*%,6S+C!8)3'V3%(!$%(3%,.L!$5.5;W!89"!85_;gK*'0+%,6X="9+%(&'V0679g="+'09&0'
.9T%,'0)3Q$!85Z!89+ 0679g="+'09&0'@5.'*Q8'05 Yd6:05.!8.B %("!F%%('P*4)3Q8'0|!$),'P+ i'*),'09T%%,'I0679&=gE
B 6g+&'05
A6&Y68]
CsM<4"!F%(.689
S)(!89
X_Y
+'*90'P9<%,'0)kQ8!$5/]c67)1%('tBJ'0!89[+ i'*),'*90'P36745+V968%`.9*5.4+'AK0'*),6Y'tB[!FegBC4B
0689&="+'*90'>5.'RQ7'*5dG2 +&6g'*|968%P9054+'}K0'0)36O.9m%,'j0689&="+'*90'>.9T%,'0)3Q$!85 68]s%(&'
B:'L!89U+ i'*),'09&0'>68],.B 45D!$%,.679N%(BJ'C!8I-b'*'09 ,6aG299X%('j%(!8-5.' XgY [gY P`67)3),'pE
,#/679+&.9?@?7)(!$#J!8s-b'*'09[36aG29V.9:qr?74)3R' XgY SYqr.?84),R' XgZY YI,6aG2s%('A!8B:6749T%s68]
%(BJ'% ! $'09[-T;j%,'2-)(!89& [),'*+4R%(.689:%,'0 9M<4'o%,6@!8 .'RQ7'A!@#!8)3%,.04&5D!8) +&'0?7)3'0'268]
,#/'0'*+4#ZY z ]^0684),3'8ug%,'t+&'0?7)3'0'|68]Z,#/'0'0+&4#N!8 .'RQ7'*+O.1+.R% !$%,'0+V-T;:%('A3;S3%,'0BNY
t04&)3Q7' 343%A+'0#&.*%,A%,'C!8B:6749T%A68] %,.B:'I%(! 8'*9X-T; %,' )3'0+4&*%(679X!$5.?767)3%,B
]c67)2!j#"!8)k%(045.!8)H,#/'0'*+4#N] !8*%,67)]d#b'*),B:.3,.-&5.'|-T;V%,'I3;S3%,'0B +'030)3.#&%,.679ZY
Number of Branches vs Simulation Time
450
Simulation time Without Reduction Technique in Seconds
simulation time
400
350
300
250
200
150
100
50
0
0
200
400
600
800
1000
1200
1400
1600
Comparison of Simulation Time With and Without Technique for a Highly Reducible System
20
Simulation Time Without Branch Reduction in Seconds
20
40
60
80
100
120
Number of Branches in a Conserved System
140
160
180
T
'
( !
# % ! %
'
T
T
$
$
,
Ah%"!8`-/'0'*9V,&6\G29V!89"!85_;S%,.0!85.5_;C.9>%(&'t#)3'*QS.674& "!$#&%('*)`%("!F%H!8#.L!$%,.679
90
80
70
60
50
40
30
20
10
0
0
100
200
300
400
500
Number of branch equations
600
700
800
0.16
0.14
0.12
0.1
0.08
0.06
0
50
100
150
200
250
300
350
Reduction Factor (Original Number of Branches/Reduced Number of Branches)
400
A6Y
CsM<4"!F%(.689
W]
20
15
10
0
0
50
100
150
200
Number of equations
250
300
350
BN'L!89
P`689&="+'*90'
P`689&="+'*90'
+&b'0),'*90'I68] A 9<%,'0)kQ8!$5^]c68)
K^'RQ7'*5B
{ .B 45D!$%,.679
%,' B 'L!89
BJ'
3'0
E[
X
V&Y X
V&Y X_]&u<V&Y X
8
SQ[
TV
V&Y _Y
V&Y u<V&YZY
8
PQ[
[V
T7ZY ]
;T7YZ] [gu T7Y ~ V
8
J [
[gY T
[gY TV&u [gY [ T
~V
8
C#[
Y_V
]&Y Xgu ~ Y TWT
~ ZY VW]
8
q[
T WV
Y&Y TV
gY X u<Y&Y [
8
[
] [_V
T&Y T V
/TXgY ]&u T &YZY ~
8
d!8-5.'NXgY ~ P`679&="+'*90'U9<%,'0)kQ8!$5o]c67)JBJ'0!89 + i'*),'*90'X6$]I,.B 45D!$%,.679l%(BJ' G2%,
),'*+4R%(.689N%,'0 9M<4' !$9+OG2%(&674&%%(!$%2]c),67B r!8-&5.' XSY ]&Y
B 6g+&'05
A6Y
CsM<4"!F%(.689
X
Number of Equations Vs Simulation Time Without Equation Reduction and With Equation Reduction
25
Without Reduction Technique
With Reduction Technique
20
15
10
0
0
50
100
150
200
Number of equations
250
300
350
16
14
12
10
8
6
4
2
0
0
50
100
150
200
Number of free equations
250
300
350
Speed-Up Factor
25
20
15
10
0
0
50
100
150
200
Number of equations
250
300
350
WY
n
),'*+4*'0+ ,% 6 uG2'*),'
= ( T (
&Y T
\
T
"!#$%&'
(*)+U-,/.10
[- *CD&E(FCHG/(I2J(KMLNJ1!#O1HPC(P%&$%QJ(ORSR&UTVXW2YSRZ[HG/RX'
~ *XO-J(NJ(zPC^{3
T 7 X
<4>=
H| 42=g0 &
~}oVdY&BN67),?T!$9 F !84&]cBJ!899Zu
X- ''N 'K)+'[K&!#O:q&J(EFC9GI
W[
7 -,/.10
K&2"Y
8689 5.'R;
Ym [JRq(D&qzz G6#Et9
%(679ZY\e #,z0
&2"u T _VgY
),689.K0!$%(679[68]Z0679T%(9<46741%(.B:'2+.30)3'*%('A'*Q8'09T%2,B>E
45D!F%(67)30Y A 9' l=-4 d 5# 3 ` &2 5
C - f
<4<4l= Et4&?743%^T 8 Ru&##ZY [W[a/E [_] T8Y
TWT
G !#$%&q&J(K -,/.10
T -[ 'K"QNE /0l,
U&
$ 70 4#,z0
72"Y P&D&P ),'030u T 7 ]&Y
{ -A/P&C B:6g+'*5_E
.9?j9GI JKiE E B { Y<Bm!83%,'0) 2%('*,0u OA9_Q7'*),,_% ;O68]P`.9*.99!$%( u T 7 Y&Y
T -X X QRp'' uVJ(!#'!rNPC
45%,.5'*Q7'*5r!$9+XB:_eg'0+gE
+67BJ!8.9:,BC45.!$%(679J6$] !89"!8567? *.),*4%,H!89&+O3;S3%,'0B:0Y(`aEaa { CU 4
72U 4,
-,/.10 &
<4>= d5` = 70
i4Q e(8:467 ,4k
7!89<4"!8)3;
T 7 Vu"#&#ZY WYFELY T7Yq"'0!$%(4)3' Et)3%,.*5.'8Y
m G|&+ 35+6 E 9'RG B:_eg'*+gE B:6g+&',.B 45D!$%,67)0Y A 9 ' l=-4,d5 i3 oan0 <.
<4>= /0
6-,Q&2 5
/T 7 ]RY
`6 , & @ r. <4' 2&2 i3Va U4 p8!SY EoQ8!$.5D!$-5.'
679O%('PG67),5+OG2.+'PG'0-X!F%"$#%#'&(*)+)-,%,%,/.10'"$23.465%7)8:9;5$<
{ E G8E A Et9V'peg%,'093.-5'
67- 3'**%3Eh67),'09T%('*+.9T%,'0),B:'0+&D!$%,':]c67) GI9JKY8A 9 }"6/>=4' R | 4@?9 -0 . eM. l=
'A'A+B 5
Bm!8)*Y T 7 Ru#&#ZY [WX\E;[_Y T7Y
~
[
T Z K&J PC W J(
( mN )+p !#
'ND&q&DK'!r ]^ p [&'
{ CEB { { BC45D!F%(.689MC9TQS.),689BJ'*9T%
]c67)GI9JKZE EB { Y@A 9 ' l=-4 d5 #3 2'A'A 6 e # ,z0 &2< 5 f
RY ;T 7 Ypu##ZY X ] E/X ~ &Y
NK'O J(N'KzNG6p'K qJ1K
&R0 -04V478:46 7,
,
l=8Y { #),9?7'*)kE Gs'*),5.!8?u T 7 T7Y
[ ~
&'u "J(K&
'!#E^]^ IS
{ #"!80'pEh%,.B:'A!$9+[3.BC45.!$%(679ZYWA 9_,;47f
7
0
6 e #,z0
&2 ;T Y pu { 6S0'*% ;V]c68)RP`67BJ#&4&%('*) { .BC45.!$%(679Zu<##ZY X ]F/E XSY
WX
{ ;SBC-/675.1!89"!85_;g3. BJ'R%(gE
6g+&2!89+N!8##5.0!$%(679s]c67)2!89"!8567?C*.),*4%, E %,4&%(68),D!$5i6aQ7'*)3QS.'RGIY<A 9 ' gf
l=-4 d5 #3 /`<aaa q"'*-),4"!$)3;NT 78~ pu&Q7675 Y<Y [gu"#&#ZY [_Y FLE ]WVW]&Y
[
$%!#J(
J1($ 'u 1&np(' O:'O J1 (uC
]WVm $%!#J( J1($ R$ RJ' lO &'K qOl1R%R%1' O:''O J( RuC(%_EA9"!85.68?
]
T DNJ(KlqR Ol
l= 4#,z0
72"Y 8
689 .5.'R;
{ 679*u
l=g0 :=
Ca 'C72 ; i3 S6e(0 .. gf 4>= ; gf
l=: e # ,z0
&2"Y <J %(&'0,0u C#P&CP { J|'0#"!$)3%(B:'09T%0u Oo9Q8'0),3% ; 68]
P`.9*.99!$%( u T 7 &Y
!85?767),_%(B:
]c67)0),*4%23.BC45.!$%(679ZYH`<aaa { CU4
72U4 A-,/.10 &
z < 4> =
EA#),51T 7 [ Ru ~ ] [\E ~8~ [gYq"'0!$%(4)3'Et)k%(.*5.'$Y
2
&Se(8:47f
6 7, "| 4 ; i3 :4' , @' u&.9 Y I@Y 685.4-Zu { YZI}Y K4vuq`Y PY
K4 !89&+D@Y
&Y5.'*BJB:679 C+0Y Ru { *.'09T%,=" P`67B:#4&%,.9?&u { #),9?7'*)kE Gs'*),5.!8?u
{ .9&?T!8#/67),'$u T 7 gY