Issued Patents All Time
Showing 1–13 of 13 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |