Extracting behaviour from an executable instruction set model

Brian Campbell, Ian Stark
[doi] [Google Scholar] [DBLP] [Citeseer]

2016 Formal Methods in Computer-Aided Design (FMCAD)
Volume
Pages 33-40
Oct 2016
Note(s): ISA specification