Inventor · disambiguated record
Per M. Bjesse
Also filed as: BJESSE PER · BJESSE PER M · BJESSE PER MATTIAS
12 granted patents·65 citations·filing 2005–2018
89Inventor score
Technology areasG06F
Top patents by PatentIndex Score
12 records- 0187US8001498B2Method and apparatus for memory abstraction and verification using sameSYNOPSYS INC·Filed 2008·Granted Aug 16, 2011·20 cites·20 claims
- 0282US10515170B1Deep insight for debug using internal equivalence visualization and counter-example for sequential equivalence checkingSYNOPSYS INC·Filed 2018·Granted Dec 24, 2019·4 cites·20 claims
- 0381US8104000B2Method and apparatus for memory abstraction and for word level net list reduction and verification using sameBJESSE PER M·Filed 2008·Granted Jan 24, 2012·13 cites·31 claims
- 0479US10657307B1Using runtime information from solvers to measure quality of formal verificationSYNOPSYS INC·Filed 2018·Granted May 19, 2020·3 cites·15 claims
- 0579US10503853B1Formal verification using cached search path information to verify previously proved/disproved propertiesSYNOPSYS INC·Filed 2018·Granted Dec 10, 2019·3 cites·20 claims
- 0678US8627260B1Bit-level simplification of word-level modelsSYNOPSYS INC·Filed 2012·Granted Jan 7, 2014·5 cites·27 claims
- 0776US7343575B2Phase abstraction for formal verificationSYNOPSYS INC·Filed 2005·Granted Mar 11, 2008·7 cites·36 claims
- 0872US7890894B2Phase abstraction for formal verificationSYNOPSYS INC·Filed 2008·Granted Feb 15, 2011·5 cites·12 claims
- 0969US10089427B2Method and apparatus for word-level netlist preprocessing and analysis using sameSYNOPSYS INC·Filed 2016·Granted Oct 2, 2018·1 cites·12 claims
- 1068US9489477B2Method and apparatus for word-level netlist reduction and verification using sameBJESSE PER M·Filed 2008·Granted Nov 8, 2016·4 cites·28 claims
- 1149US10592624B2Efficient mechanism of fault qualification using formal verificationSYNOPSYS INC·Filed 2018·Granted Mar 17, 2020·0 cites·20 claims
- 1247US10325054B2Invariant sharing to speed up formal verificationSYNOPSYS INC·Filed 2014·Granted Jun 18, 2019·0 cites·13 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →