Directed-Logical Testing for Functional Verification of Microprocessors | Publicación