Inventor
PIXLEY CARL P
US5 patents
⚠️ This page may combine multiple inventors who share the name “PIXLEY CARL P”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
SYNOPSYS INC
3 patentsUS9870442B2Jan 16, 2018
Equivalence checking between two or more circuit designs that include square root circuits
SYNOPSYS INC0 citations49
US9189581B2Nov 17, 2015
Equivalence checking between two or more circuit designs that include division circuits
SYNOPSYS INC0 citations49
US10325054B2Jun 18, 2019
Invariant sharing to speed up formal verification
SYNOPSYS INC0 citations39