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