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

FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction.

Andrew BeckerDjordje MaksimovicDavid NovoMohsen EwaidaAndreas G. VenerisBarbara JobstmannPaolo Ienne
Published in: Haifa Verification Conference (2015)
Keyphrases
  • error analysis
  • error detection
  • error rate
  • localization error
  • error correction
  • precise localization
  • prediction error
  • accurate localization
  • real time
  • high accuracy
  • computationally efficient
  • infrared