Formal implementation verification of the bus interface unit for the Alpha 21264 microprocessor | IEEE Conference Publication | IEEE Xplore