Login / Signup
Using Boolean satisfiability for computing soft error rates in early design stages.
Syed Zafar Shazli
Mehdi Baradaran Tahoori
Published in:
Microelectron. Reliab. (2010)
Keyphrases
</>
boolean satisfiability
sat solvers
reinforcement learning