Efficient timing analysis with known false paths using biclique covering | IEEE Journals & Magazine | IEEE Xplore