Static Probability Analysis Guided RTL Hardware Trojan Test Generation

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]

Authors

Haoyi Wang

This author has not been identified. Look up 'Haoyi Wang' in Google

Qiang Zhou 0001

This author has not been identified. Look up 'Qiang Zhou 0001' in Google

Yici Cai

This author has not been identified. Look up 'Yici Cai' in Google