Monolithic Verification of Deep Pipelines with Collapsed Flushing | IEEE Conference Publication | IEEE Xplore