Login / Signup
Formal Quantification of the Register Vulnerabilities to Soft Error in RTL Control Paths.
Liang Chen
Mojtaba Ebrahimi
Mehdi 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