Input
Current State Next State
Reset (X) Valid Match (Y)
Locked 0 0 Locked
Locked 0 1 LockedCombo1
Locked 1 0 Locked
Locked 1 1 LockedCombo1
LockedCombo1 0 0 Locked
LockedCombo1 0 1 LockedCombo2
LockedCombo1 1 0 Locked
LockedCombo1 1 1 LockedCombo1
LockedCombo1 0 0 Locked
LockedCombo1 0 1 LockedCombo3
LockedCombo1 1 0 Locked
LockedCombo1 1 1 LockedCombo1
LockedCombo1 0 0 Locked
LockedCombo1 0 1 Unlocked
LockedCombo1 1 0 Locked
LockedCombo1 1 1 LockedCombo1
Unlocked 1 0 Locked
Unlocked 1 1 LockedCombo1
S0
S4 S1
S3 S2