Digital Design_ Principles and Practices, Chegg Solution Manual_parte_357

Prévia do material em texto

Step 1 of 1 7.066E Assume E(SB) , E(SC) and E(SD) be the binary encodings of states SB, SC and SD respectively. Then E(SD) = E(SB)+E(SC) is the bit-by-bit logical OR of E(SB) and E(SC). This is true because the synthesis method uses the logical OR for the next values of each state variable and by extension the logical OR of the encoded states.