Clock Difference Diagrams

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

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.
Published
1998-06-16
How to Cite
Larsen, K., Weise, C., Yi, W., & Pearson, J. (1998). Clock Difference Diagrams. BRICS Report Series, 5(46). https://doi.org/10.7146/brics.v5i46.19491