Raj Kumar Gajavelly

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 3

Top Topics

Reconstruction Process

Linear Transformation

Top Venues

Publications

Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee
Harnessing Multiple BMC Engines Together for Efficient Formal Verification. MEMOCODE (2023)
Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh
Input Elimination Transformations for Scalable Verification and Trace Reconstruction. FMCAD (2019)
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii
The art of semi-formal bug hunting. ICCAD (2016)
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman
Effective Liveness Verification Using a Transformation-Based Framework. VLSI Design (2014)