On fast timing closure: speeding up incremental path-based timing analysis with mapreduce | IEEE Conference Publication | IEEE Xplore