Issued Patents All Time
Showing 26–43 of 43 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8826201 | Formal verification coverage metrics for circuit design properties | Ziyad Hanna, Per Anders M. Franzen, Ross M. Weber, Habeeb Farah | 2014-09-02 |
| 8731894 | Indexing behaviors and recipes of a circuit design | Kathryn Drews Kranen, Chung-Wah Norris Ip, Lawrence Loh, Beth C. Isaksen, Yann Alain Antonioli +1 more | 2014-05-20 |
| 8630824 | Comprehending waveforms of a circuit design | Chung-Wah Norris Ip, Kathryn Drews Kranen, Beth C. Isaksen, Karl Stefan Esbjörner, Craig Franklin Deaton | 2014-01-14 |
| 8565373 | Method and system for automatically positioning a mammography imaging system | Raja Shekhara | 2013-10-22 |
| 8527911 | Comprehending a circuit design | Kathryn Drews Kranen, Chung-Wah Norris Ip, Georgia Penido Safe, Claudionor Coelho, Yann Alain Antonioli | 2013-09-03 |
| 8205187 | Generalizing and inferring behaviors of a circuit design | Claudionor Coelho, Chung-Wah Norris Ip, Harry D. Foster, Kathryn Drews Kranen, Georgia Penido Safe | 2012-06-19 |
| 8020147 | Software package implementation sizing | Atul Chaturvedi, RamPrasad Vadde | 2011-09-13 |
| 7950010 | Software deployment system | Karl Goger, Ankur Bhatt, Raghunandan S, Ajay Kumar | 2011-05-24 |
| 7473283 | Fuel additive composition for stabilising blends of ethanol and a hydrocarbon | Deepak Kumar Tuli, Rakesh Sarin, Krishan Kumar Swami, Shanti Parkash, Niranjan Raghunath Raje +2 more | 2009-01-06 |
| 7165112 | Method and apparatus for transmitting data in a communication system | Robert Battin, Stephen L. Spear | 2007-01-16 |
| 7092858 | Method and apparatus for formally constraining random simulation | James H. Kukula, Thomas R. Shiple | 2006-08-15 |
| 7047310 | Flow control in a packet data communication system | Anand Bedekar, Rajeev Agrawal | 2006-05-16 |
| 6839884 | Hierarchical functional verification | Prakash Narain, Christopher Morrison, John Mark Beardslee, Rajiv Kumar | 2005-01-04 |
| 6704912 | Method and apparatus for characterizing information about design attributes | Prakash Narain, Christopher Morrison, John Mark Beardslee | 2004-03-09 |
| 6660696 | Thermally stable phosphorothionates as antioxidant, antiwear, friction reducing and extreme pressure lubricant additives from cashew nut shell liquid | Ajay Kumar Arora, Rakesh Sarin, Deepak Kumar Tuli, Ram Prakash Verma, Akhilesh Kumar Bhatnagar | 2003-12-09 |
| 6651228 | Intent-driven functional verification of digital designs | Prakash Narain, Rajiv Kumar, John Mark Beardslee, Christopher Morrison | 2003-11-18 |
| 6571375 | Determining dependency relationships among design verification checks | Prakash Narain, Christopher Morrison, John Mark Beardslee | 2003-05-27 |
| 6539523 | Automatic formulation of design verification checks based upon a language representation of a hardware design to verify the intended behavior of the hardware design | Prakash Narain, Jay Andrew Littlefield, Christopher Morrison | 2003-03-25 |