• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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