Inventor

ABO FOUL AHMAD S

IL2 patents

Patents

2 patents

US11514219B1Nov 29, 2022

System and method for assertion-based formal verification using cached metadata

CADENCE DESIGN SYSTEMS INC7 citations80

US11520964B1Dec 6, 2022

Method and system for assertion-based formal verification using unique signature values

CADENCE DESIGN SYSTEMS INC0 citations41