Raj Kumar Gajavelly

13 papers A 1B 2C 1Misc 4Journal 2Unranked 3

Year	Rank	Type	Title / 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