| 12118350 |
Hierarchical clustering for coding practice discovery |
Hoan Anh Nguyen, Pranav Garg, Omer Tripp, Sengamedu Hanumantha Rao Srinivasan |
2024-10-15 |
| 11914993 |
Example-based synthesis of rules for detecting violations of software coding practices |
Pranav Garg, Sengamedu Hanumantha Rao Srinivasan, Benjamin Robert Liblit, Omer Tripp, Neela Sawant |
2024-02-27 |
| 11586437 |
Data flow tracking in program verification |
Omer Tripp, Michael Wilson, Yingjun Lyu |
2023-02-21 |
| 10984161 |
System, method, and computer program product for sequential equivalence checking in formal verification |
Ravi Prakash, Benjamin Chen, Habeeb Farah, Ziyad Hanna |
2021-04-20 |
| 10983758 |
System, method, and computer program product for automatically inferring case-split hints in equivalence checking of an electronic design |
Benjamin Chen, Habeeb Farah, Ziyad Hanna |
2021-04-20 |
| 10970449 |
Learning framework for software-hardware model generation and verification |
Raphael Polig, Mitra Purandare |
2021-04-06 |
| 10789404 |
System, method, and computer program product for generating a formal verification model |
Benjamin Chen, Habeeb Farah, Ziyad Hanna |
2020-09-29 |
