Specifying and Verifying Systems with Multiple Clocks

@inproceedings{Clarke2003SpecifyingAV,
  title={Specifying and Verifying Systems with Multiple Clocks},
  author={Edmund M. Clarke and Daniel Kroening and Karen Yorav},
  booktitle={ICCD},
  year={2003}
}
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling the possible behaviors. We can then verify a hardware design assuming that the clocks meet these constraints. We implement our ideas in the context of SAT based Bounded Model Checking (BMC), using ANSI–C programs to specify the functional behavior of the design. 

From This Paper

Figures, tables, and topics from this paper.
8 Citations
9 References
Similar Papers

Similar Papers

Loading similar papers…