Issued Patents 2011
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7987086 | Software entity for the creation of a hybrid cycle simulation model | Edward J. Kamindki, Jr., Elspeth Anne Huston | 2011-07-26 |
| 7979759 | Test and bring-up of an enhanced cascade interconnect memory system | Michael Joseph Carnevale, Elianne A. Bravo, Kevin C. Gower, Donald J. Ziebarth | 2011-07-12 |
| 7971166 | Method, system, and program product for automated verification of gating logic using formal verification | Adrian E. Seigler | 2011-06-28 |