Automated proofs of microprogram correctness.

William H. Joyner Jr., William C. Carter, George B. Leeman Jr.

Browse the full MICRO paper archive.