M. Moffitt and G. Günther, “Scalable Scheduling for Hardware-Accelerated Functional Verification”, ICAPS, vol. 21, no. 1, pp. 162-169, Mar. 2011.