Per M. Bjesse

Person

Portland, OR, US

People

Patents Grantslast 30 patents

Information Patent Grant
Using runtime information from solvers to measure quality of formal...
- Patent number 10,657,307
- Issue date May 19, 2020
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient mechanism of fault qualification using formal verification
- Patent number 10,592,624
- Issue date Mar 17, 2020
- Synopsis, Inc.
- Sandeep Jana
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Deep insight for debug using internal equivalence visualization and...
- Patent number 10,515,170
- Issue date Dec 24, 2019
- Synopsys, Inc.
- Sudipta Kundu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification using cached search path information to verify...
- Patent number 10,503,853
- Issue date Dec 10, 2019
- Synopsys, Inc.
- Arunava Saha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Invariant sharing to speed up formal verification
- Patent number 10,325,054
- Issue date Jun 18, 2019
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for word-level netlist preprocessing and analy...
- Patent number 10,089,427
- Issue date Oct 2, 2018
- Synopsys, Inc.
- Per M. Bjesse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for word-level netlist reduction and verificat...
- Patent number 9,489,477
- Issue date Nov 8, 2016
- Synopsys, Inc.
- Per M. Bjesse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bit-level simplification of word-level models
- Patent number 8,627,260
- Issue date Jan 7, 2014
- Synopsys, Inc.
- Per Mattias Bjesse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for memory abstraction and for word level net...
- Patent number 8,104,000
- Issue date Jan 24, 2012
- Synopsys, Inc.
- Per M. Bjesse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for memory abstraction and verification using...
- Patent number 8,001,498
- Issue date Aug 16, 2011
- Synopsys, Inc.
- Per M. Bjesse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Phase abstraction for formal verification
- Patent number 7,890,894
- Issue date Feb 15, 2011
- Synopsys, Inc.
- Per Bjesse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Phase abstraction for formal verification
- Patent number 7,343,575
- Issue date Mar 11, 2008
- Synopsys, Inc.
- Per Bjesse
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
EFFICIENT MECHANISM OF FAULT QUALIFICATION USING FORMAL VERIFICATION
- Publication number 20180349521
- Publication date Dec 6, 2018
- Synopsys, Inc.
- Sandeep Jana
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR WORD-LEVEL NETLIST PREPROCESSING AND ANALY...
- Publication number 20170011140
- Publication date Jan 12, 2017
- Synopsys, Inc.
- PER M. BJESSE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INVARIANT SHARING TO SPEED UP FORMAL VERIFICATION
- Publication number 20150213167
- Publication date Jul 30, 2015
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR MEMORY ABSTRACTION AND VERIFICATION USING...
- Publication number 20100107131
- Publication date Apr 29, 2010
- Synopsys, Inc.
- Per M. Bjesse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR MEMORY ABSTRACTION AND FOR WORD LEVEL NET...
- Publication number 20100107132
- Publication date Apr 29, 2010
- Synopsys, Inc.
- Per M. Bjesse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR WORD-LEVEL NETLIST REDUCTION AND VERIFICAT...
- Publication number 20100077366
- Publication date Mar 25, 2010
- Synopsys, Inc.
- Per M. Bjesse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Phase Abstraction For Formal Verification
- Publication number 20080134114
- Publication date Jun 5, 2008
- Synopsys, Inc.
- Per Bjesse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Phase abstraction for formal verification
- Publication number 20060253815
- Publication date Nov 9, 2006
- Synopsys, Inc.
- Per Bjesse
- G06 - COMPUTING CALCULATING COUNTING

Per M. Bjesse

Person

Patents Grantslast 30 patents

Using runtime information from solvers to measure quality of formal...

Efficient mechanism of fault qualification using formal verification

Deep insight for debug using internal equivalence visualization and...

Formal verification using cached search path information to verify...

Invariant sharing to speed up formal verification

Method and apparatus for word-level netlist preprocessing and analy...

Method and apparatus for word-level netlist reduction and verificat...

Bit-level simplification of word-level models

Method and apparatus for memory abstraction and for word level net...

Method and apparatus for memory abstraction and verification using...

Phase abstraction for formal verification

Phase abstraction for formal verification

Patents Applicationslast 30 patents

EFFICIENT MECHANISM OF FAULT QUALIFICATION USING FORMAL VERIFICATION

METHOD AND APPARATUS FOR WORD-LEVEL NETLIST PREPROCESSING AND ANALY...

INVARIANT SHARING TO SPEED UP FORMAL VERIFICATION

METHOD AND APPARATUS FOR MEMORY ABSTRACTION AND VERIFICATION USING...

METHOD AND APPARATUS FOR MEMORY ABSTRACTION AND FOR WORD LEVEL NET...

METHOD AND APPARATUS FOR WORD-LEVEL NETLIST REDUCTION AND VERIFICAT...

Phase Abstraction For Formal Verification

Phase abstraction for formal verification