Clock Difference Diagrams

Kim G. Larsen
Carsten Weise
Wang Yi
Justin Pearson

December 1998

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 differences

Available as PostScript, PDF.

 

Last modified: 2003-06-08 by webmaster.