A unified framework for statistical timing analysis with coupling and multiple input switching