Hierarchical indexing data structure method for verifying the functionality of the STI-to-PCI bridge chips of the IBM eServer z900. - Jose F. Silverio; Y. Ming Ng; David F. Anderson (IBM J. Res. Dev., 2002)

Functional verification of a frequency-programmable switch chip with asynchronous clock sections. - Bodo Hoppe; Bridgette Arthur-Mensah; Edward W. Chencinski; Sabina Joseph; Haresh Kumar; Jose F. Silverio (IBM J. Res. Dev., 2004)

IBM z14: Advancing the I/O storage and networking channel adapter. - Michael J. Becht; Steven G. Aden; Tim E. Bubb; Chris Colonna; Raymond Higgs; Luke Hopkins; Aaron Li; Mushfiq Saleheen; Jose F. Silverio; Raymond Wong; Mooheng Zee (IBM J. Res. Dev., 2018)