Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6285974 | Hardware verification tool for multiprocessors | Sriram Mandyam, Brian W. O'Krafka, Robert James Ramirez, Miwako Tokugawa | 2001-09-04 |
| 5928334 | Hardware verification tool for multiprocessors | Sriram Mandyam, Brian W. O'Krafka, Robert James Ramirez, Miwako Tokugawa | 1999-07-27 |
| 5740353 | Method and apparatus for creating a multiprocessor verification environment | Jeffrey Thomas Kreulen, Sriram Mandyam, Brian W. O'Krafka, Shahram Salamian | 1998-04-14 |
| 5680577 | Method and system for processing multiple requests for data residing at the same memory address | Steven G. Aden, Kai Cheng, Jin Wang | 1997-10-21 |
| 5452457 | Program construct and methods/systems for optimizing assembled code for execution | Alan I. Alpert, Paul G. Greenstein, John Ted Rodell | 1995-09-19 |