Inventor

MCILWAIN LISA R

US2 patents

⚠️ This page may combine multiple inventors who share the name “MCILWAIN LISA 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

SYNOPSYS INC

1 patent

US10643012B1May 5, 2020

Concurrent formal verification of logic synthesis

SYNOPSYS INC3 citations60