Static Probability Analysis Guided RTL Hardware Trojan Test Generation.

Haoyi Wang, Qiang Zhou, Yici Cai

Browse the full ASPDAC paper archive.