Issued Patents All Time
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10372856 | Optimizing constraint solving by rewriting at least one bit-slice constraint | Ngai Ngai William Hung, Qiang Qiang, Jasvinder Singh, Dhiraj Goswami | 2019-08-06 |
| 9195634 | Optimizing constraint solving by rewriting at least one modulo constraint | Ngai Ngai William Hung, Qiang Qiang, Jasvinder Singh, Dhiraj Goswami | 2015-11-24 |
| 8650513 | Reducing x-pessimism in gate-level simulation and verification | Arturo Salz, In-Ho Moon, Lisa McIlwain | 2014-02-11 |
| 8271914 | Method and apparatus for simulating behavioral constructs using indeterminate values | Arturo Salz, Joseph T. Buck | 2012-09-18 |
| 8150787 | Enhancing performance of a constraint solver across individual processes | — | 2012-04-03 |
| 7934183 | Method and apparatus for simulating behavioral constructs using indeterminate values | Arturo Salz, Joseph T. Buck | 2011-04-26 |
| 7260795 | Method and apparatus for integrating a simulation log into a verification environment | Alok Kuchlous | 2007-08-21 |
| 5717896 | Method and apparatus for performing pipeline store instructions using a single cache access pipestage | Robert Yung | 1998-02-10 |
| 5539680 | Method and apparatus for analyzing finite state machines | Samir Palnitkar, Prasad V. Saggurti, Ser-Hou Kuang, Chee Keng Chang | 1996-07-23 |