|
Clock Difference Diagrams
Kim G. Larsen 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. |