End-to-End Verification of Processors with ISA-Formal

@inproceedings{Reid2016EndtoEndVO,
  title={End-to-End Verification of Processors with ISA-Formal},
  author={Alastair David Reid and Rick Chen and Anastasios Deligiannis and David Gilday and David Hoyes and Will Keen and Ashan Pathirane and Owen Shepherd and Peter Vrabel and Ali Zaidi},
  booktitle={CAV},
  year={2016}
}