Processor memory system verification using DOGReL: a language for specifying end-to-end properties
Daryl Stewart, David Gilday, Daniel Nevill, Thomas Roberts[Google Scholar] [DBLP] [Citeseer]
International Workshop on Design and Implementation of Formal Tools and Systems
DIFTS '14
2014
Note(s): weak memory, CPU verification
DIFTS '14
2014
Note(s): weak memory, CPU verification