Verifying the FM9801 microarchitecture
Warren A. Hunt Jr., Jun Sawada[doi] [Google Scholar] [DBLP] [Citeseer]
IEEE Micro
19(3)
IEEE Computer Society Press
Los Alamitos, CA, USA
Pages 47-55
May 1999
Note(s): CPU verification
IEEE Computer Society Press
Los Alamitos, CA, USA
Pages 47-55
May 1999
Note(s): CPU verification