Automatic verification of safety and liveness for xscale-like processor models using web refinements (2004)

by Panagiotis Manolios, Sudarshan K Srinivasan
Venue:In DATE ’04: Proceedings of the conference on Design, automation and test in Europe