{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T15:01:25Z","timestamp":1771340485500,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T00:00:00Z","timestamp":1756080000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T00:00:00Z","timestamp":1756080000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,8,25]]},"DOI":"10.1109\/sbcci66862.2025.11218681","type":"proceedings-article","created":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T17:10:05Z","timestamp":1761930605000},"page":"1-5","source":"Crossref","is-referenced-by-count":3,"title":["Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design &amp; Verification"],"prefix":"10.1109","author":[{"given":"Deepak Narayan","family":"Gadde","sequence":"first","affiliation":[{"name":"Infineon Technologies Dresden GmbH &#x0026; Co. KG,Germany"}]},{"given":"Keerthan Kopparam","family":"Radhakrishna","sequence":"additional","affiliation":[{"name":"Infineon Technologies Dresden GmbH &#x0026; Co. KG,Germany"}]},{"given":"Vaisakh Naduvodi","family":"Viswambharan","sequence":"additional","affiliation":[{"name":"Infineon Technologies Dresden GmbH &#x0026; Co. KG,Germany"}]},{"given":"Aman","family":"Kumar","sequence":"additional","affiliation":[{"name":"Infineon Technologies India Pvt. Ltd,India"}]},{"given":"Djones","family":"Lettnin","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG,Germany"}]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[{"name":"Rheinland-Pf&#x00E4;lzische Technische Universit&#x00E4;t Kaiserslautern-Landau,Germany"}]},{"given":"Sebastian","family":"Simon","sequence":"additional","affiliation":[{"name":"Infineon Technologies Dresden GmbH &#x0026; Co. KG,Germany"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Wilson Research Group IC\/ASIC functional verification trend report, Siemens Blog","author":"Foster","year":"2024"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3390\/electronics14010120"},{"key":"ref3","article-title":"AIvril: AI-Driven RTL Generation With Verification In-The-Loop","author":"ul Islam","year":"2024","journal-title":"arXiv"},{"key":"ref4","article-title":"Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction","author":"Huang","year":"2024","journal-title":"arXiv"},{"key":"ref5","article-title":"LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation","author":"Zhang","year":"2023","journal-title":"arXiv"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/DATE58400.2024.10546707"},{"key":"ref7","article-title":"AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs","author":"Fang","year":"2024","journal-title":"arXiv"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI61997.2024.00077"},{"key":"ref9","volume-title":"All artificial, less intelligence: Genai through the lens of formal verification","author":"Gadde","year":"2024"},{"key":"ref10","volume-title":"A Survey on LLM-based Multi-Agent System: Recent Advances and New Frontiers in Application","author":"Chen","year":"2025"},{"key":"ref11","volume-title":"Advancing agentic systems: Dynamic task decomposition, tool integration and evaluation using novel metrics and dataset","author":"Jeyakumar","year":"2024"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/fllm63129.2024.10852426"},{"key":"ref13","volume-title":"Aieda: Agentic ai design framework for digital asic system design","author":"Patra","year":"2024"},{"key":"ref14","volume-title":"Synopsys, SpyGlass Lint"},{"key":"ref15","volume-title":"Cadence, Cadence Jasper"},{"key":"ref16","year":"2024","journal-title":"CrewAI-Cutting-edge framework for orchestrating role-playing AI agents"},{"key":"ref17","year":"2024","journal-title":"AutoGen: Framework for Multi-Agent Systems"},{"key":"ref18","year":"2024","journal-title":"Multi-Actor Applications"},{"key":"ref19","volume-title":"OpenAI, Chatgpt-4o","year":"2025"},{"key":"ref20","volume-title":"Meta, Llama","year":"2025"},{"key":"ref21","volume-title":"OpenCores, Open Source IP-Cores","year":"2025"},{"key":"ref22","article-title":"Revisiting VerilogEval: Newer LLMs","author":"Pinckney","year":"2024","journal-title":"In-Context Learning, and Specification-to-RTL Tasks, arXiv"}],"event":{"name":"2025 38th SBC\/SBMicro\/IEEE Symposium on Integrated Circuits and Systems Design (SBCCI)","location":"Manaus, Brazil","start":{"date-parts":[[2025,8,25]]},"end":{"date-parts":[[2025,9,1]]}},"container-title":["2025 38th SBC\/SBMicro\/IEEE Symposium on Integrated Circuits and Systems Design (SBCCI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11218269\/11218272\/11218681.pdf?arnumber=11218681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:13:32Z","timestamp":1761977612000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11218681\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,25]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/sbcci66862.2025.11218681","relation":{},"subject":[],"published":{"date-parts":[[2025,8,25]]}}}