Inventor · disambiguated record
Fadi A. Zaraket
Also filed as: ZARAKET FADI · ZARAKET FADI A
7 granted patents·32 citations·filing 2005–2008
81Inventor score
Technology areasG06F
Top patents by PatentIndex Score
7 records- 0188US7437690B2Method for predicate-based compositional minimization in a verification environmentIBM·Filed 2005·Granted Oct 14, 2008·18 cites·5 claims
- 0266US8234604B2Co-optimization of embedded systems utilizing symbolic executionEL-ZEIN ALI S·Filed 2008·Granted Jul 31, 2012·5 cites·20 claims
- 0366US8086429B2Predicate-based compositional minimization in a verification environmentBAUMGARTNER JASON R·Filed 2008·Granted Dec 27, 2011·3 cites·13 claims
- 0465US8141048B2Sequential encoding for relational analysis (SERA) of a software modelBAUMGARTNER JASON R·Filed 2007·Granted Mar 20, 2012·3 cites·21 claims
- 0561US7823097B2Unrolling hardware design generate statements in a source window debuggerIBM·Filed 2006·Granted Oct 26, 2010·2 cites·18 claims
- 0653US8140313B2Techniques for modeling variables in subprograms of hardware description language programsDRASNY GABOR·Filed 2008·Granted Mar 20, 2012·1 cites·12 claims
- 0742US7506287B2Method, system, and program product for pre-compile processing of hardware design language (HDL) source filesIBM·Filed 2006·Granted Mar 17, 2009·0 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Fadi A. Zaraket 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 →