Download Timed Boolean Functions A Unified Formalism For Exact Timing Analysis