Multiple Clocks

  • Ashok B. Mehta


This chapter describes multiply clocked sequences and properties and clock flow semantics (how does clock flow from one clock domain to another). It also discusses all the operators that work on multiply clocked properties such as “and,” “or,” “not,” etc. It also describes nuances of Legal and Illegal conditions of such properties and sequences.


Multiple clocks Sequences Properties “and” of sequences “or” of sequences Multi-clocked Edge detection 

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Ashok B. Mehta
    • 1
  1. 1.DefineView ConsultingLos GatosUSA

Personalised recommendations