| 7774590 |
Resiliently retaining state information of a many-core processor |
Shekhar Y. Borkar, Shu-Ling Garver |
2010-08-10 |
| 7668165 |
Hardware-based multi-threading for packet processing |
Sriram R. Vangal, Vasantha K. Erraguntla, Nitin Y. Borkar |
2010-02-23 |
| 7657693 |
Router to use three levels of arbitration for a crossbar channel |
Arvind Singh, Sriram R. Vangal |
2010-02-02 |
| 7620119 |
Communications receiver with digital counter |
Siva G. Narendra, Saurabh Dighe, Nitin Y. Borkar, Vivek K. De |
2009-11-17 |
| 7412353 |
Reliable computing with a many-core processor |
Shekhar Y. Borkar, Shu-Ling Garver |
2008-08-12 |
| 7324540 |
Network protocol off-load engines |
Sriram R. Vangal, Vasantha K. Erraguntla, Jianping Xu |
2008-01-29 |
| 7181544 |
Network protocol engine |
Sriram R. Vangal, Nitin Y. Borkar, Jianping Xu, Vasantha K. Erraguntla, Shekhar Y. Borkar |
2007-02-20 |
| 7149675 |
System and method for automatically mapping state elements for equivalence verification |
Kiran B. Doreswamy |
2006-12-12 |
| 7024439 |
Leading Zero Anticipatory (LZA) algorithm and logic for high speed arithmetic units |
— |
2006-04-04 |
| 7016354 |
Packet-based clock signal |
Sriram R. Vangal, Nitin Y. Borkar, Jianping Xu, Vasantha K. Erraguntla, Shekhar Y. Borkar |
2006-03-21 |
| 6988119 |
Fast single precision floating point accumulator using base 32 system |
Sriram R Vangai, Jason Howard |
2006-01-17 |
| 6947962 |
Overflow prediction algorithm and logic for high speed arithmetic units |
— |
2005-09-20 |
| 6889241 |
Floating point adder |
Amaresh Pangal, Dinesh Somasekhar, Sriram R. Vangal |
2005-05-03 |
| 6484134 |
Property coverage in formal verification |
— |
2002-11-19 |