Efficient identification of multicycle false path | IEEE Conference Publication | IEEE Xplore