Automatic formal verification of multithreaded pipelined microprocessors | IEEE Conference Publication | IEEE Xplore