TY  - RPRT
TI  - Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection
AU  - Mohammad Eslami
AU  - Tara Ghasempouri
AU  - Samuel Pagliarini
PY  - 2023
DO  - 10.1109/isqed54688.2022.9806292
UR  - https://arxiv.org/abs/2201.01130
ID  - 2201.01130
ER  -