language: en

Interface Timing Verification with Combined Max and Linear Constraints

Elizabeth Walkup, Gaetano Borriello
Department of Computer Science and Engineering University of Washington
Seattle, WA 98195
Technical Report 94-03-04 June 3, 1994