Removing user-specified false paths from timing graphs | IEEE Conference Publication | IEEE Xplore