Issued Patents All Time
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |