10 citations · 12 across the 3 of their papers we have counts for
4 papers
Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification
Vaisakh Naduvodi Viswambharan, Keerthan Kopparam Radhakrishna, Deepak Narayan Gadde +1
Recent advances in Large Language Models (LLMs) have enabled workflows that generate SystemVerilog Assertions (SVAs) from natural-language specifications, with the potential to acc…
Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
Aman Kumar, Deepak Narayan Gadde, Luu Danh Minh +3
Saarthi is an agentic AI framework that uses multi-agent collaboration to perform end-to-end formal verification. Even though the framework provides a complete flow from specificat…
Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
Hansa Mohanty, Vaisakh Naduvodi Viswambharan, Deepak Narayan Gadde
Formal verification of floating-point arithmetic remains challenging due to non-linear arithmetic behavior and the tight coupling between control and datapath logic. Existing appro…
Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification
Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Vaisakh Naduvodi Viswambharan +4
Modern Integrated Circuits (ICs) are becoming increasingly complex, and so is their development process. Hardware design verification entails a methodical and disciplined approach…