A flexible formal verification framework for industrial scale validation
Anna Slobodová, Jared Davis, Sol Swords, Warren A. Hunt Jr.[doi] [Google Scholar] [DBLP] [Citeseer]
Formal Methods and Models for Codesign (MEMOCODE), 2011 9th IEEE/ACM International Conference on
IEEE
Pages 89-97
2011
Note(s): CPU verification
IEEE
Pages 89-97
2011
Note(s): CPU verification