TY  - RPRT
TI  - Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs
AU  - Wei Hu
AU  - Beibei Li
AU  - Lingjuan Wu
AU  - Yiwei Li
AU  - Xuefei Li
AU  - Liang Hong
PY  - 2023
DO  - 10.1109/tdsc.2025.3604607
UR  - https://arxiv.org/abs/2311.12321
ID  - 2311.12321
ER  -