Synchronous Designs

  • Jørgen Staunstrup
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 253)


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.


Clock Cycle Shift Register Product Combinator Verification Technique Stop Watch 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1994

Authors and Affiliations

  • Jørgen Staunstrup
    • 1
  1. 1.Department of Computer ScienceTechnical University of DenmarkDenmark

Personalised recommendations