Issued Patents 2011
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7949968 | Method and system for building binary decision diagrams optimally for nodes in a netlist graph using don't-caring | Christian Jacobi, Udo Krautz, Viresh Paruthi, Matthias Pflanz | 2011-05-24 |
| 7890903 | Method and system for formal verification of an electronic circuit design | Matthias Pflanz, Christian Jacobi, Udo Krautz | 2011-02-15 |
| 7865793 | Test case generation with backward propagation of predefined results and operand dependencies | Stefan Letz, Juergen Vielfort | 2011-01-04 |