Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8365114 | Logic modification synthesis | Eli Arbel, David J. Geiger, Victor N. Kravets, Ruchir Puri, Haoxing Ren | 2013-01-29 |
| 8271920 | Converged large block and structured synthesis for high performance microprocessor designs | Minsik Cho, Victor N. Kravets, Dorothy Kucar, Jagannathan Narasimhan, Ruchir Puri +6 more | 2012-09-18 |
| 8122400 | Logic difference synthesis | Jeremy T. Hopkins, John M. Isakson, Joachim Keinert, Nilesh A. Modi, Ruchir Puri +2 more | 2012-02-21 |