Clock Difference Diagrams

Authors

  • Kim G. Larsen
  • Carsten Weise
  • Wang Yi
  • Justin Pearson

DOI:

https://doi.org/10.7146/brics.v5i46.19491

Abstract

We sketch a BDD-like structure for representing unions of simple convex polyhedra, describing the legal values of a set of clocks given bounds on the values of clocks and clock dffierences.

Downloads

Published

1998-06-16

How to Cite

Larsen, K. G., Weise, C., Yi, W., & Pearson, J. (1998). Clock Difference Diagrams. BRICS Report Series, 5(46). https://doi.org/10.7146/brics.v5i46.19491

Issue

No. 46 (1998): RS-46 Clock Difference Diagrams

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.