Haoyi Wang, Qiang Zhou 0001, Yici Cai. Static Probability Analysis Guided RTL Hardware Trojan Test Generation. In Atsushi Takahashi 0001, editor, Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023. pages 510-515, ACM, 2023. [doi]
Abstract is missing.