TAU 97. 1997 ACM/IEEE international workshop on timing issues in the specification and synthesis of digital systems : Austin, Texas, Dec. 4 - 5, 1997 - Malik, Sharad ([s.n.], 1997)