Dynamic Refinement of Hardware Assertion Checkers
Dynamic Refinement of Hardware Assertion Checkers
复制标题
硬件断言检查器的动态细化
DOI：
10.23919/date56975.2023.10137306
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Mishra, Prabhat
中科院分区：
文献类型：
--
作者：
Witharana, Hasini;Sanjaya, Sahan;Mishra, Prabhat
登录
查看更多内容
用于硅后调试的时分复用断言检查案例研究
DOI：
10.1109/hldvt.2010.5496657
发表时间：
2010
期刊：
2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)
影响因子：
--
作者：
Ming Gao;K. Cheng
通讯作者：
K. Cheng
重用验证断言作为硬件木马检测的安全检查器
DOI：
--
发表时间：
2022
期刊：
IEEE International Symposium on Quality Electronic Design
影响因子：
--
作者：
Mohammad Eslami;Tara Ghasempouri;S. Pagliarini
通讯作者：
S. Pagliarini
在硅后验证期间自动选择用于位翻转检测的断言
DOI：
10.1109/tcad.2016.2538087
发表时间：
2016
影响因子：
2.9
作者：
Pouya Taatizadeh;N. Nicolici
通讯作者：
N. Nicolici
DOI：
--
发表时间：
2019
期刊：
International Symposium on Circuits and Systems
影响因子：
--
作者：
Yusuke Kimura;A. M. Gharehbaghi;M. Fujita
通讯作者：
M. Fujita
DOI：
10.1145/3441297
发表时间：
2021-01
期刊：
ACM Transactions on Design Automation of Electronic Systems (TODAES)
影响因子：
--
作者：
Hasini Witharana;Yangdi Lyu;P. Mishra
通讯作者：
Hasini Witharana;Yangdi Lyu;P. Mishra