Login / Signup
Directed-Logical Testing for Functional Verification of Microprocessors.
Michael Katelman
José Meseguer
Santiago Escobar
Published in:
MEMOCODE (2008)
Keyphrases
</>
functional verification
formal verification
test cases
signal processing
genetic programming