Issued Patents 2011
Showing 1–2 of 2 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, Viresh Paruthi, Matthias Pflanz, Kai Weber | 2011-05-24 |
| 7890903 | Method and system for formal verification of an electronic circuit design | Kai Weber, Matthias Pflanz, Christian Jacobi | 2011-02-15 |