Hardware Accelerated Functional Verification door Marcela A. Imkova