Inventor · disambiguated record
Alexander Ivrii
Also filed as: IVRII ALEXANDER
20 granted patents·1 pending application·82 citations·filing 2010–2023
91Inventor score
Top patents by PatentIndex Score
21 records- 0195US9158885B1Reducing color conflicts in triple patterning lithographyIBM·Filed 2014·Granted Oct 13, 2015·52 cites·20 claims
- 0288US10984159B1Hardware verification based on relations between coverage eventsIBM·Filed 2020·Granted Apr 20, 2021·3 cites·20 claims
- 0385US9454466B2Explaining partially illegal combinations in combinatorial modelsGLOBALFOUNDRIES U S 2LLC·Filed 2013·Granted Sep 27, 2016·14 cites·9 claims
- 0481US11922130B2Optimization of arithmetic expressionsIBM·Filed 2021·Granted Mar 5, 2024·1 cites·11 claims
- 0579US10789403B1Grouping and partitioning of properties for logic verificationIBM·Filed 2019·Granted Sep 29, 2020·3 cites·18 claims
- 0672US8996339B2Incremental formal verificationCHOCKLER HANA·Filed 2011·Granted Mar 31, 2015·4 cites·17 claims
- 0765US8909579B2Identifying invariant candidates based on proofsIVRII ALEXANDER·Filed 2011·Granted Dec 9, 2014·3 cites·20 claims
- 0861US8850372B2Method and system for performing invariant-guided abstraction of a logic designIBM·Filed 2012·Granted Sep 30, 2014·1 cites·27 claims
- 0961US8397192B2Proof based bounded model checkingFUHRMANN ODED·Filed 2012·Granted Mar 12, 2013·1 cites·20 claims
- 1056US12475287B2Equivalence checking of synthesized logic designs using generated synthesis historyIBM·Filed 2022·Granted Nov 18, 2025·0 cites·14 claims
- 1155US2025139481A1Synthesis of quantum circuits for preparing superposed statesIBM·Filed 2023·Application pending·0 cites
- 1250US9678853B2Lifting of bounded liveness counterexamples to concrete liveness counterexamplesIBM·Filed 2015·Granted Jun 13, 2017·0 cites·9 claims
- 1349US9740589B2Lifting of bounded liveness counterexamples to concrete liveness counterexamplesIBM·Filed 2015·Granted Aug 22, 2017·0 cites·11 claims
- 1447US10540468B1Verification complexity reduction via range-preserving input-to-constant conversionIBM·Filed 2018·Granted Jan 21, 2020·0 cites·20 claims
- 1547US10078716B2Scalable logic verification by identifying unate primary inputsIBM·Filed 2016·Granted Sep 18, 2018·0 cites·20 claims
- 1646US8201116B2Proof based bounded model checkingFUHRMANN ODED·Filed 2010·Granted Jun 12, 2012·0 cites·17 claims
- 1745US10474777B2Scalable liveness verificationIBM·Filed 2017·Granted Nov 12, 2019·0 cites·17 claims
- 1845US9922153B2Scalable logic verification by identifying unate primary inputsIBM·Filed 2016·Granted Mar 20, 2018·0 cites·17 claims
- 1944US10540469B2Verifying sequential equivalence for randomly initialized designsIBM·Filed 2017·Granted Jan 21, 2020·0 cites·19 claims
- 2034US8996435B2Determining invariants in a modelIVRII ALEXANDER·Filed 2011·Granted Mar 31, 2015·0 cites·21 claims
- 2130US8825575B2Conjunctive normal form encoding of cardinality constraintsBEN-HAIM YAEL·Filed 2012·Granted Sep 2, 2014·0 cites·24 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →