. We also point out that in some designs, some of the synchronous devices will change output values immediately after latching the input values rather than waiting for the next falling edge. For example, in the LC3 design, the NZP register could do so,since it feeds another synchronous device. For consistency, our design and simulation model assume that devices transition on the falling edge as previously described.