Moffitt, M., and G. Günther. “Scalable Scheduling for Hardware-Accelerated Functional Verification”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 21, no. 1, Mar. 2011, pp. 162-9, doi:10.1609/icaps.v21i1.13442.