| 2007 |
|---|
| 6 | EE | Adrian E. Seigler,
Gary A. Van Huben,
Hari Mony:
Formal Verification of Partial Good Self-Test Fencing Structures.
FMCAD 2007: 188-191 |
| 5 | EE | Derrin M. Berger,
Jonathan Y. Chen,
Frank D. Ferraiolo,
Jeffrey A. Magee,
Gary A. Van Huben:
High-speed source-synchronous interface for the IBM System z9 processor.
IBM Journal of Research and Development 51(1/2): 53-64 (2007) |
| 2006 |
|---|
| 4 | EE | Tilman Glökler,
Jason Baumgartner,
Devi Shanmugam,
A. E. (Rick) Seigler,
Gary A. Van Huben,
Barinjato Ramanandray,
Hari Mony,
Paul Roessler:
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning.
FMCAD 2006: 3-10 |
| 2004 |
|---|
| 3 | EE | Pak-kin Mak,
Gary E. Strait,
Michael A. Blake,
Kevin W. Kark,
Vesselina K. Papazova,
A. E. (Rick) Seigler,
Gary A. Van Huben,
Liyong Wang,
George C. Wellwood:
Processor subsystem interconnect architecture for a large symmetric multiprocessing system.
IBM Journal of Research and Development 48(3-4): 323-338 (2004) |
| 1999 |
|---|
| 2 | EE | Gary A. Van Huben,
Timothy G. McNamara,
Thomas E. Gilbert:
PLL modeling and verification in a cycle-simulation environment.
IBM Journal of Research and Development 43(5): 915-926 (1999) |
| 1997 |
|---|
| 1 | EE | Gary A. Van Huben:
The role of two-cycle simulation in the S/390 verification process.
IBM Journal of Research and Development 41(4&5): 593-600 (1997) |
