| 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 |