Michael D. Moffitt, Gernot E. Günther. Scalable Scheduling for Hardware-Accelerated Functional Verification. In Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert, editors, Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011. AAAI, 2011. [doi]
Abstract is missing.