Inventor
FARAH HABEEB
IL13 patents
⚠️ This page may combine multiple inventors who share the name “FARAH HABEEB”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
CADENCE DESIGN SYSTEMS INC
12 patentsUS11514219B1Nov 29, 2022
System and method for assertion-based formal verification using cached metadata
CADENCE DESIGN SYSTEMS INC7 citations80
US10789404B1Sep 29, 2020
System, method, and computer program product for generating a formal verification model
CADENCE DESIGN SYSTEMS INC7 citations80
US10984161B1Apr 20, 2021
System, method, and computer program product for sequential equivalence checking in formal verification
CADENCE DESIGN SYSTEMS INC2 citations70
US10983758B1Apr 20, 2021
System, method, and computer program product for automatically inferring case-split hints in equivalence checking of an electronic design
CADENCE DESIGN SYSTEMS INC3 citations69
US11023357B1Jun 1, 2021
Method and system for sequential equivalence checking
CADENCE DESIGN SYSTEMS INC3 citations64
US10853546B1Dec 1, 2020
Method and system for sequential equivalence checking
CADENCE DESIGN SYSTEMS INC2 citations64
US10782767B1Sep 22, 2020
System, method, and computer program product for clock gating in a formal verification
CADENCE DESIGN SYSTEMS INC2 citations64
US10546083B1Jan 28, 2020
System, method, and computer program product for improving coverage accuracy in formal verification
CADENCE DESIGN SYSTEMS INC1 citations57
US12487905B1Dec 2, 2025
User interface for formal verification of computer instructions for compatibility with a compiler architecture
CADENCE DESIGN SYSTEMS INC0 citations50
US11080448B1Aug 3, 2021
Method and system for formal bug hunting
CADENCE DESIGN SYSTEMS INC0 citations45
US10452798B1Oct 22, 2019
System, method, and computer program product for filtering one or more failures in a formal verification
CADENCE DESIGN SYSTEMS INC0 citations44
US11520964B1Dec 6, 2022
Method and system for assertion-based formal verification using unique signature values
CADENCE DESIGN SYSTEMS INC0 citations41