Inventor
BJESSE PER
US4 patents
Patents
4 patentsUS7343575B2Mar 11, 2008
Phase abstraction for formal verification
SYNOPSYS INC7 citations70
US10515170B1Dec 24, 2019
Deep insight for debug using internal equivalence visualization and counter-example for sequential equivalence checking
SYNOPSYS INC4 citations68
US7890894B2Feb 15, 2011
Phase abstraction for formal verification
SYNOPSYS INC5 citations59
US10592624B2Mar 17, 2020
Efficient mechanism of fault qualification using formal verification
SYNOPSYS INC0 citations48