Fast false path identification based on functional unsensitizability using RTL information.

Yuki Yoshikawa, Satoshi Ohtake, Tomoo Inoue, Hideo Fujiwara

Browse the full ASPDAC paper archive.