Inventor · disambiguated record
Robert F. Damiano
Also filed as: DAMIANO ROBERT · DAMIANO ROBERT F
8 granted patents·1 pending application·258 citations·filing 1994–2024
89Inventor score
Top patents by PatentIndex Score
9 records- 0194US7904867B2Integrating a boolean SAT solver into a routerSYNOPSYS INC·Filed 2007·Granted Mar 8, 2011·53 cites·26 claims
- 0288US7130783B1Simulation-based functional verification of microcircuit designsSYNOPSYS INC·Filed 2001·Granted Oct 31, 2006·66 cites·36 claims
- 0377US7254793B2Latch modeling technique for formal verificationSYNOPSYS INC·Filed 2005·Granted Aug 7, 2007·11 cites·14 claims
- 0473US5537330AMethod for mapping in logic synthesis by logic classificationIBM·Filed 1994·Granted Jul 16, 1996·68 cites·24 claims
- 0571US7107553B2Method and apparatus for solving constraintsSYNOPSYS INC·Filed 2003·Granted Sep 12, 2006·18 cites·13 claims
- 0667US2024371503A1Systems and methods for evaluating hospital care of infection patients using length-of-stay estimation modelsKONINKLIJKE PHILIPS NV·Filed 2024·Application pending·0 cites
- 0756US8306802B2Method for modeling an HDL design using symbolic simulationZHU YUNSHAN·Filed 2006·Granted Nov 6, 2012·3 cites·48 claims
- 0852US6397169B1Adaptive cell separation and circuit changes driven by maximum capacitance rulesSYNOPSYS INC·Filed 1998·Granted May 28, 2002·29 cites·18 claims
- 0935US5754824ALogic synthesis for logic array modulesIBM·Filed 1995·Granted May 19, 1998·10 cites·10 claims
Join the waitlist — get patent alerts
Get an alert when Robert F. Damiano files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →