Issued Patents All Time
Showing 1–17 of 17 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11868786 | Systems and methods for distributed and parallelized emulation processor configuration | Amiya Ranjan Satapathy | 2024-01-09 |
| 11853668 | FPGA implementation interleaved with FPGA overlay architectures for emulation | Dhiraj Goswami | 2023-12-26 |
| 11823018 | Method, product, and apparatus for a machine learning process using weight sharing within a systolic array having reduced memory bandwidth | Yong Liu, Michael Patrick Zimmer | 2023-11-21 |
| 11687831 | Method, product, and apparatus for a multidimensional processing array for hardware acceleration of convolutional neural network inference | Dhiraj Goswami, Michael Patrick Zimmer, Yong Liu | 2023-06-27 |
| 11676068 | Method, product, and apparatus for a machine learning process leveraging input sparsity on a pixel by pixel basis | Michael Patrick Zimmer, Yong Liu, Dhiraj Goswami | 2023-06-13 |
| 11651283 | Method, product, and apparatus for a machine learning process using dynamic rearrangement of sparse data and corresponding weights | Yong Liu, Michael Patrick Zimmer | 2023-05-16 |
| 11615320 | Method, product, and apparatus for variable precision weight management for neural networks | Dhiraj Goswami, Michael Patrick Zimmer, Yong Liu | 2023-03-28 |
| 11468218 | Information theoretic subgraph caching | Dhiraj Goswami | 2022-10-11 |
| 10372856 | Optimizing constraint solving by rewriting at least one bit-slice constraint | Qiang Qiang, Guillermo Maturana, Jasvinder Singh, Dhiraj Goswami | 2019-08-06 |
| 10325046 | Formal method for clock tree analysis and optimization | Lingyi Liu, Sitanshu Seth, Leonid Alexander Broukhis, Dhiraj Goswami | 2019-06-18 |
| 9958917 | Generalized resettable memory | Dhiraj Goswami | 2018-05-01 |
| 9720792 | Information theoretic caching for dynamic problem generation in constraint solving | Dhiraj Goswami | 2017-08-01 |
| 9202005 | Development and debug environment in a constrained random verification | Dhiraj Goswami, Aijun Hu, Na Xing, Jason Chen | 2015-12-01 |
| 9195634 | Optimizing constraint solving by rewriting at least one modulo constraint | Qiang Qiang, Guillermo Maturana, Jasvinder Singh, Dhiraj Goswami | 2015-11-24 |
| 9069699 | Identifying inconsistent constraints | Dhiraj Goswami, Soe Myint, Rajarshi Mukherjee | 2015-06-30 |
| 8370273 | Method and apparatus for constructing a canonical representation | Dhiraj Goswami, Jasvinder Singh | 2013-02-05 |
| 8099690 | Adaptive state-to-symbolic transformation in a canonical representation | Dhiraj Goswami, Jasvinder Singh, Qiang Qiang | 2012-01-17 |