A complete compositional reasoning framework for the efficient verification of pipelined machines | IEEE Conference Publication | IEEE Xplore