Automatic verification of pipelined microprocessor control

Jerry R. Burch, David L. Dill
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 6th International Conference on Computer Aided Verification
CAV '94
Springer-Verlag
London, UK
Pages 68-80
1994
Note(s): CPU verification