Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7380224 | Method and system for non-linear state based satisfiability | John V. Franco, W. Mark VanFleet, John Schlipf | 2008-05-27 |
| 6912700 | Method and system for non-linear state based satisfiability | John V. Franco, W. Mark VanFleet, John Schlipf | 2005-06-28 |
| 6190433 | Method of recovering a gate-level netlist from a transistor-level | W. Mark Van Fleet | 2001-02-20 |