Moffitt, M.; Günther, G. Scalable Scheduling for Hardware-Accelerated Functional Verification. ICAPS 2011, 21, 162-169.