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