Debugging and optimizing high performance superscalar out-of-order processors using formal verification techniques | IEEE Conference Publication | IEEE Xplore