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