Inventor · disambiguated record
Lars Lundgren
Also filed as: LUNDGREN LARS · LUNDGREN LARS-GUNNAR
10 granted patents·4 pending applications·37 citations·filing 2009–2023
85Inventor score
Top patents by PatentIndex Score
14 records- 0192US11514219B1System and method for assertion-based formal verification using cached metadataCADENCE DESIGN SYSTEMS INC·Filed 2021·Granted Nov 29, 2022·7 cites·20 claims
- 0287US8863049B1Constraining traces in formal verificationLUNDGREN LARS·Filed 2010·Granted Oct 14, 2014·16 cites·18 claims
- 0386US11580284B1System, method, and computer program product for finding and analyzing deadlock conditions associated with the formal verification of an electronic circuit designCADENCE DESIGN SYSTEMS INC·Filed 2021·Granted Feb 14, 2023·3 cites·20 claims
- 0484US10108767B1Methods, systems, and computer program product for implementing deadlock detection with formal verification techniques in an electronic designCADENCE DESIGN SYSTEMS INC·Filed 2016·Granted Oct 23, 2018·5 cites·20 claims
- 0567US10380312B1System, method, and computer program product for analyzing formal constraint conflictsCADENCE DESIGN SYSTEMS INC·Filed 2016·Granted Aug 13, 2019·1 cites·20 claims
- 0667US10176285B1System, method, and computer program product for property violation comprehensionCADENCE DESIGN SYSTEMS INC·Filed 2017·Granted Jan 8, 2019·1 cites·17 claims
- 0764US9372949B1Guided exploration of circuit design statesHANNA ZIYAD·Filed 2011·Granted Jun 21, 2016·3 cites·20 claims
- 0855US2020074355A1Method, Apparatus and Computer ProgramSONY CORP·Filed 2019·Application pending·0 cites
- 0953US11507720B1Systems and methods for signal observability ratingCADENCE DESIGN SYSTEMS INC·Filed 2021·Granted Nov 22, 2022·0 cites·19 claims
- 1050US9246771B2Cloud communication layer for a user deviceLUNDGREN LARS-GUNNAR·Filed 2011·Granted Jan 26, 2016·1 cites·17 claims
- 1147US2011117890A1Top list generated from user context based informationSONY ERICSSON MOBILE COMM AB·Filed 2009·Application pending·0 cites
- 1244US2012265827A9Portable electronic device and method and social network and method for sharing content informationHANSSON EMIL·Filed 2011·Application pending·0 cites
- 1343US2024311538A1System and Method for Glitch DebuggingCADENCE DESIGN SYSTEMS INC·Filed 2023·Application pending·0 cites
- 1441US11520964B1Method and system for assertion-based formal verification using unique signature valuesCADENCE DESIGN SYSTEMS INC·Filed 2021·Granted Dec 6, 2022·0 cites·6 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →