Symbolic Timing Verification of Timing Diagrams using Presburger Formulas.

Tod Amon, Gaetano Borriello, Taokuan Hu, Jiwen Liu

Browse the full DAC paper archive.