Inventor · disambiguated record
Björn Håkan Hjort
Also filed as: HJORT BJÖRN HÅKAN
5 granted patents·16 citations·filing 2011–2021
73Inventor score
Top patents by PatentIndex Score
5 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
- 0284US10162917B1Method and system for implementing selective transformation for low power verificationCADENCE DESIGN SYSTEMS INC·Filed 2016·Granted Dec 25, 2018·5 cites·21 claims
- 0364US9372949B1Guided exploration of circuit design statesHANNA ZIYAD·Filed 2011·Granted Jun 21, 2016·3 cites·20 claims
- 0461US10482206B1System, method, and computer program product for providing feedback during formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2017·Granted Nov 19, 2019·1 cites·14 claims
- 0541US11520964B1Method 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 →