Sequential Logic Testing and Verification

In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered carefully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the incidence of failure. For instance, in order design reliable inte­ gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of function...