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

Browse the full MICRO paper archive.