A Framework for Microprocessor Correctness Statements
Aagaard, Mark D. ; Cook, Byron ; Day, Nancy A. ; Jones, Robert B. Melham, Tom ; Margaria, Tiziana
Correct Hardware Design and Verification Methods, 2001, p.433-448 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível