Login / Signup

QBF-Based Post-Silicon Debug of Speed-Paths Under Timing Variations.

Bijan AlizadehMehdi Shakeri
Published in: IEEE Trans. Circuits Syst. I Regul. Pap. (2018)
Keyphrases
  • high speed
  • real time
  • low cost
  • propositional logic
  • quantified boolean formulas
  • quantified boolean formulae