loadpatents
Patent applications and USPTO patent grants for Gajavelly; Raj Kumar.The latest application filed is for "scalable connectivity verification using conditional cut-points".
Patent | Date |
---|---|
Scalable connectivity verification using conditional cut-points Grant 10,970,454 - Nalla , et al. April 6, 2 | 2021-04-06 |
Scalable Connectivity Verification Using Conditional Cut-points App 20200143101 - Nalla; Pradeep Kumar ;   et al. | 2020-05-07 |
Initial-state and next-state value folding Grant 10,621,297 - Baumgartner , et al. | 2020-04-14 |
Initial-state And Next-state Value Folding App 20200104434 - BAUMGARTNER; Jason R. ;   et al. | 2020-04-02 |
Scalable connectivity verification using conditional cut-points Grant 10,579,770 - Nalla , et al. | 2020-03-03 |
Verification complexity reduction via range-preserving input-to-constant conversion Grant 10,540,468 - Gajavelly , et al. Ja | 2020-01-21 |
Verification Complexity Reduction Via Range-preserving Input-to-constant Conversion App 20200019653 - Gajavelly; Raj Kumar ;   et al. | 2020-01-16 |
Scalable liveness verification Grant 10,474,777 - Baumgartner , et al. Nov | 2019-11-12 |
Scalable Connectivity Verification Using Conditional Cut-points App 20190286782 - Nalla; Pradeep Kumar ;   et al. | 2019-09-19 |
Scalable Liveness Verification App 20190138664 - Baumgartner; Jason R. ;   et al. | 2019-05-09 |
Delayed equivalence identification Grant 9,934,873 - Gajavelly , et al. April 3, 2 | 2018-04-03 |
Delayed Equivalence Identification App 20170365362 - Gajavelly; Raj Kumar ;   et al. | 2017-12-21 |
Lifting of bounded liveness counterexamples to concrete liveness counterexamples Grant 9,740,589 - Baumgartner , et al. August 22, 2 | 2017-08-22 |
Lifting of bounded liveness counterexamples to concrete liveness counterexamples Grant 9,678,853 - Baumgartner , et al. June 13, 2 | 2017-06-13 |
Lifting Of Bounded Liveness Counterexamples To Concrete Liveness Counterexamples App 20170010949 - Baumgartner; Jason R. ;   et al. | 2017-01-12 |
Lifting Of Bounded Liveness Counterexamples To Concrete Liveness Counterexamples App 20170010950 - Baumgartner; Jason R. ;   et al. | 2017-01-12 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.