Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9785211 | Independent power collapse methodology | Christopher Edward Koob, Xufeng Chen, Robert A. Lester, Manojkumar Pyla | 2017-10-10 |
| 8972642 | Low latency two-level interrupt controller interface to multi-threaded processor | Suresh K. Venkumahanti, Lucian Codrescu, Erich James Plondke, Xufeng Chen | 2015-03-03 |
| 8719630 | Method and apparatus for monitoring interrupts during a power down event at a processor | Xufeng Chen, Manojkumar Pyla | 2014-05-06 |
| 6415430 | Method and apparatus for SAT solver architecture with very low synthesis and layout overhead | Pranav Ashar, Margaret Martonosi | 2002-07-02 |
| 6247164 | Configurable hardware system implementing Boolean Satisfiability and method thereof | Pranav Ashar, Sharad Malik, Margaret Martonosi | 2001-06-12 |
| 6038392 | Implementation of boolean satisfiability with non-chronological backtracking in reconfigurable hardware | Pranav Ashar, Sharad Malik, Margaret Martonosi | 2000-03-14 |