Functional verification of the IBM System z10 processor chipset. - Christopher A. Krygowski; Dean G. Bair; Rebecca M. Gott; M. H. Decker; A. V. Giri; Christian Habermann; Matthias Heizmann; Stefan Letz; William J. Lewis; Steven M. Licker; H. Mallar; Edward C. McCain; et al. (IBM J. Res. Dev., 2009)

Verification for fault tolerance of the IBM system z microprocessor. - Brian W. Thompto; Bodo Hoppe (DAC, 2010)

Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy. - Christopher A. Krygowski; Eli Almog; Dean G. Bair; Raimund Breil; Gero Dittmann; Rebecca M. Gott; William J. Lewis; Alia D. Shah; Brian W. Thompto (IBM J. Res. Dev., 2012)

Verification of Transactional Memory in POWER8. - Allon Adir; Dave Goodman; Daniel Hershcovich; Oz Hershkovitz; Bryan G. Hickerson; Karen Holtz; Wisam Kadry; Anatoly Koyfman; John M. Ludden; Charles Meissner; Amir Nahir; Randall R. Pratt; et al. (DAC, 2014)

POWER9: Processor for the cognitive era. - Brian W. Thompto (Hot Chips Symposium, 2016)

IBM Power9 Processor Architecture. - Satish Kumar Sadasivam; Brian W. Thompto; Ronald N. Kalla; William J. Starke (IEEE Micro, 2017)

IBM POWER9 processor core. - Hung Q. Le; James Van Norstrand; Brian W. Thompto; José E. Moreira; Dung Q. Nguyen; David Hrusecky; Mike Genden; Michael Kroener (IBM J. Res. Dev., 2018)

IBM's POWER10 Processor. - William J. Starke; Brian W. Thompto (Hot Chips Symposium, 2020)

Energy Efficiency Boost in the AI-Infused POWER10 Processor. - Brian W. Thompto; Dung Q. Nguyen; José E. Moreira; Ramon Bertran; Hans M. Jacobson; Richard J. Eickemeyer; Rahul M. Rao; Michael Goulet; Marcy Byers; Christopher J. Gonzalez; Karthik Swaminathan; Nagu R. Dhanwada; et al. (ISCA, 2021)

A matrix math facility for Power ISA(TM) processors. - José E. Moreira; Kit Barton; Steven Battle; Peter Bergner; Ramon Bertran; Puneeth Bhat; Pedro Caldeira; David Edelsohn; Gordon C. Fossum; Brad Frey; Nemanja Ivanovic; Chip Kerchner; et al. (CoRR, 2021)

IBM's POWER10 Processor. - William J. Starke; Brian W. Thompto; Jeffrey Stuecheli; José E. Moreira (IEEE Micro, 2021)