Inventor
HJORT BJÖRN HÅKAN
SE5 patents
⚠️ This page may combine multiple inventors who share the name “HJORT BJÖRN HÅKAN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
CADENCE DESIGN SYSTEMS INC
4 patentsUS11514219B1Nov 29, 2022
System and method for assertion-based formal verification using cached metadata
CADENCE DESIGN SYSTEMS INC7 citations80
US10162917B1Dec 25, 2018
Method and system for implementing selective transformation for low power verification
CADENCE DESIGN SYSTEMS INC5 citations71
US10482206B1Nov 19, 2019
System, method, and computer program product for providing feedback during formal verification
CADENCE DESIGN SYSTEMS INC1 citations50
US11520964B1Dec 6, 2022
Method and system for assertion-based formal verification using unique signature values
CADENCE DESIGN SYSTEMS INC0 citations41