Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12254429 | Generating status of construction site based on hierarchical modeling that standardizes physical relationships of elements of a structure | Dobromir Voyager Montauk, Richard Turner, Matthew Paul Orban | 2025-03-18 |
| 11501048 | Estimating hardness of formal properties using on-the-fly machine learning | Chuan Jiang, Manish Pandey | 2022-11-15 |
| 11010522 | Efficient mechanism for interactive fault analysis in formal verification environment | Xiaolin Chen, Sandeep Jana, Pratik Mahajan, Jinnan Huang | 2021-05-18 |
| 10592624 | Efficient mechanism of fault qualification using formal verification | Sandeep Jana, Pratik Mahajan, Per M. Bjesse, Alfred Koelbl | 2020-03-17 |
| 10521536 | RTL verification using computational complexity-based property ranking and scheduling | Jinqing Yu, Manish Pandey, Ming-Ying Chung | 2019-12-31 |
| 10503853 | Formal verification using cached search path information to verify previously proved/disproved properties | Himanshu Jain, Manish Pandey, Ashvin M. Dsouza, Per M. Bjesse | 2019-12-10 |