On a Consistency Testing Model and Strategy for Revealing RISC Processor’s Dark Instructions and Vulnerabilities | IEEE Journals & Magazine | IEEE Xplore