Login / Signup

Soft error rate computation in early design stages using boolean satisfiability.

Syed Zafar ShazliMehdi Baradaran Tahoori
Published in: ACM Great Lakes Symposium on VLSI (2009)
Keyphrases
  • error rate
  • boolean satisfiability
  • sat solvers
  • misclassification rate
  • active learning
  • orders of magnitude
  • randomly generated
  • lower error rates