Moffitt, M., & Günther, G. (2011). Scalable Scheduling for Hardware-Accelerated Functional Verification. Proceedings of the International Conference on Automated Planning and Scheduling, 21(1), 162-169. https://doi.org/10.1609/icaps.v21i1.13442