Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods | IEEE Conference Publication | IEEE Xplore