TAU: Timing Issues In The Specification And Synthesis Of Digital Systems