Inventor
SEIGLER ADRIAN E
US12 patents
Patents
12 patentsUS7111130B2Sep 19, 2006
Coherency management for a “switchless” distributed shared memory computer system
IBM85 citations96
US7085898B2Aug 1, 2006
Coherency management for a “switchless” distributed shared memory computer system
IBM21 citations91
US6988173B2Jan 17, 2006
Bus protocol for a switchless distributed shared memory computer system
IBM49 citations91
US4564944AJan 14, 1986
Error correcting scheme
IBM32 citations90
US7661050B2Feb 9, 2010
Method and system for formal verification of partial good self test fencing structures
IBM20 citations86
US5862360AJan 19, 1999
System resource enable apparatus with wake-up feature
IBM12 citations82
US5692209ANov 25, 1997
System resource conflict resolution apparatus
IBM11 citations82
US7448008B2Nov 4, 2008
Method, system, and program product for automated verification of gating logic using formal verification
IBM6 citations73
US5715472AFeb 3, 1998
System resource enable method
IBM6 citations73
US5710936AJan 20, 1998
System resource conflict resolution method
IBM4 citations73
US5710933AJan 20, 1998
System resource enable apparatus
IBM5 citations73
US7971166B2Jun 28, 2011
Method, system, and program product for automated verification of gating logic using formal verification
IBM2 citations62