Browsing: Sequential logic verification