Automatic verification of in-order execution in microprocessors with fragmented pipelines and multicycle functional units | IEEE Conference Publication | IEEE Xplore