Formal verification for microprocessors with extendable instruction set | IEEE Conference Publication | IEEE Xplore