Login / Signup

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