Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8600724 | Verifying a processor design using a processor simulation model | Stefan Letz, Kai Weber | 2013-12-03 |
| 8402403 | Verifying a register-transfer level design of an execution unit | Stefan Letz, Michelangelo Masini, Kai Weber | 2013-03-19 |
| 8249848 | Verifying a processor design using a processor simulation model | Stefan Letz, Kai Weber | 2012-08-21 |
| 7865793 | Test case generation with backward propagation of predefined results and operand dependencies | Stefan Letz, Kai Weber | 2011-01-04 |