{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T12:48:49Z","timestamp":1770727729322,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":5,"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.3779561","type":"proceedings-article","created":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T21:17:35Z","timestamp":1770326255000},"page":"141-141","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Cloud-Native FPGA-Accelerated Framework and Methodology for Hardware Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-6172-8968","authenticated-orcid":false,"given":"Irfan","family":"Waheed","sequence":"first","affiliation":[{"name":"SilverLining EDA, Pflugerville, TX, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-3817-379X","authenticated-orcid":false,"given":"Wajahat","family":"Riaz","sequence":"additional","affiliation":[{"name":"SilverLining EDA, Lahore, Pakistan"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-4104-5241","authenticated-orcid":false,"given":"Babar","family":"Sohail","sequence":"additional","affiliation":[{"name":"SilverLining EDA, Lahore, Pakistan"}]}],"member":"320","published-online":{"date-parts":[[2026,2,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3543622.3573187"},{"key":"e_1_3_2_1_2_1","unstructured":"Harry Foster. 2021. Part 8: The 2020 Wilson Research Group Functional Verification Study. https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2021\/01\/06\/part-8-the-2020-wilson-research-group-functional-verification-study\/ Accessed: 2025-12-16."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620666.3651368"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICFPT58748.2023.00009"},{"key":"e_1_3_2_1_5_1","unstructured":"Benjamin Weber Irfan Waheed Umar Shah and Wajahat Riaz. 2024. Accelerated chip verification using AWS EC2 F1 and VeriFire. https:\/\/aws.amazon.com\/blogs\/industries\/awsec2fiandverifire\/ Accessed: 2025-12-16."}],"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:17:06Z","timestamp":1770653826000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3748173.3779561"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,21]]},"references-count":5,"alternative-id":["10.1145\/3748173.3779561","10.1145\/3748173"],"URL":"https:\/\/doi.org\/10.1145\/3748173.3779561","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"}}]}}