Static Probability Analysis Guided RTL Hardware Trojan Test Generation.

Haoyi Wang Qiang Zhou Yici Cai

Published in: ASP-DAC (2023)

Keyphrases

test generation
static analysis
databases
information systems
metadata
real world
multi agent systems
low cost