| 11922130 |
Optimization of arithmetic expressions |
Mihir Choudhury, Ayesha Akhter, Robert L. Kanzelman |
2024-03-05 |
| 10984159 |
Hardware verification based on relations between coverage events |
Ziv Nevo, Avi Ziv, Raviv Gal, Haim Kermany |
2021-04-20 |
| 10789403 |
Grouping and partitioning of properties for logic verification |
Rohit DUREJA, Jason R. Baumgartner, Robert L. Kanzelman |
2020-09-29 |
| 10540468 |
Verification complexity reduction via range-preserving input-to-constant conversion |
Raj Kumar Gajavelly, Jason R. Baumgartner, Robert L. Kanzelman, Pradeep Kumar Nalla |
2020-01-21 |
| 10540469 |
Verifying sequential equivalence for randomly initialized designs |
Haim Kermany, Ziv Nevo |
2020-01-21 |
| 10474777 |
Scalable liveness verification |
Jason R. Baumgartner, Pradeep Kumar Nalla, Raj Kumar Gajavelly |
2019-11-12 |
| 10078716 |
Scalable logic verification by identifying unate primary inputs |
Jason R. Baumgartner, Raj Kumar Gajavelly, Pradeep Kumar Nalla |
2018-09-18 |
| 9922153 |
Scalable logic verification by identifying unate primary inputs |
Jason R. Baumgartner, Raj Kumar Gajavelly, Pradeep Kumar Nalla |
2018-03-20 |
| 9740589 |
Lifting of bounded liveness counterexamples to concrete liveness counterexamples |
Jason R. Baumgartner, Raj Kumar Gajavelly, Pradeep Kumar Nalla |
2017-08-22 |
| 9678853 |
Lifting of bounded liveness counterexamples to concrete liveness counterexamples |
Jason R. Baumgartner, Raj Kumar Gajavelly, Pradeep Kumar Nalla |
2017-06-13 |
| 9454466 |
Explaining partially illegal combinations in combinatorial models |
Itai Segall, Rachel Tzoref-Brill |
2016-09-27 |
| 9158885 |
Reducing color conflicts in triple patterning lithography |
Michael S. Gray, Matthew T. Guzowski, Lars Liebmann, Kevin W. McCullen, Gustavo E. Tellez +1 more |
2015-10-13 |
| 8996339 |
Incremental formal verification |
Hana Chockler, Arie Matsliah, Shiri Moran, Ziv Nevo |
2015-03-31 |
| 8996435 |
Determining invariants in a model |
Sharon Keidar-Barner, Arie Matsliah |
2015-03-31 |
| 8909579 |
Identifying invariant candidates based on proofs |
Arie Matsliah |
2014-12-09 |
| 8850372 |
Method and system for performing invariant-guided abstraction of a logic design |
Jason R. Baumgartner, Arie Matsliah, Hari Mony |
2014-09-30 |
| 8825575 |
Conjunctive normal form encoding of cardinality constraints |
Yael Ben-Haim, Arie Matsliah, Oded Margalit |
2014-09-02 |
| 8397192 |
Proof based bounded model checking |
Oded Fuhrmann, Tatyana Veksler |
2013-03-12 |
| 8201116 |
Proof based bounded model checking |
Oded Fuhrmann, Tatyana Veksler |
2012-06-12 |
