Scalable Scheduling for Hardware-Accelerated Functional Verification. - Michael D. Moffitt; Gernot E. Günther (ICAPS, 2011)

Place and route for massively parallel hardware-accelerated functional verification. - Michael D. Moffitt; Gernot E. Günther; Kevin A. Pasnik (ICCAD, 2013)