Raj Kumar Gajavelly

13 papers A 1B 2C 1Misc 4Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2026 Misc conf
LInC-BMC: A Lookahead Informed Clause Deletion Mechanism for Bounded Model Checking.
VLSID
Satyam Shubham, Sutirtha Bhattacharyya, Ansuman Banerjee, Raj Kumar Gajavelly
2026 Misc conf
MPBMC: Multi-Property Bounded Model Checking with GNN-Guided Clustering.
VLSID
Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2026 J jnl
MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering.
CoRR
Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2026 — conf
SuperSAGA: A Supervisor-Subordinate Agentic workflow for the Generation of Assertions.
ASP-DAC
Subhajit Paul, Ansuman Banerjee, Sumana Ghosh, Sudhakar Surendran, Raj Kumar Gajavelly
2025 Misc conf
BMC Engine Sequencing with Graph Neural Network Embeddings of Hardware Circuits.
VLSID
Soumik Guha Roy, Adriz Chanda, Prateek Ganguli, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2025 — conf
LISA: LLM Informed Systemverilog Assertion generation with RAG and Chain-of-Thought.
ISVLSI
Subhajit Paul, Ansuman Banerjee, Sumana Ghosh, Sudhakar Surendran, Raj Kumar Gajavelly
2025 — conf
New Branching Heuristics for Incremental Bounded Model Checking.
ISVLSI
Satyam Shubham, Sutirtha Bhattacharyya, Ansuman Banerjee, Raj Kumar Gajavelly
2024 J jnl
MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together.
ACM Trans. Design Autom. Electr. Syst.
Devleena Ghosh, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2024 B conf
Toward Exhaustive Sequential Redundancy Removal.
FMCAD
Rohit Dureja, Jason Baumgartner, Raj Kumar Gajavelly, Robert Kanzelman, Kristin Y. Rozier
2023 C conf
Harnessing Multiple BMC Engines Together for Efficient Formal Verification.
MEMOCODE
Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee
2019 B conf
Input Elimination Transformations for Scalable Verification and Trace Reconstruction.
FMCAD
Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh
2016 A conf
The art of semi-formal bug hunting.
ICCAD
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii
2014 Misc conf
Effective Liveness Verification Using a Transformation-Based Framework.
VLSID
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman