| 11847035 |
Functional test of processor code modification operations |
Charles Leverett Meissner, Elena Tsanko, Brenton Yiu, Bryan G. Hickerson |
2023-12-19 |
| 11461474 |
Process-based virtualization system for executing a secure application process |
Jentje Leenstra, Paul Mackerras, Benjamin Herrenschmidt, Bradly G. Frey, Guerney D. H. Hunt +1 more |
2022-10-04 |
| 10936505 |
Methods and systems for verifying out-of-order page fault detection |
David Campbell, Lance G. Hehenberger, Madhusudan Kadiyala, George W. Rohrbaugh, III |
2021-03-02 |
| 8589734 |
Verifying correctness of processor transactions |
Allon Adir, Avi Ziv |
2013-11-19 |
| 8516229 |
Two pass test case generation using self-modifying instruction replacement |
Allon Adir, Brad L. Herold, Pedro Martin-de-Nicolas, Charles Leverett Meissner, Gil Eliezer Shurek |
2013-08-20 |
| 8479173 |
Efficient and self-balancing verification of multi-threaded microprocessors |
Bryan G. Hickerson |
2013-07-02 |
| 8275598 |
Software table walk during test verification of a simulated densely threaded network on a chip |
Anatoli Andreev, Olaf K. Hendrickson, Richard D. Peterson, Elena Tsanko |
2012-09-25 |
| 7302556 |
Method, apparatus and computer program product for implementing level bias function for branch prediction control for generating test simulation vectors |
Jeremy J Salsman |
2007-11-27 |
| 7089406 |
Method and apparatus for controlling program instruction completion timing for processor verification |
Darin M. Greene, David A. Schroter, Wallace Sharp |
2006-08-08 |
