Cube Enumeration and Simulation
Cube Enumeration and Simulation
q3
100
101
q0
q2
q1
q4
110
010
000
011
001
q3
10 ]
111
q0
q2
q1
q4
110
0 ] ]
111
m For 20-input cache controller example:
1,000,000 edges/state on average in minterm representation.10 edges/state in cube representation.