{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T16:58:46Z","timestamp":1781974726292,"version":"3.54.5"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T00:00:00Z","timestamp":1719878400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T00:00:00Z","timestamp":1719878400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002701","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002701","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,7,2]]},"DOI":"10.1109\/smacd61181.2024.10745410","type":"proceedings-article","created":{"date-parts":[[2024,11,11]],"date-time":"2024-11-11T18:37:50Z","timestamp":1731350270000},"page":"1-4","source":"Crossref","is-referenced-by-count":7,"title":["Efficient Stimuli Generation using Reinforcement Learning in Design Verification"],"prefix":"10.1109","author":[{"given":"Deepak Narayan","family":"Gadde","sequence":"first","affiliation":[{"name":"Infineon Technologies Dresden GmbH & Co. KG,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Nalapat","sequence":"additional","affiliation":[{"name":"Infineon Technologies Dresden GmbH & Co. KG,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aman","family":"Kumar","sequence":"additional","affiliation":[{"name":"Infineon Technologies Dresden GmbH & Co. KG,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Djones","family":"Lettnin","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[{"name":"Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Simon","sequence":"additional","affiliation":[{"name":"Infineon Technologies Dresden GmbH & Co. KG,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Wilson Research Group and Siemens EDA, 2022 Functional Verification Study","volume-title":"Siemens EDA","author":"Foster","year":"2022"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59418-7"},{"key":"ref3","article-title":"A Survey of Machine Learning Applications in Functional Verification","author":"Yu","year":"2023","journal-title":"DVCon US"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3390\/electronics10212688"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3390\/mi13111887"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/tnn.1998.712192"},{"key":"ref7","article-title":"A new approach for generating view generators","author":"Schreiner","year":"2017","journal-title":"DVCon US"},{"key":"ref8","volume-title":"Mako Templates for Python"},{"key":"ref9","article-title":"Optimizing Design Verification using Machine Learning: Doing better than Random","author":"Hughes","year":"2019","journal-title":"arXiv"},{"key":"ref10","article-title":"Optimising Design Verification Using Machine Learning: An Open Source Solution","author":"Varambally","year":"2020","journal-title":"arXiv"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/AITest58265.2023.00026"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/icm52667.2021.9664930"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3233\/JIFS-232132"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ETS56758.2023.10174129"},{"key":"ref15","article-title":"Closing Functional Coverage With Deep Reinforcement Learning: A Compression Encoder Example","author":"Ohana","year":"2023"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SMC42975.2020.9282929"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586282"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3486001.3486236"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116198"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247936"},{"key":"ref21","article-title":"Stable-Baselines3: Reliable Reinforcement Learning Implementations","author":"Raffin","year":"2021","journal-title":"Journal of Machine Learning Research"},{"key":"ref22","article-title":"How to connect SystemVerilog with Python","author":"Bob","year":"2019"},{"key":"ref23","volume-title":"OpenAI Gym","author":"Brockman","year":"2016"},{"key":"ref24","article-title":"A Comparison of Higher-Level Hardware Description Languages for RTL-Design","volume-title":"M.S. thesis","author":"Rashinkar","year":"2023"},{"key":"ref25","volume-title":"OpenCores"}],"event":{"name":"2024 20th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)","location":"Volos, Greece","start":{"date-parts":[[2024,7,2]]},"end":{"date-parts":[[2024,7,5]]}},"container-title":["2024 20th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10745284\/10745377\/10745410.pdf?arnumber=10745410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T13:57:34Z","timestamp":1732715854000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10745410\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,2]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/smacd61181.2024.10745410","relation":{},"subject":[],"published":{"date-parts":[[2024,7,2]]}}}