Symbolic timing verification of timing diagrams using Presburger formulas
Tod Tracy Amon, Gaetano Borriello, Taokuan Hu, Jiwen Liu · 1997
We present a novel set of tools for performing symbolic timing verificationof timing diagrams. The tools are multi-purpose with usesin verification, derivation of synthesis constraints, and design evaluation.Our methodology is based on using techniques for manipulatingPresburger formulas. We demonstrate using several interestingexamples that the method is efficient in practice and should beconsidered for inclusion in commercial tools.