P

Inventor

KUKULA JAMES HERBERT

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

SYNOPSYS INC

3 patents
US7257786B1Aug 14, 2007

Method and apparatus for solving constraints

SYNOPSYS INC14 citations79
US7107553B2Sep 12, 2006

Method and apparatus for solving constraints

SYNOPSYS INC18 citations79
US7092858B1Aug 15, 2006

Method and apparatus for formally constraining random simulation

SYNOPSYS INC16 citations77

ZHU YUNSHAN

1 patent
US8306802B2Nov 6, 2012

Method for modeling an HDL design using symbolic simulation

ZHU YUNSHAN3 citations52