Formal Definitions
Propagation delay tpd: Worst case delay from new valid inputs to new valid outputs
Contamination delay tcd: Best case delay from invalid inputs to invalid outputs
Rise time tr: Signal transition time from invalid low to valid high
Fall time tf: Signal transition time from invalid high to valid low
Over all input combinations, over all input-output paths