Inventor
SAHA ARUNAVA
US6 patents
⚠️ This page may combine multiple inventors who share the name “SAHA ARUNAVA”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
SYNOPSYS INC
5 patentsUS11501048B1Nov 15, 2022
Estimating hardness of formal properties using on-the-fly machine learning
SYNOPSYS INC2 citations70
US11010522B2May 18, 2021
Efficient mechanism for interactive fault analysis in formal verification environment
SYNOPSYS INC4 citations67
US10503853B1Dec 10, 2019
Formal verification using cached search path information to verify previously proved/disproved properties
SYNOPSYS INC3 citations66
US10592624B2Mar 17, 2020
Efficient mechanism of fault qualification using formal verification
SYNOPSYS INC0 citations48
US10521536B2Dec 31, 2019
RTL verification using computational complexity-based property ranking and scheduling
SYNOPSYS INC0 citations45