Sudhakar Surendran

According to our database, Sudhakar Surendran authored at least 11 papers between 2008 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

MPBMC: Multi-Property Bounded Model Checking with GNN-Guided Clustering.

Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran

Proceedings of the 39th International Conference on VLSI Design & 25th International Conference on Embedded Systems, 2026

SuperSAGA: A Supervisor-Subordinate Agentic workflow for the Generation of Assertions.

Subhajit Paul, Ansuman Banerjee, Sumana Ghosh, Sudhakar Surendran, Raj Kumar Gajavelly

Proceedings of the 31st Asia and South Pacific Design Automation Conference, 2026

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

Proceedings of the 38th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems, 2025

LISA: LLM Informed Systemverilog Assertion generation with RAG and Chain-of-Thought.

Subhajit Paul, Ansuman Banerjee, Sumana Ghosh, Sudhakar Surendran, Raj Kumar Gajavelly

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2025

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

2023

Analog Coverage-driven Selection of Simulation Corners for AMS Integrated Circuits.

Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian, Mohammad Moshiur Rahman

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits.

Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Sourav Das, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions.

Ayan Chakraborty, Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian

Proceedings of the 35th International Conference on VLSI Design and 2022 21st International Conference on Embedded Systems, 2022

2020

CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs.

Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian

Proceedings of the 33rd International Conference on VLSI Design and 19th International Conference on Embedded Systems, 2020

The Notion of Cross Coverage in AMS Design Verification.

Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2008

A systematic approach to synthesis of verification test-suites for modular SoC designs.

Sudhakar Surendran, Rubin A. Parekhji, R. Govindarajan

Proceedings of the 21st Annual IEEE International SoC Conference, SoCC 2008, 2008