Verifying correct pipeline implementation for microprocessors | IEEE Conference Publication | IEEE Xplore