Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8234604 | Co-optimization of embedded systems utilizing symbolic execution | Ali S. El-Zein | 2012-07-31 |
| 8140313 | Techniques for modeling variables in subprograms of hardware description language programs | Gabor Drasny, Ali S. El-Zein, Wolfgang Roesner | 2012-03-20 |
| 8141048 | Sequential encoding for relational analysis (SERA) of a software model | Jason R. Baumgartner, Ali S. El-Zein, Viresh Paruthi | 2012-03-20 |
| 8086429 | Predicate-based compositional minimization in a verification environment | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-12-27 |
| 7823097 | Unrolling hardware design generate statements in a source window debugger | Gabor Drasny, Gabor Bobok, Ali S. El-Zein | 2010-10-26 |
| 7506287 | Method, system, and program product for pre-compile processing of hardware design language (HDL) source files | Gabor Drasny, Gabor Bobok, Ali S. El-Zein, Hussein Sharafeddin | 2009-03-17 |
| 7437690 | Method for predicate-based compositional minimization in a verification environment | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2008-10-14 |