Inventor · disambiguated record
Arunava Saha
Also filed as: SAHA ARUNAVA
6 granted patents·5 pending applications·9 citations·filing 2017–2025
72Inventor score
Top patents by PatentIndex Score
11 records- 0179US11010522B2Efficient mechanism for interactive fault analysis in formal verification environmentSYNOPSYS INC·Filed 2018·Granted May 18, 2021·4 cites·20 claims
- 0279US10503853B1Formal verification using cached search path information to verify previously proved/disproved propertiesSYNOPSYS INC·Filed 2018·Granted Dec 10, 2019·3 cites·20 claims
- 0376US2025117706A1Training and using artificial intelligence to determine progress of construction at a construction siteDOXEL INC·Filed 2024·Application pending·0 cites
- 0476US2025117532A1Using artificial intelligence to establish a map between objects in a computer model of a construction site and a hierarchy of models of the construction sitesDOXEL INC·Filed 2024·Application pending·0 cites
- 0576US2025116527A1Human-assisted constraint annotation for visual simultaneous localization and mappingDOXEL INC·Filed 2024·Application pending·0 cites
- 0676US2025118020A1Establishing a correspondence between a construction site and a three-dimensional computer model of the construction siteDOXEL INC·Filed 2024·Application pending·0 cites
- 0770US11501048B1Estimating hardness of formal properties using on-the-fly machine learningSYNOPSYS INC·Filed 2018·Granted Nov 15, 2022·2 cites·20 claims
- 0857US12254429B2Generating status of construction site based on hierarchical modeling that standardizes physical relationships of elements of a structureDOXEL INC·Filed 2022·Granted Mar 18, 2025·0 cites·18 claims
- 0957US2025190894A1Generating status of construction site based on hierarchical modeling that standardizes physical relationships of elements of a structureDOXEL INC·Filed 2025·Application pending·0 cites
- 1049US10592624B2Efficient mechanism of fault qualification using formal verificationSYNOPSYS INC·Filed 2018·Granted Mar 17, 2020·0 cites·20 claims
- 1143US10521536B2RTL verification using computational complexity-based property ranking and schedulingSYNOPSYS INC·Filed 2017·Granted Dec 31, 2019·0 cites·18 claims
Join the waitlist — get patent alerts
Get an alert when Arunava Saha files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →