| 7475369 |
Eliminate false passing of circuit verification through automatic detecting of over-constraining in formal verification |
William Lam |
2009-01-06 |
| 6499123 |
Method and apparatus for debugging an integrated circuit |
Harold L. McFarland, David R. Stiles, Korbin S. Van Dyke, John G. Favor, Dale R. Greenley +1 more |
2002-12-24 |
| 6212629 |
Method and apparatus for executing string instructions |
Harold L. McFarland, David R. Stiles, Korbin S. Van Dyke, John G. Favor, Dale R. Greenley +1 more |
2001-04-03 |
| 5881265 |
Computer processor with distributed pipeline control that allows functional units to complete operations out of order while maintaining precise interrupts |
Harold L. McFarland, David R. Stiles, Korbin S. Van Dyke, John G. Favor, Dale R. Greenley +1 more |
1999-03-09 |
| 5781753 |
Semi-autonomous RISC pipelines for overlapped execution of RISC-like instructions within the multiple superscalar execution units of a processor having distributed pipeline control for speculative and out-of-order execution of complex instructions |
Harold L. McFarland, David R. Stiles, Korbin S. Van Dyke, John G. Favor, Dale R. Greenley +1 more |
1998-07-14 |
| 5768575 |
Semi-Autonomous RISC pipelines for overlapped execution of RISC-like instructions within the multiple superscalar execution units of a processor having distributed pipeline control for sepculative and out-of-order execution of complex instructions |
Harold L. McFarland, David R. Stiles, Korbin S. Van Dyke, John G. Favor, Dale R. Greenley +1 more |
1998-06-16 |
| 5682492 |
Computer processor with distributed pipeline control that allows functional units to complete operations out of order while maintaining precise interrupts |
Harold L. McFarland, David R. Stiles, Korbin S. Van Dyke, John G. Favor, Dale R. Greenley +1 more |
1997-10-28 |
| 5442757 |
Computer processor with distributed pipeline control that allows functional units to complete operations out of order while maintaining precise interrupts |
Harold L. McFarland, David R. Stiles, Korbin S. Van Dyke, John G. Favor, Dale R. Greenley +1 more |
1995-08-15 |
| 5226126 |
Processor having plurality of functional units for orderly retiring outstanding operations based upon its associated tags |
Harold L. McFarland, David R. Stiles, Korbin S. Van Dyke, John G. Favor, Dale R. Greenley +1 more |
1993-07-06 |
