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