| 6934825 |
Bi-directional stack in a linear memory array |
Steven Farago, Kenneth L. Wright |
2005-08-23 |
| 6795878 |
Verifying cumulative ordering of memory instructions |
Aaron C. Brown, Steven Farago, Kenneth L. Wright |
2004-09-21 |
| 6473772 |
Apparatus and methods for dynamic simulation event triggering |
Archie D. Barrett, Jr., Jason R. Baumgartner, Sriram Mandyam, Brett Adam St. Onge, Kenneth L. Wright |
2002-10-29 |
| 6285974 |
Hardware verification tool for multiprocessors |
Sriram Mandyam, Brian W. O'Krafka, Ramanathan Raghavan, Miwako Tokugawa |
2001-09-04 |
| 6021261 |
Method and system for testing a multiprocessor data processing system utilizing a plurality of event tracers |
Archie D. Barrett, Jr., Sriram Mandyam, Brian W. O'Krafka, Brett Adam St. Onge |
2000-02-01 |
| 5928334 |
Hardware verification tool for multiprocessors |
Sriram Mandyam, Brian W. O'Krafka, Ramanathan Raghavan, Miwako Tokugawa |
1999-07-27 |
