"EX-DRIVE: An Execution Driven Functional Verification Flow."

Ipsita Biswas Mahapatra, S. K. Nandy (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics