Inventor

MATURANA GUILLERMO R

US4 patents

⚠️ This page may combine multiple inventors who share the name “MATURANA GUILLERMO R”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

SALZ ARTURO

1 patent

US8650513B2Feb 11, 2014

Reducing x-pessimism in gate-level simulation and verification

SALZ ARTURO5 citations62

MATURANA GUILLERMO R

1 patent

US8150787B2Apr 3, 2012

Enhancing performance of a constraint solver across individual processes

MATURANA GUILLERMO R6 citations61

SYNOPSYS INC

1 patent

US10372856B2Aug 6, 2019

Optimizing constraint solving by rewriting at least one bit-slice constraint

SYNOPSYS INC0 citations49

HUNG NGAI NGAI WILLIAM

1 patent

US9195634B2Nov 24, 2015

Optimizing constraint solving by rewriting at least one modulo constraint

HUNG NGAI NGAI WILLIAM0 citations43