Gary A. Van Huben

Publication Activity (10 Years)

Years Active: 1997-2012
Publications (10 Years): 0

Top Topics

Ibm Zenterprise

Top Venues

IBM J. Res. Dev.

Publications

Gary A. Van Huben, K. D. Lamb, R. Brett Tremaine, B. E. Aleman, S. M. Rubow, S. H. Rider, Warren E. Maule, Michael E. Wazlowski
Server-class DDR3 SDRAM memory buffer chip. IBM J. Res. Dev. 56 (1) (2012)
Adrian E. Seigler, Gary A. Van Huben, Hari Mony
Formal Verification of Partial Good Self-Test Fencing Structures. FMCAD (2007)
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 J. Res. Dev. 51 (1/2) (2007)
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)
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 J. Res. Dev. 48 (3-4) (2004)
Gary A. Van Huben, Timothy G. McNamara, Thomas E. Gilbert
PLL modeling and verification in a cycle-simulation environment. IBM J. Res. Dev. 43 (5) (1999)
Gary A. Van Huben
The role of two-cycle simulation in the S/390 verification process. IBM J. Res. Dev. 41 (4&5) (1997)