Login / Signup
On a Consistency Testing Model and Strategy for Revealing RISC Processor's Dark Instructions and Vulnerabilities.
Yuze Wang
Peng Liu
Weidong Wang
Xiaohang Wang
Yingtao Jiang
Published in:
IEEE Trans. Computers (2022)
Keyphrases
</>
probabilistic model
neural network
similarity measure
parameter estimation
experimental data
computational model
mathematical model
high level
objective function
high speed
theoretical analysis