Professional Documents
Culture Documents
Modeling & Verification 2020
Modeling & Verification 2020
2020
Lecture 13
Binary Decision Diagrams
a M1
b c
M1 x M2
1,a 4,a 1,b 2,b 1,c 2,c
a M1
b c
M1 x M2
1.421 state machines 1,a 4,a 1,b 2,b 1,c 2,c
11.102 transitions
Global States.: 10476 3,a 4,a 3,b 4,b 3,c 4,c
= 10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000 STATES
Redundant
1 0
IBEN
Mia’s Schedule in 4th Grad