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

Symbolic quick error detection using symbolic initial state for pre-silicon verification.

Mohammad Rahmani FadihehJoakim UrdahlSrinivasa Shashank NuthakkiSubhasish MitraClark W. BarrettDominik StoffelWolfgang Kunz
Published in: DATE (2018)
Keyphrases
  • initial state
  • error detection
  • error correction
  • symbolic representation
  • special case
  • search algorithm
  • formal verification