Download Timed Boolean Functions: A Unified Formalism For Exact Timing Analysis