{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T12:45:06Z","timestamp":1770727506166,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,2,22]]},"DOI":"10.1145\/3748173.3779205","type":"proceedings-article","created":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T21:17:35Z","timestamp":1770326255000},"page":"169-178","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["AI-Assisted Copilot Automation for Reliable FPGA Verification at Hyperscale"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-4029-037X","authenticated-orcid":false,"given":"Linh","family":"Nguyen","sequence":"first","affiliation":[{"name":"Microsoft Corporation, Mountain View, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8230-9194","authenticated-orcid":false,"given":"Nguyen","family":"Le","sequence":"additional","affiliation":[{"name":"Microsoft Corporation, Mountain View, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4945-5258","authenticated-orcid":false,"given":"Tony-Dat","family":"Tran","sequence":"additional","affiliation":[{"name":"Microsoft Corporation, Mountain View, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-4816-2495","authenticated-orcid":false,"given":"Jagannath Panduranga","family":"Rao","sequence":"additional","affiliation":[{"name":"Microsoft Corporation, Mountain View, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5241-5695","authenticated-orcid":false,"given":"Andrew","family":"Putnam","sequence":"additional","affiliation":[{"name":"Microsoft Corporation, Redmond, Washington, USA"}]}],"member":"320","published-online":{"date-parts":[[2026,2,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"13","volume-title":"Doug Burger. A Reconfigurable Fabric for Accelerating Large-scale Datacenter Services. In Proceeding of the 41st Annual International Symposium on Computer Architecuture, ISCA'14","author":"Putnam Andrew","year":"2014","unstructured":"Andrew Putnam, Adrian M. Caulfield, Eric S. Chung, Derek Chiou, Kypros Constantinides, John Demme, Hadi Esmaeilzadeh, Jeremy Fowers, Gopi Prashanth Gopal, Jan Gray, Michael Haselman, Scott Hauck, Stephen Heil, Amir Hormati, Joo-Young Kim, Sitaram Lanka, James Larus, Eric Peterson, Simon Pope, Aaron Smith, Jason Thong, Phillip Yi Xiao, and Doug Burger. A Reconfigurable Fabric for Accelerating Large-scale Datacenter Services. In Proceeding of the 41st Annual International Symposium on Computer Architecuture, ISCA'14, pages 13-24, Piscataway, NJ, USA, 2014. IEEE Press."},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"Doug Burger. A Cloud-Scale Acceleration Architecture. In 49th Annual IEEE\/ACM International Symposium on Microarchitecture, MICRO 2016","author":"Caulfield Adrian M.","year":"2016","unstructured":"Adrian M. Caulfield, Eric S. Chung, Andrew Putnam, Hari Angepat, Jeremy Fowers, Michael Haselman, Stephen Heil, Matt Humphrey, Puneet Kaur, Joo- Young Kim, Daniel Lo, Todd Massengill, Kalin Ovtcharov, Michael Papamichael, Lisa Woods, Sitaram Lanka, Derek Chiou, and Doug Burger. A Cloud-Scale Acceleration Architecture. In 49th Annual IEEE\/ACM International Symposium on Microarchitecture, MICRO 2016, Taipei, Taiwan, October 15-19, 2016, pages 1-13, 2016."},{"key":"e_1_3_2_1_3_1","volume-title":"The impact of ai on developer productivity: Evidence from github copilot. arXiv preprint arXiv:2302.06590","author":"Peng Sida","year":"2023","unstructured":"Sida Peng, Eirini Kalliamvakou, Peter Cihon, and Mert Demirer. The impact of ai on developer productivity: Evidence from github copilot. arXiv preprint arXiv:2302.06590, 2023."},{"key":"e_1_3_2_1_4_1","volume-title":"January","author":"Siemens","year":"2025","unstructured":"Siemens EDA. Questa\u00ae connectcheck user guide, January 2025. Document Revision 1."},{"key":"e_1_3_2_1_5_1","volume-title":"January","author":"Siemens","year":"2025","unstructured":"Siemens EDA. Questa\u00ae onespin connectivity explorer, January 2025."},{"key":"e_1_3_2_1_6_1","volume-title":"Jasper conn app. https:\/\/www.cadence.com\/en_US\/home\/tools\/system-design-and-verification\/formal-and-staticverification\/jasper-verification-platform\/connectivity-verification-app.html","author":"Systems Cadence Design","year":"2025","unstructured":"Cadence Design Systems. Jasper conn app. https:\/\/www.cadence.com\/en_US\/home\/tools\/system-design-and-verification\/formal-and-staticverification\/jasper-verification-platform\/connectivity-verification-app.html, 2025."},{"key":"e_1_3_2_1_7_1","volume-title":"Ital-IA 2024 - National Conference on Artificial Intelligence","author":"Benetti Alessandro","year":"2024","unstructured":"Alessandro Benetti and Michele Filannino. Github copilot: A systematic study. In Ital-IA 2024 - National Conference on Artificial Intelligence, 2024."},{"issue":"2","key":"e_1_3_2_1_8_1","first-page":"0009","volume":"2025","author":"Elnashar Ashraf","year":"2025","unstructured":"Ashraf Elnashar, Jules White, and Douglas C. Schmidt. Prompt engineering for structured data: a comparative evaluation of styles and llm performance. Artificial Intelligence and Autonomous Systems, 2025(2):0009, 2025.","journal-title":"Artificial Intelligence and Autonomous Systems"},{"key":"e_1_3_2_1_9_1","volume-title":"Enforcing json outputs in commercial llms. https:\/\/towardsdatascience.com\/enforcing-json-outputs-in-commercialllms-3db590b9b3c8","author":"Kharitonov Daniel","year":"2024","unstructured":"Daniel Kharitonov. Enforcing json outputs in commercial llms. https:\/\/towardsdatascience.com\/enforcing-json-outputs-in-commercialllms-3db590b9b3c8, 2024."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 61st Design Automation Conference (DAC)","author":"Nguyen Linh","year":"2024","unstructured":"Linh Nguyen, Benjamin Ting, Nguyen Le, Jin Hou, Rahul Seth, and Sasa Stamenkovic. Rapid retargeting of formal connectivity verification of ai fpga systems. In Proceedings of the 61st Design Automation Conference (DAC), San Francisco, CA, USA, June 2024."},{"key":"e_1_3_2_1_11_1","volume-title":"September","author":"Gadde Deepak Narayan","year":"2025","unstructured":"Deepak Narayan Gadde, Sebastian Simon, and Wolfgang Kunz. Hardware design and verification with large language models: A scoping review, challenges, and open issues. arXiv preprint arXiv:2509.01363, September 2025."}],"event":{"name":"FPGA '26:The 2026 ACM\/SIGDA International Symposium on Field Programmable Gate Arrays","location":"Seaside CA USA","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the 2026 ACM\/SIGDA International Symposium on Field Programmable Gate Arrays"],"original-title":[],"deposited":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T16:16:36Z","timestamp":1770653796000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3748173.3779205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,21]]},"references-count":11,"alternative-id":["10.1145\/3748173.3779205","10.1145\/3748173"],"URL":"https:\/\/doi.org\/10.1145\/3748173.3779205","relation":{},"subject":[],"published":{"date-parts":[[2026,2,21]]},"assertion":[{"value":"2026-02-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}