Fast identification of true critical paths in sequential circuits. (February 2018)