3 papers
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…
Saarthi: The First AI Formal Verification Engineer
Aman Kumar, Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna +1
Recently, Devin has made a significant buzz in the Artificial Intelligence (AI) community as the world's first fully autonomous AI software engineer, capable of independently devel…
Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach
Suruchi Kumari, Deepak Narayan Gadde, Aman Kumar
The escalating complexity of System-on-Chip (SoC) designs has created a bottleneck in verification, with traditional techniques struggling to achieve complete coverage. Existing te…