A false-path aware formal static timing analyzer considering simultaneous input transitions DAC 2009 2009 Authors: Shihheng Tsai, Chung-Yang Huang
