| 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 |
Parijat Biswas, Enzhi Ni, Danish Jawed, Ying-Jen Chen, Jiang Chen |
2024-05-14 |
| 11636244 |
Performance tuning of a hardware description language simulator |
Melvin Cardozo, Deepesh Puthiya-Purayil, Vamsi Krishna Doppalapudi, Trinanjan Chatterjee, Yichun Wang |
2023-04-25 |
| 9674307 |
Running mobile applications in a distributed client-server model using selective delegation of hardware and software contexts to the client |
Raheel Hasan, Melvin Cardozo, Sharjeel Hasan |
2017-06-06 |
| 8479128 |
Technique for honoring multi-cycle path semantics in RTL simulation |
Kaushik De, Dhiraj Goswami |
2013-07-02 |
| 7047175 |
System and method for enhancing the speed of dynamic timing simulation using delay assessment at compile time |
Manish Jain |
2006-05-16 |