Login / Signup

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