Experience with term level modeling and verification of the M* CORE microprocessor core
Shuvendu K. Lahiri, Carl Pixley, Kenneth L. Albin[doi] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001
Pages 109-114
2001
Note(s): CPU verification
Pages 109-114
2001
Note(s): CPU verification