cs.CR cs.AR
RTL2M$μ$PATH: Multi-$μ$PATH Synthesis with Applications to Hardware Security Verification
Yao Hsiao Nikos Nikoleris Artem Khyzha Dominic P. Mulligan Gustavo Petri Christopher W. Fletcher Caroline Trippel