Browsing: Verification Of Multi-Cycle Paths And False Paths