Directed-Logical Testing for Functional Verification of Microprocessors.

Michael Katelman, Jos Meseguer, Santiago Escobar

Browse the full MEMOCODE paper archive.