Fast false path identification based on functional unsensitizability using RTL information | IEEE Conference Publication | IEEE Xplore