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

Addressing verification challenges of heterogeneous systems based on IBM POWER9. - Klaus-Dieter Schubert; Syed Saif Abrar; Duane Averill; Ellen Bauman; Aaron C. Brown; Ron Cash; Debapriya Chatterjee; John Gullickson; Mark Nelson; Kevin A. Pasnik; Krishnan Sugavanam (IBM J. Res. Dev., 2018)