Verification of microarchitectural refinements in rule-based systems.

Nirav Dave, Michael Katelman, Myron King, Arvind, Jos Meseguer

Browse the full MEMOCODE paper archive.