Inventor
IVRII ALEXANDER
IL20 patents
⚠️ This page may combine multiple inventors who share the name “IVRII ALEXANDER”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
13 patentsUS9158885B1Oct 13, 2015
Reducing color conflicts in triple patterning lithography
IBM52 citations92
US10984159B1Apr 20, 2021
Hardware verification based on relations between coverage events
IBM3 citations69
US10789403B1Sep 29, 2020
Grouping and partitioning of properties for logic verification
IBM3 citations67
US11922130B2Mar 5, 2024
Optimization of arithmetic expressions
IBM1 citations59
US10078716B2Sep 18, 2018
Scalable logic verification by identifying unate primary inputs
IBM0 citations50
US9740589B2Aug 22, 2017
Lifting of bounded liveness counterexamples to concrete liveness counterexamples
IBM0 citations50
US9678853B2Jun 13, 2017
Lifting of bounded liveness counterexamples to concrete liveness counterexamples
IBM0 citations50
US8850372B2Sep 30, 2014
Method and system for performing invariant-guided abstraction of a logic design
IBM1 citations50
US12475287B2Nov 18, 2025
Equivalence checking of synthesized logic designs using generated synthesis history
IBM0 citations49
US10540468B1Jan 21, 2020
Verification complexity reduction via range-preserving input-to-constant conversion
IBM0 citations40
US10474777B2Nov 12, 2019
Scalable liveness verification
IBM0 citations40
US9922153B2Mar 20, 2018
Scalable logic verification by identifying unate primary inputs
IBM0 citations39
US10540469B2Jan 21, 2020
Verifying sequential equivalence for randomly initialized designs
IBM0 citations37