Moffitt M, Günther G. Scalable Scheduling for Hardware-Accelerated Functional Verification. ICAPS [Internet]. 2011Mar.22 [cited 2024Jul.23];21(1):162-9. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13442