Login / Signup

Mutation-analysis driven functional verification of a soft microprocessor.

Tao XieWolfgang MüllerFlorian Letombe
Published in: SoCC (2012)
Keyphrases
  • functional verification
  • data management
  • evolutionary algorithm
  • high speed
  • genetic programming