The designs presented in the first three chapters have all been asynchronous. The nondeterminism inherent in these asynchronous computations often leads to simple and succinct descriptions. However, there are also examples where the asynchronous approach is awkward, e.g., when describing computations where a number of components operate in lock step. This chapter shows how to describe such computations as synchronous designs. Syntactically, these designs are similar to asynchronous designs, and most of the constructs introduced in chapters 1 and 2 can also be used for describing synchronous designs, for example, transitions, cells, and quantification. However, the computational model of a synchronous design is different; therefore, a different verification technique is required.
Unable to display preview. Download preview PDF.