Prévia do material em texto
Step 1 of 1 7.067E Assume E(SB) , E(SC) and E(SD) be the binary encodings of states SB, SC and SD respectively. Then E(SD) = is the bit-by-bit logical AND of E(SB) and E(SC). This is true because the synthesis method uses the logical AND for the next values of each state variable and by extension the logical AND of the encoded states.