Disha Puri

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 1

Top Topics

Behavioral Patterns

Machine Learning Models

Top Venues

Publications

Surajit Das, Hetang Patel, Chandan Karfa, Kartheek Bellamkonda, Rahul Reddy, Disha Puri, Anshul Jain, Arijit Sur, Pradip Prajapati
RTL Simulation Acceleration with Machine Learning Models. ISQED (2024)
Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie
Mechanical Certification of Loop Pipelining Transformations: A Preview. ITP (2014)
Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis. ACL2 (2014)