Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB-Refinements (2003)

by Panagiotis (Pete) Manolios , Sudarshan K. Srinivasan
Venue:In Design Automation and Test in Europe, DATE’04
Citations:21 - 10 self