Inventor

DAMIANO ROBERT F

US7 patents

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

SYNOPSYS INC

5 patents

US7130783B1Oct 31, 2006

Simulation-based functional verification of microcircuit designs

SYNOPSYS INC66 citations95

US7904867B2Mar 8, 2011

Integrating a boolean SAT solver into a router

SYNOPSYS INC53 citations92

US6397169B1May 28, 2002

Adaptive cell separation and circuit changes driven by maximum capacitance rules

SYNOPSYS INC29 citations88

US7254793B2Aug 7, 2007

Latch modeling technique for formal verification

SYNOPSYS INC11 citations80

US7107553B2Sep 12, 2006

Method and apparatus for solving constraints

SYNOPSYS INC18 citations79

IBM

1 patent

US5537330AJul 16, 1996

Method for mapping in logic synthesis by logic classification

IBM68 citations92

ZHU YUNSHAN

1 patent

US8306802B2Nov 6, 2012

Method for modeling an HDL design using symbolic simulation

ZHU YUNSHAN3 citations52