Inventor · disambiguated record
Avi Ziv
Also filed as: ZIV AVI
28 granted patents·7 pending applications·318 citations·filing 1999–2021
96Inventor score
Top patents by PatentIndex Score
35 records- 0191US7428715B2Hole query for functional coverage analysisIBM·Filed 2005·Granted Sep 23, 2008·20 cites·7 claims
- 0291US7003420B2Late binding of variables during test case generation for hardware and software design verificationIBM·Filed 2003·Granted Feb 21, 2006·70 cites·22 claims
- 0388US10984159B1Hardware verification based on relations between coverage eventsIBM·Filed 2020·Granted Apr 20, 2021·3 cites·20 claims
- 0488US7331007B2Harnessing machine learning to improve the success rate of stimuli generationIBM·Filed 2005·Granted Feb 12, 2008·20 cites·20 claims
- 0584US7729891B2Probabilistic regression suites for functional verificationIBM·Filed 2005·Granted Jun 1, 2010·16 cites·18 claims
- 0684US7389215B2Efficient presentation of functional coverage resultsIBM·Filed 2005·Granted Jun 17, 2008·16 cites·10 claims
- 0783US6978444B1Computer-implemented method and system for automatically invoking a predetermined debugger command at a desired location of a single thread of a programIBM·Filed 2000·Granted Dec 20, 2005·36 cites·42 claims
- 0881US8868977B2Utilizing auxiliary variables in modeling test space for system behaviorBIRNBAUM ARIEL·Filed 2011·Granted Oct 21, 2014·14 cites·20 claims
- 0978US8683282B2Automatic identification of information useful for generation-based functional verificationKATZ YOAV AVRAHAM·Filed 2011·Granted Mar 25, 2014·5 cites·23 claims
- 1075US8019586B2Hole query for functional coverage analysisIBM·Filed 2008·Granted Sep 13, 2011·6 cites·13 claims
- 1173US8589734B2Verifying correctness of processor transactionsADIR ALLON·Filed 2010·Granted Nov 19, 2013·4 cites·27 claims
- 1273US7181376B2Apparatus and method for coverage directed testIBM·Filed 2003·Granted Feb 20, 2007·24 cites·13 claims
- 1371US8121827B2Efficient presentation of functional coverage resultsAZATCHI YEHEZKEL·Filed 2008·Granted Feb 21, 2012·8 cites·4 claims
- 1470US7865340B2Probabilistic regression suites for functional verificationIBM·Filed 2008·Granted Jan 4, 2011·5 cites·8 claims
- 1569US9208451B2Automatic identification of information useful for generation-based functional verificationGLOBALFOUNDRIES US 2 LLC·Filed 2014·Granted Dec 8, 2015·4 cites·15 claims
- 1667US7203882B2Clustering-based approach for coverage-directed test generationIBM·Filed 2004·Granted Apr 10, 2007·13 cites·23 claims
- 1763US8930759B2Stream generationKATZ YOAV·Filed 2012·Granted Jan 6, 2015·2 cites·20 claims
- 1862US6356858B1Coverage measurement tool for user defined coverage modelsIBM·Filed 1999·Granted Mar 12, 2002·48 cites·18 claims
- 1961US8938646B2Mutations on input for test generationIBM·Filed 2012·Granted Jan 20, 2015·1 cites·15 claims
- 2060US8739091B1Techniques for segmenting of hardware trace and verification of individual trace segmentsIBM·Filed 2012·Granted May 27, 2014·1 cites·18 claims
- 2158US8826075B2Solving constraint satisfaction problems having loosely interconnected sub-problemsKATZ YOAV·Filed 2012·Granted Sep 2, 2014·1 cites·20 claims
- 2255US8756574B2Using reverse time for coverage analysisZIV AVI·Filed 2012·Granted Jun 17, 2014·1 cites·9 claims
- 2349US11151021B2Selecting test-templates using template-aware coverage dataIBM·Filed 2019·Granted Oct 19, 2021·0 cites·17 claims
- 2449US2022172124A1Generating data slices for machine learning validationIBM·Filed 2020·Application pending·0 cites
- 2548US11023366B2Diminution of test templates in test suitesIBM·Filed 2019·Granted Jun 1, 2021·0 cites·20 claims
- 2646US11640421B2Coverage analysis with event clusteringIBM·Filed 2019·Granted May 2, 2023·0 cites·15 claims
- 2746US11119895B2Risk-focused testingIBM·Filed 2019·Granted Sep 14, 2021·0 cites·20 claims
- 2844US2014019929A1Partial Instruction-by-instruction checking on acceleration platformsIBM·Filed 2013·Application pending·0 cites
- 2944US2011239193A1Using reverse time for coverage analysisIBM·Filed 2010·Application pending·0 cites
- 3043US2023205847A1Methods and systems for automatically identify in a dataset insufficient data for learning, or records with anomalous combinations of feature valuesIBM·Filed 2021·Application pending·0 cites
- 3142US2003093716A1Method and apparatus for collecting persistent coverage data across software versionsIBM·Filed 2001·Application pending·0 cites
- 3240US2008126063A1Simulation System with Guided BacktrackingBEER ILAN·Filed 2006·Application pending·0 cites
- 3338US8601418B1Instruction-by-instruction checking on acceleration platformsCHATTERJEE DEBAPRIYA·Filed 2012·Granted Dec 3, 2013·0 cites·16 claims
- 3435US2019235865A1Solving constraint satisfaction problems comprising vectors of unknown sizeIBM·Filed 2018·Application pending·0 cites
- 3531US8392348B2Constraint satisfaction problem solverBIN EYAL·Filed 2010·Granted Mar 5, 2013·0 cites·25 claims
Join the waitlist — get patent alerts
Get an alert when Avi Ziv 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 →