False path detection at transistor level | IEEE Conference Publication | IEEE Xplore