Sudhakar Surendran

12 papers A 1Misc 4Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
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
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
2023 A conf
Analog Coverage-driven Selection of Simulation Corners for AMS Integrated Circuits.
DATE
Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian, Mohammad Moshiur Rahman
2022 J jnl
The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Sourav Das, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
2022 Misc conf
Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions.
VLSID
Ayan Chakraborty, Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
2020 Misc conf
CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs.
VLSID
Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
2020 — conf
The Notion of Cross Coverage in AMS Design Verification.
ASP-DAC
Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
2008 — conf
A systematic approach to synthesis of verification test-suites for modular SoC designs.
SoCC
Sudhakar Surendran, Rubin A. Parekhji, R. Govindarajan