Formal Verification of Microprocessors at AMD (2002)

by A Flatau, M Kaufmann, D F Reed, D Russinoff, E W Smith, R Sumners
Venue:Proceedings of the 4 th International Workshop on Designing Correct Circuits (DCC 2002