Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares.

Tod Amon, Gaetano Borriello, Jiwen Liu

Browse the full DAC paper archive.