Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits
Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits
复制标题
用于检测管道电路中始终在线的拒绝服务木马的形式验证方法
DOI：
10.1109/icecs53924.2021.9665617
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Mathure, Nimish
中科院分区：
文献类型：
--
作者：
Ponugoti, Kushal K.;Srinivasan, Sudarshan K.;Mathure, Nimish
