1. A method for timing optimization of logic circuits, where a timing graph for said logic circuits exists, said method comprising: defining a sensitivity matrix; deriving sensitivity matrices for SUM and MAX operations; and applying SUM and MAX operations to propagate sensitivity matrices through the timing graph.