Effective Liveness Verification Using a Transformation-Based Framework. - Pradeep Kumar Nalla; Raj Kumar Gajavelly; Hari Mony; Jason Baumgartner; Robert Kanzelman (VLSID, 2014)

Word-Level Symbolic Trajectory Evaluation. - Supratik Chakraborty; Zurab Khasidashvili; Carl-Johan H. Seger; Rajkumar Gajavelly; Tanmay Haldankar; Dinesh Chhatani; Rakesh Mistry (CAV (2), 2015)

The art of semi-formal bug hunting. - Pradeep Kumar Nalla; Raj Kumar Gajavelly; Jason Baumgartner; Hari Mony; Robert Kanzelman; Alexander Ivrii (ICCAD, 2016)

Symbolic trajectory evaluation for word-level verification: theory and implementation. - Supratik Chakraborty; Zurab Khasidashvili; Carl-Johan H. Seger; Rajkumar Gajavelly; Tanmay Haldankar; Dinesh Chhatani; Rakesh Mistry (Formal Methods Syst. Des., 2017)

Input Elimination Transformations for Scalable Verification and Trace Reconstruction. - Raj Kumar Gajavelly; Jason Baumgartner; Alexander Ivrii; Robert L. Kanzelman; Shiladitya Ghosh (FMCAD, 2019)

Harnessing Multiple BMC Engines Together for Efficient Formal Verification. - Devleena Ghosh; Sumana Ghosh; Raj Kumar Gajavelly; Ansuman Banerjee (MEMOCODE, 2023)

Toward Exhaustive Sequential Redundancy Removal. - Rohit Dureja; Jason Baumgartner; Raj Kumar Gajavelly; Robert Kanzelman; Kristin Y. Rozier (FMCAD, 2024)

MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together. - Devleena Ghosh; Sumana Ghosh; Ansuman Banerjee; Raj Kumar Gajavelly; Sudhakar Surendran (ACM Trans. Design Autom. Electr. Syst., 2024)

LISA: LLM Informed Systemverilog Assertion generation with RAG and Chain-of-Thought. - Subhajit Paul; Ansuman Banerjee; Sumana Ghosh; Sudhakar Surendran; Raj Kumar Gajavelly (ISVLSI, 2025)

New Branching Heuristics for Incremental Bounded Model Checking. - Satyam Shubham; Sutirtha Bhattacharyya; Ansuman Banerjee; Raj Kumar Gajavelly (ISVLSI, 2025)

BMC Engine Sequencing with Graph Neural Network Embeddings of Hardware Circuits. - Soumik Guha Roy; Adriz Chanda; Prateek Ganguli; Sumana Ghosh; Ansuman Banerjee; Raj Kumar Gajavelly; Sudhakar Surendran (VLSID, 2025)