Inventor
LUNDGREN LARS
SE10 patents
⚠️ This page may combine multiple inventors who share the name “LUNDGREN LARS”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
CADENCE DESIGN SYSTEMS INC
7 patentsUS11514219B1Nov 29, 2022
System and method for assertion-based formal verification using cached metadata
CADENCE DESIGN SYSTEMS INC7 citations80
US10108767B1Oct 23, 2018
Methods, systems, and computer program product for implementing deadlock detection with formal verification techniques in an electronic design
CADENCE DESIGN SYSTEMS INC5 citations67
US11580284B1Feb 14, 2023
System, method, and computer program product for finding and analyzing deadlock conditions associated with the formal verification of an electronic circuit design
CADENCE DESIGN SYSTEMS INC3 citations65
US10380312B1Aug 13, 2019
System, method, and computer program product for analyzing formal constraint conflicts
CADENCE DESIGN SYSTEMS INC1 citations60
US10176285B1Jan 8, 2019
System, method, and computer program product for property violation comprehension
CADENCE DESIGN SYSTEMS INC1 citations60
US11507720B1Nov 22, 2022
Systems and methods for signal observability rating
CADENCE DESIGN SYSTEMS INC0 citations53
US11520964B1Dec 6, 2022
Method and system for assertion-based formal verification using unique signature values
CADENCE DESIGN SYSTEMS INC0 citations41