Professional Documents
Culture Documents
SFG and Mason's Rule: A Revision: Andersen Ang
SFG and Mason's Rule: A Revision: Andersen Ang
Branch in series:
Isolated loop:
Non-touching loops: G2H1 & G4H2, G2H1 & G4G5H3, G2H1 & G4G6H3
A32A43A54A65A76
A72
A42A54A65A74
Input: X1
Output: X6
#789:;9< >;?@
1
TF = 3 𝑃5 Δ5
Δ
5A%
1
= 𝑃%Δ% + 𝑃'Δ%
Δ
1
= 𝑃% + 𝑃'
1 − (𝐿% + 𝐿' + 𝐿()
𝐺%𝐺'𝐺) + 𝐺%𝐺(𝐺)
=
1 − 𝐺%𝐺)𝐻% + 𝐺%𝐺'𝐺)𝐻' +𝐺% 𝐺(𝐺)𝐻'
SFG and Mason’s Rule Vu Pham 16
Example 2
Input X1, Output X8
𝐿'% = 𝐿%% 𝐿%( 𝐿'' = 𝐿%% 𝐿%) 𝐿'( = 𝐿%' 𝐿%( 𝐿') = 𝐿%' 𝐿%)
X1 X8
X1 X8
X1 X8 X5 X7
X2 X1 X8
X4
X5 X7
#789:;9< >;?@
1 X6
TF = 3 𝑃5 Δ5 X1 X8
Δ X3
5A%
X2 X4
𝑃% Δ% + 𝑃' Δ'
=
1 − 𝐿%% + 𝐿%' + 𝐿%( + 𝐿%) + (𝐿'% + 𝐿'' + 𝐿'( + 𝐿') )
𝐺% 𝐺I 𝐺J 𝐺K 1 − 𝐺' 𝐻' − 𝐺( 𝐻( + 𝐺% 𝐺' 𝐺( 𝐺) (1 − 𝐺I 𝐻I − 𝐺J 𝐻J )
=
1 − 𝐺' 𝐻' + 𝐺( 𝐻( + 𝐺I 𝐻I + 𝐺J 𝐻J + (𝐺' 𝐻' 𝐺I 𝐻I + 𝐺' 𝐻' 𝐺J 𝐻J + 𝐺( 𝐻( 𝐺I 𝐻I + 𝐺( 𝐻( 𝐺J 𝐻J )
END