| 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 |