We won the best paper award at the DVCon U.S. for our paper titled "Saarthi: The First AI Formal Verification Engineer". Second time in a row :) Thanks to my co-authors Deepak Gadde, Keerthan Kopparam Radhakrishna and Djones Lettnin. Special thanks to our shepherd, Peter G. and our session chair, Paul Marriott. #dvcon_us #GenAI #Saarthi #FormalVerification
Congratulations, one of the best lecturer in DVcon US 2025. Very impressive work we at www.thewavechat.com totally think AI agents for the VLSI design flow is the way to enable future high scale chip designs. Gadi Laufer ([email protected])
Aman Kumar Meh...!!!😏 Wanna go for a hat-trick??? 🙃
Great work, presentation and well-prepared slides. Aman congrats on your 2nd award in a row. If I count correctly. 👍
Congratulations! It was a great paper and session, plus it was an honour for me to be the chair, too!
Congratulations Aman! Very well deserved. You have won two years in a row now!
Well done Aman and entire team! We are so proud of you! 🙌🙌🙌
Congratulation Aman and team
Well done Aman and team! Congratulations
Congratulations Aman! Proud to be part of the team
Book author on SystemVerilog Assertions, Verilog/VHDL/design & verification processes
1wMy feedback on the paper "Saarthi: The First AI Formal Verification Engineer." 1. This work is highly interesting and promising, representing the future of the field. 2. The main challenge for Saarthi will be creating clear, accurate requirements that can be easily converted into simple SVA assertions without additional support logic. 3. Challenges in AI processing of complex requirements: o Humans typically express requirements in natural language (e.g., English), which has inherent nuances and ambiguities. o Text descriptions often lack crucial information needed for effective SVA. o Requirements can be lengthy, incorporating complex timing diagrams, mode tables, and conditional statements. o An Agentic Workflow with human involvement may be more effective. ...MORE in the reply