Per M. Bjesse — 12 Patents at Synopsys

Per M. Bjesse has been granted 12 US patents while listed as an inventor at Synopsys. The first was granted in 2008 and the most recent in May 2020. Per M. Bjesse ranks #396,045 of 4,157,543 US inventors in our database (top 9.5%). Patent records list Per M. Bjesse in Portland, OR, US.

Patents per Year

Issued Patents All Time

Showing 1–12 of 12 patents

Patent #	Title	Co-Inventors	Date	Approx Value ⓘ
10657307	Using runtime information from solvers to measure quality of formal verification	Himanshu Jain, Pratik Mahajan	2020-05-19	$47,444,000
10592624	Efficient mechanism of fault qualification using formal verification	Sandeep Jana, Arunava Saha, Pratik Mahajan, Alfred Koelbl	2020-03-17	$83,201,000
10515170	Deep insight for debug using internal equivalence visualization and counter-example for sequential equivalence checking	Sudipta Kundu	2019-12-24
10503853	Formal verification using cached search path information to verify previously proved/disproved properties	Arunava Saha, Himanshu Jain, Manish Pandey, Ashvin M. Dsouza	2019-12-10
10325054	Invariant sharing to speed up formal verification	Himanshu Jain, Carl Preston Pixley	2019-06-18	$27,299,000
10089427	Method and apparatus for word-level netlist preprocessing and analysis using same	—	2018-10-02	$49,992,000
9489477	Method and apparatus for word-level netlist reduction and verification using same	—	2016-11-08	$14,717,000
8627260	Bit-level simplification of word-level models	—	2014-01-07	$4,268,000
8104000	Method and apparatus for memory abstraction and for word level net list reduction and verification using same	—	2012-01-24	$3,150,000
8001498	Method and apparatus for memory abstraction and verification using same	—	2011-08-16	$2,617,000
7890894	Phase abstraction for formal verification	James H. Kukula	2011-02-15	$4,608,000
7343575	Phase abstraction for formal verification	James H. Kukula	2008-03-11	$20,215,000

Per M. Bjesse — 12 Patents

Patents per Year

Issued Patents All Time

Patent Widget