| 8312467 |
Method and system for concurrently executing an application |
Yuan-Fu Lin, Deepankar Bairagi |
2012-11-13 |
| 7673180 |
Method and apparatus for dispatching a remote debugging agent in a distributed computing environment |
Donald J. Kretsch, Christopher D. Quenelle |
2010-03-02 |
| 7667197 |
Mass analyzing apparatus |
Che-Hsin Lin, Jen-taie SHIEA, Wei-Jen Hsu |
2010-02-23 |
| 7346903 |
Compiling and linking modules of a cycle-based logic design |
Michael S. Ball, Cristina N. Cifuentes, David Allison, Ankur Narang |
2008-03-18 |
| 7260515 |
Method and apparatus for simulating transparent latches |
— |
2007-08-21 |
| 7155378 |
Method for providing cycle-by-cycle ad HOC verification in a hardware-accelerated environment |
David R. Emberson, Keith H. Bierman |
2006-12-26 |
| 7133818 |
Method and apparatus for accelerated post-silicon testing and random number generation |
Keith H. Bierman, David R. Emberson |
2006-11-07 |
| 7080365 |
Method and apparatus for simulation system compiler |
Jeffrey M. Broughton, William Lam, Derek Pappas, Ihao Chen, Thomas M. McWilliams +6 more |
2006-07-18 |
| 7076416 |
Method and apparatus for evaluating logic states of design nodes for cycle-based simulation |
William Lam, Thomas M. McWilliams |
2006-07-11 |
| 7043596 |
Method and apparatus for simulation processor |
Thomas M. McWilliams, Jeffrey B. Rubin, Michael Parkin, Oyekunle A. Olukotun, Derek Pappas +7 more |
2006-05-09 |
| 7036114 |
Method and apparatus for cycle-based computation |
Thomas M. McWilliams, Jeffrey B. Rubin, Derek Pappas, Oyekunle A. Olukotun, Jeffrey M. Broughton +5 more |
2006-04-25 |
| 6185518 |
Method and system for logic design constraint generation |
— |
2001-02-06 |
