Login / Signup

Directed-Logical Testing for Functional Verification of Microprocessors.

Michael KatelmanJosé MeseguerSantiago Escobar
Published in: MEMOCODE (2008)
Keyphrases
  • functional verification
  • formal verification
  • test cases
  • signal processing
  • genetic programming