Alexander Ivrii

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Optimization of arithmetic expressions
- Patent number 11,922,130
- Issue date Mar 5, 2024
- International Business Machines Corporation
- Mihir Choudhury
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hardware verification based on relations between coverage events
- Patent number 10,984,159
- Issue date Apr 20, 2021
- International Business Machines Corporation
- Ziv Nevo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Grouping and partitioning of properties for logic verification
- Patent number 10,789,403
- Issue date Sep 29, 2020
- International Business Machines Corporation
- Rohit Dureja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification complexity reduction via range-preserving input-to-con...
- Patent number 10,540,468
- Issue date Jan 21, 2020
- International Business Machines Corporation
- Raj Kumar Gajavelly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying sequential equivalence for randomly initialized designs
- Patent number 10,540,469
- Issue date Jan 21, 2020
- International Business Machines Corporation
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable liveness verification
- Patent number 10,474,777
- Issue date Nov 12, 2019
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable logic verification by identifying unate primary inputs
- Patent number 10,078,716
- Issue date Sep 18, 2018
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable logic verification by identifying unate primary inputs
- Patent number 9,922,153
- Issue date Mar 20, 2018
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lifting of bounded liveness counterexamples to concrete liveness co...
- Patent number 9,740,589
- Issue date Aug 22, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lifting of bounded liveness counterexamples to concrete liveness co...
- Patent number 9,678,853
- Issue date Jun 13, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Explaining partially illegal combinations in combinatorial models
- Patent number 9,454,466
- Issue date Sep 27, 2016
- GLOBALFOUNDRIES Inc.
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing color conflicts in triple patterning lithography
- Patent number 9,158,885
- Issue date Oct 13, 2015
- GLOBALFOUNDRIES, INC.
- Michael S. Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining invariants in a model
- Patent number 8,996,435
- Issue date Mar 31, 2015
- International Business Machines Corporation
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Incremental formal verification
- Patent number 8,996,339
- Issue date Mar 31, 2015
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying invariant candidates based on proofs
- Patent number 8,909,579
- Issue date Dec 9, 2014
- International Business Machines Corporation
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for performing invariant-guided abstraction of a...
- Patent number 8,850,372
- Issue date Sep 30, 2014
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conjunctive normal form encoding of cardinality constraints
- Patent number 8,825,575
- Issue date Sep 2, 2014
- International Business Machines Corporation
- Yael Ben-Haim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Proof based bounded model checking
- Patent number 8,397,192
- Issue date Mar 12, 2013
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Proof based bounded model checking
- Patent number 8,201,116
- Issue date Jun 12, 2012
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
EQUIVALENCE CHECKING OF SYNTHESIZED LOGIC DESIGNS USING GENERATED S...
- Publication number 20230394212
- Publication date Dec 7, 2023
- International Business Machines Corporation
- Alexander IVRII
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OPTIMIZATION OF ARITHMETIC EXPRESSIONS
- Publication number 20230185528
- Publication date Jun 15, 2023
- International Business Machines Corporation
- MIHIR CHOUDHURY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION COMPLEXITY REDUCTION VIA RANGE-PRESERVING INPUT-TO-CON...
- Publication number 20200019653
- Publication date Jan 16, 2020
- International Business Machines Corporation
- Raj Kumar Gajavelly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING SEQUENTIAL EQUIVALENCE FOR RANDOMLY INITIALIZED DESIGNS
- Publication number 20190188349
- Publication date Jun 20, 2019
- International Business Machines Corporation
- ALEXANDER IVRII
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LIVENESS VERIFICATION
- Publication number 20190138664
- Publication date May 9, 2019
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS
- Publication number 20170323043
- Publication date Nov 9, 2017
- International Business Machines Corporation
- Jason R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS
- Publication number 20170323044
- Publication date Nov 9, 2017
- International Business Machines Corporation
- Jason R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...
- Publication number 20170010949
- Publication date Jan 12, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...
- Publication number 20170010950
- Publication date Jan 12, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXPLAINING PARTIALLY ILLEGAL COMBINATIONS IN COMBINATORIAL MODELS
- Publication number 20150094997
- Publication date Apr 2, 2015
- International Business Machines Corporation
- Alexander Ivrii
- A61 - MEDICAL OR VETERINARY SCIENCE HYGIENE
Information Patent Application
METHOD AND SYSTEM FOR INVARIANT-GUIDED ABSTRACTION
- Publication number 20140115548
- Publication date Apr 24, 2014
- International Business Machines Corporation
- JASON RAYMOND BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONJUNCTIVE NORMAL FORM ENCODING OF CARDINALITY CONSTRAINTS
- Publication number 20130325778
- Publication date Dec 5, 2013
- International Business Machines Corporation
- Yael Ben-Haim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INCREMENTAL FORMAL VERIFICATION
- Publication number 20130060545
- Publication date Mar 7, 2013
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Identifying invariant candidates based on proofs
- Publication number 20130035908
- Publication date Feb 7, 2013
- International Business Machines Corporation
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING INVARIANTS IN A MODEL
- Publication number 20130036079
- Publication date Feb 7, 2013
- International Business Machines Corporation
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROOF BASED BOUNDED MODEL CHECKING
- Publication number 20120198400
- Publication date Aug 2, 2012
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROOF BASED BOUNDED MODEL CHECKING
- Publication number 20120046918
- Publication date Feb 23, 2012
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING

Alexander Ivrii

Person

Patents Grantslast 30 patents

Optimization of arithmetic expressions

Hardware verification based on relations between coverage events

Grouping and partitioning of properties for logic verification

Verification complexity reduction via range-preserving input-to-con...

Verifying sequential equivalence for randomly initialized designs

Scalable liveness verification

Scalable logic verification by identifying unate primary inputs

Scalable logic verification by identifying unate primary inputs

Lifting of bounded liveness counterexamples to concrete liveness co...

Lifting of bounded liveness counterexamples to concrete liveness co...

Explaining partially illegal combinations in combinatorial models

Reducing color conflicts in triple patterning lithography

Determining invariants in a model

Incremental formal verification

Identifying invariant candidates based on proofs

Method and system for performing invariant-guided abstraction of a...

Conjunctive normal form encoding of cardinality constraints

Proof based bounded model checking

Proof based bounded model checking

Patents Applicationslast 30 patents

EQUIVALENCE CHECKING OF SYNTHESIZED LOGIC DESIGNS USING GENERATED S...

OPTIMIZATION OF ARITHMETIC EXPRESSIONS

VERIFICATION COMPLEXITY REDUCTION VIA RANGE-PRESERVING INPUT-TO-CON...

VERIFYING SEQUENTIAL EQUIVALENCE FOR RANDOMLY INITIALIZED DESIGNS

SCALABLE LIVENESS VERIFICATION

SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS

SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS

LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...

LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...

EXPLAINING PARTIALLY ILLEGAL COMBINATIONS IN COMBINATORIAL MODELS

METHOD AND SYSTEM FOR INVARIANT-GUIDED ABSTRACTION

CONJUNCTIVE NORMAL FORM ENCODING OF CARDINALITY CONSTRAINTS

INCREMENTAL FORMAL VERIFICATION

Identifying invariant candidates based on proofs

DETERMINING INVARIANTS IN A MODEL

PROOF BASED BOUNDED MODEL CHECKING

PROOF BASED BOUNDED MODEL CHECKING