Parallel and Heterogeneous Timing Analysis: Partition, Algorithm, and System