{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:39Z","timestamp":1750309359788,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,5]],"date-time":"2024-07-05T00:00:00Z","timestamp":1720137600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,5]]},"DOI":"10.1145\/3674399.3674482","type":"proceedings-article","created":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T22:26:48Z","timestamp":1722378408000},"page":"236-238","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Make Each Iteration Count"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-4169-602X","authenticated-orcid":false,"given":"Yuchen","family":"Hu","sequence":"first","affiliation":[{"name":"Southeast University, CN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-8312-4782","authenticated-orcid":false,"given":"Ke","family":"Xu","sequence":"additional","affiliation":[{"name":"Southeast University, CN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-1579-7905","authenticated-orcid":false,"given":"Jialin","family":"Sun","sequence":"additional","affiliation":[{"name":"Southeast University, CN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3630-2249","authenticated-orcid":false,"given":"Xinwei","family":"Fang","sequence":"additional","affiliation":[{"name":"University of York, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5520-1326","authenticated-orcid":false,"given":"Weiwei","family":"Shan","sequence":"additional","affiliation":[{"name":"Southeast University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1998-6733","authenticated-orcid":false,"given":"Xi","family":"Wang","sequence":"additional","affiliation":[{"name":"Southeast University, CN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8509-3167","authenticated-orcid":false,"given":"Zhe","family":"Jiang","sequence":"additional","affiliation":[{"name":"Southeast University, CN"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS. arXiv preprint arXiv:2402.03289","author":"Matthew","year":"2024","unstructured":"Matthew DeLorenzo 2024. Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS. arXiv preprint arXiv:2402.03289 (2024)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620666.3651346"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323812"},{"key":"e_1_3_2_1_4_1","volume-title":"RTLFixer: Automatically Fixing RTL Syntax Errors with Large Language Models. arXiv preprint arXiv:2311.16543","author":"YunDa","year":"2023","unstructured":"YunDa Tsai 2023. RTLFixer: Automatically Fixing RTL Syntax Errors with Large Language Models. arXiv preprint arXiv:2311.16543 (2023)."},{"key":"e_1_3_2_1_5_1","volume-title":"DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis","author":"Ran Wei","year":"2023","unstructured":"Ran Wei 2023. DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023)."},{"key":"e_1_3_2_1_6_1","volume-title":"HDLdebugger: Streamlining HDL debugging with Large Language Models. arXiv preprint arXiv:2403.11671","author":"Xufeng Yao","year":"2024","unstructured":"Xufeng Yao 2024. HDLdebugger: Streamlining HDL debugging with Large Language Models. arXiv preprint arXiv:2403.11671 (2024)."},{"key":"e_1_3_2_1_7_1","volume-title":"Siren\u2019s song in the ai ocean: A survey on hallucination in large language models. arXiv preprint arXiv:2309.01219","author":"Yue Zhang","year":"2023","unstructured":"Yue Zhang 2023. Siren\u2019s song in the ai ocean: A survey on hallucination in large language models. arXiv preprint arXiv:2309.01219 (2023)."}],"event":{"name":"ACM-TURC '24: ACM Turing Award Celebration Conference 2024","acronym":"ACM-TURC '24","location":"Changsha China"},"container-title":["ACM Turing Award Celebration Conference 2024"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3674399.3674482","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3674399.3674482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:05:58Z","timestamp":1750291558000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3674399.3674482"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,5]]},"references-count":7,"alternative-id":["10.1145\/3674399.3674482","10.1145\/3674399"],"URL":"https:\/\/doi.org\/10.1145\/3674399.3674482","relation":{},"subject":[],"published":{"date-parts":[[2024,7,5]]},"assertion":[{"value":"2024-07-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}