Citation
Wa. Hunt et J. Sawada, Verifying the FM9801 microarchitecture, IEEE MICRO, 19(3), 1999, pp. 47-55
Citations number
14
Categorie Soggetti
Computer Science & Engineering
Journal title
IEEE MICRO
ISSN journal
02721732
→ ACNP
Volume
19
Issue
3
Year of publication
1999
Pages
47 - 55
Database
ISI
SICI code
0272-1732(199905/06)19:3<47:VTFM>2.0.ZU;2-H
Abstract
DESIGNERS USE FORMAL LOGIC AND A THEOREM PROVER TO VERIFY THAT A COMPLEX MI
CROARCHITECTURE ALWAYS EXECUTES ITS INSTRUCTION SET CORRECTLY.