loadpatents
Patent applications and USPTO patent grants for Ivrii; Alexander.The latest application filed is for "verification complexity reduction via range-preserving input-to-constant conversion".
Patent | Date |
---|---|
Hardware verification based on relations between coverage events Grant 10,984,159 - Nevo , et al. April 20, 2 | 2021-04-20 |
Grouping and partitioning of properties for logic verification Grant 10,789,403 - Dureja , et al. September 29, 2 | 2020-09-29 |
Verification complexity reduction via range-preserving input-to-constant conversion Grant 10,540,468 - Gajavelly , et al. Ja | 2020-01-21 |
Verifying sequential equivalence for randomly initialized designs Grant 10,540,469 - Ivrii , et al. Ja | 2020-01-21 |
Verification Complexity Reduction Via Range-preserving Input-to-constant Conversion App 20200019653 - Gajavelly; Raj Kumar ;   et al. | 2020-01-16 |
Scalable liveness verification Grant 10,474,777 - Baumgartner , et al. Nov | 2019-11-12 |
Verifying Sequential Equivalence For Randomly Initialized Designs App 20190188349 - IVRII; ALEXANDER ;   et al. | 2019-06-20 |
Scalable Liveness Verification App 20190138664 - Baumgartner; Jason R. ;   et al. | 2019-05-09 |
Scalable logic verification by identifying unate primary inputs Grant 10,078,716 - Baumgartner , et al. September 18, 2 | 2018-09-18 |
Scalable logic verification by identifying unate primary inputs Grant 9,922,153 - Baumgartner , et al. March 20, 2 | 2018-03-20 |
Scalable Logic Verification By Identifying Unate Primary Inputs App 20170323043 - BAUMGARTNER; Jason R. ;   et al. | 2017-11-09 |
Scalable Logic Verification By Identifying Unate Primary Inputs App 20170323044 - BAUMGARTNER; Jason R. ;   et al. | 2017-11-09 |
Lifting of bounded liveness counterexamples to concrete liveness counterexamples Grant 9,740,589 - Baumgartner , et al. August 22, 2 | 2017-08-22 |
Lifting of bounded liveness counterexamples to concrete liveness counterexamples Grant 9,678,853 - Baumgartner , et al. June 13, 2 | 2017-06-13 |
Lifting Of Bounded Liveness Counterexamples To Concrete Liveness Counterexamples App 20170010950 - Baumgartner; Jason R. ;   et al. | 2017-01-12 |
Lifting Of Bounded Liveness Counterexamples To Concrete Liveness Counterexamples App 20170010949 - Baumgartner; Jason R. ;   et al. | 2017-01-12 |
Explaining partially illegal combinations in combinatorial models Grant 9,454,466 - Ivrii , et al. September 27, 2 | 2016-09-27 |
Reducing color conflicts in triple patterning lithography Grant 9,158,885 - Gray , et al. October 13, 2 | 2015-10-13 |
Explaining Partially Illegal Combinations In Combinatorial Models App 20150094997 - Ivrii; Alexander ;   et al. | 2015-04-02 |
Incremental formal verification Grant 8,996,339 - Chockler , et al. March 31, 2 | 2015-03-31 |
Determining invariants in a model Grant 8,996,435 - Ivrii , et al. March 31, 2 | 2015-03-31 |
Identifying invariant candidates based on proofs Grant 8,909,579 - Ivrii , et al. December 9, 2 | 2014-12-09 |
Method and system for performing invariant-guided abstraction of a logic design Grant 8,850,372 - Baumgartner , et al. September 30, 2 | 2014-09-30 |
Conjunctive normal form encoding of cardinality constraints Grant 8,825,575 - Ben-Haim , et al. September 2, 2 | 2014-09-02 |
Method And System For Invariant-guided Abstraction App 20140115548 - BAUMGARTNER; JASON RAYMOND ;   et al. | 2014-04-24 |
Conjunctive Normal Form Encoding Of Cardinality Constraints App 20130325778 - Ben-Haim; Yael ;   et al. | 2013-12-05 |
Proof based bounded model checking Grant 8,397,192 - Fuhrmann , et al. March 12, 2 | 2013-03-12 |
Incremental Formal Verification App 20130060545 - Chockler; Hana ;   et al. | 2013-03-07 |
Identifying invariant candidates based on proofs App 20130035908 - Ivrii; Alexander ;   et al. | 2013-02-07 |
Determining Invariants In A Model App 20130036079 - Ivrii; Alexander ;   et al. | 2013-02-07 |
Proof Based Bounded Model Checking App 20120198400 - Fuhrmann; Oded ;   et al. | 2012-08-02 |
Proof based bounded model checking Grant 8,201,116 - Fuhrmann , et al. June 12, 2 | 2012-06-12 |
Proof Based Bounded Model Checking App 20120046918 - Fuhrmann; Oded ;   et al. | 2012-02-23 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.