Issued Patents All Time
Showing 1–25 of 25 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11615225 | Logic simulation of circuit designs using on-the-fly bit reduction for constraint solving | — | 2023-03-28 |
| 11341416 | Bit-level learning for word-level constraint solving | Qiang Qiang | 2022-05-24 |
| 10762262 | Multi-dimensional constraint solver using modified relaxation process | Qiang Qiang, Dhiraj Goswami | 2020-09-01 |
| 8650513 | Reducing x-pessimism in gate-level simulation and verification | Arturo Salz, Guillermo Maturana, Lisa McIlwain | 2014-02-11 |
| 8302044 | Abstraction-based livelock/deadlock checking for hardware verification | Kevin M. Harer | 2012-10-30 |
| 8156462 | Verification technique including deriving invariants from constraints | — | 2012-04-10 |
| 8074194 | Method and apparatus for distinguishing combinational designs | — | 2011-12-06 |
| 8032848 | Performing abstraction-refinement using a lower-bound-distance to verify the functionality of a circuit design | — | 2011-10-04 |
| 8015521 | Method and system for performing sequential equivalence checking on integrated circuit (IC) designs | — | 2011-09-06 |
| 7890896 | Method and apparatus for distinguishing combinational designs | — | 2011-02-15 |
| D409034 | Shelf | — | 1999-05-04 |
| D403546 | Shelf | — | 1999-01-05 |
| D379570 | Shelf | — | 1997-06-03 |
| D378310 | Faucet | — | 1997-03-04 |
| D374585 | Toilet paper roll support | — | 1996-10-15 |
| D374145 | Hanger | — | 1996-10-01 |
| D373699 | Shelf | — | 1996-09-17 |
| D372763 | Faucet body | — | 1996-08-13 |
| D371430 | Faucet handle | — | 1996-07-02 |
| D366518 | Faucet handle | — | 1996-01-23 |
| D364768 | Towel rack | — | 1995-12-05 |
| D364527 | Corner shelf | — | 1995-11-28 |
| D362775 | Towel ring | — | 1995-10-03 |
| D362362 | Towel rod | — | 1995-09-19 |
| D362489 | Mixer tap handle | — | 1995-09-19 |