Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system. - Bruce Wile; Michael P. Mullen; Cara Hanson; Dean G. Bair; Kevin M. Lasko; Patrick J. Duffy; Edward J. Kaminski Jr.; Thomas E. Gilbert; Steven M. Licker; Robert G. Sheldon; William D. Wollyung; William J. Lewis; et al. (IBM J. Res. Dev., 1997)

PLL modeling and verification in a cycle-simulation environment. - Gary A. Van Huben; Timothy G. McNamara; Thomas E. Gilbert (IBM J. Res. Dev., 1999)

Run-control migration from single book to multibooks. - Tobias Webel; Thomas E. Gilbert; Dietmar Schmunkamp (IBM J. Res. Dev., 2004)