Formal Verification of an Intel XScale Processor Model with Scoreboarding, Specialized Execution Pipelines, and Impress Data-Memory Exceptions.

Sudarshan K. Srinivasan, Miroslav N. Velev

Browse the full MEMOCODE paper archive.