| 7860700 |
Hardware verification batch computing farm simulator |
Michael L. Behm, Bryan Hunt, Stephen McCants |
2010-12-28 |
| 7454680 |
Method, system and computer program product for improving efficiency in generating high-level coverage data for a circuit-testing scheme |
Jason R. Baumgartner, Claude Karl Detjens, Anita Devadason |
2008-11-18 |
| 7081966 |
Demonstration control adjunct device for printers |
— |
2006-07-25 |
| 7000079 |
Method and apparatus for verification of coherence for shared cache components in a system verification environment |
Claude Karl Detjens |
2006-02-14 |
| 6934825 |
Bi-directional stack in a linear memory array |
Robert James Ramirez, Kenneth L. Wright |
2005-08-23 |
| 6795878 |
Verifying cumulative ordering of memory instructions |
Aaron C. Brown, Robert James Ramirez, Kenneth L. Wright |
2004-09-21 |
| 6785773 |
Verification of global coherence in a multi-node NUMA system |
Liang-Haw Leu, Lawrence Allyn McConville, Kenneth L. Wright |
2004-08-31 |
| 6747752 |
Demonstration control adjunct device for printers |
— |
2004-06-08 |
| 6643662 |
Split bi-directional stack in a linear memory array |
Kenneth L. Wright |
2003-11-04 |
| 6629228 |
Proportionally growing stack in a linear memory array |
Kenneth L. Wright |
2003-09-30 |
| 4972470 |
Programmable connector |
— |
1990-11-20 |
| 4686506 |
Multiple connector interface |
— |
1987-08-11 |
| 4603320 |
Connector interface |
— |
1986-07-29 |
