Login / Signup

Formal Quantification of the Register Vulnerabilities to Soft Error in RTL Control Paths.

Liang ChenMojtaba EbrahimiMehdi Baradaran Tahoori
Published in: J. Electron. Test. (2015)
Keyphrases
  • control system
  • formal model
  • artificial intelligence
  • website
  • error rate
  • lightweight
  • data acquisition
  • information security
  • control strategy
  • model based diagnosis
  • formal specification