Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8689192 | Natural language assertion processor | — | 2014-04-01 |
| 7263675 | Tuple propagator and its use in analysis of mixed clock domain designs | — | 2007-08-28 |
| 5938785 | Automatically determining test patterns for a netlist having multiple clocks and sequential circuits | — | 1999-08-17 |