Yuki Yoshikawa Satoshi Ohtake Tomoo Inoue Hideo Fujiwara Fast false path identification based on functional unsensitizability using RTL information. 660-665 2009 ASP-DAC http://doi.acm.org/10.1145/1509633.1509784 conf/aspdac/2009 db/conf/aspdac/aspdac2009.html#YoshikawaOIF09