D-Type
FF – inferring MSFSM model
}We split the D-type FF circuit into 3 separate
sub-circuits (SR latches)
}Infer an FSM of each
sub-circuit
}Signals and states will transition
asynchronously
}Goal:
}Signals xb, y may
never assume 00,
OR
never assume 00,
OR
}may never transition
from 00à11
from 00à11
7
CE-653 - MSFSM Intuitive
Example