| 11983474 |
Connecting random variables to coverage targets using an ensemble of static analysis, dynamic analysis and machine learning and guided constraint solving of the random variables during simulation of an integrated circuit |
Badri P. Gopalan, Enzhi Ni, Danish Jawed, Ying-Jen Chen, Jiang Chen |
2024-05-14 |
| 11853665 |
Performing hardware description language transformations |
Minakshi Chakravorty, Sitikant Sahu |
2023-12-26 |
| 11275877 |
Hardware simulation systems and methods for reducing signal dumping time and size by fast dynamical partial aliasing of signals having similar waveform |
Sitikant Sahu, Rahul Garg |
2022-03-15 |
| 10831961 |
Automated coverage convergence by correlating random variables with coverage variables sampled from simulation result data |
Esha Dutta, Danish Jawed, Bhaskar Pal, Pravash Chandra Dash, Rajarshi Mukherjee +1 more |
2020-11-10 |
| 10606977 |
Graphical view and debug for coverage-point negative hint |
Alexander John Wakefield, Pravash Chandra Dash, Sitikant Sahu, Sharad Nijhawan, Ractim Chakraborty +1 more |
2020-03-31 |
| 10521528 |
Signal reconstruction in sequential logic circuitry |
Shyam Datta, Subhrajyoti Chakraborty, Minakshi Chakravorty |
2019-12-31 |
| 9727678 |
Graphical view and debug for coverage-point negative hint |
Alexander John Wakefield, Pravash Chandra Dash, Sitikant Sahu, Sharad Nijhawan, Ractim Chakraborty +1 more |
2017-08-08 |
| 9684746 |
Signal reconstruction in sequential logic circuitry |
Shyam Datta, Subhrajyoti Chakraborty, Minakshi Chakravorty |
2017-06-20 |
| 8443316 |
Accelerating coverage convergence and debug using symbolic properties and local multi-path analysis |
Raghurama Krishna Srigiriraju, Alexandru Seibulescu, Gagan Vishal Jain |
2013-05-14 |
| 8386974 |
Accelerating coverage convergence using symbolic properties |
Raghurama Krishna Srigiriraju, Alexandru Seibulescu, Jayant Nagda |
2013-02-26 |