FA-STAC: An Algorithmic Framework for Fast and Accurate Coupling Aware Static Timing Analysis | IEEE Journals & Magazine | IEEE Xplore