Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor.

Gabriel P. Bischoff Karl S. Brace Samir Jain Rahul Razdan Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor. 16-24 1997 ICCD db/conf/iccd/iccd97.html#BischoffBJR97