{"id":"https://openalex.org/W4407953513","doi":"https://doi.org/10.1145/3706628.3708866","title":"Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA Acceleration","display_name":"Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA Acceleration","publication_year":2025,"publication_date":"2025-02-26","ids":{"openalex":"https://openalex.org/W4407953513","doi":"https://doi.org/10.1145/3706628.3708866"},"language":"en","primary_location":{"id":"doi:10.1145/3706628.3708866","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3706628.3708866","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3706628.3708866","source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3706628.3708866","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084420767","display_name":"Shuoxiang Xu","orcid":"https://orcid.org/0000-0003-3185-3463"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuoxiang Xu","raw_affiliation_strings":["Institute of Computing, Chinese Academy of Sciences, Beijing, China, & ShanghaiTech University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-3185-3463","affiliations":[{"raw_affiliation_string":"Institute of Computing, Chinese Academy of Sciences, Beijing, China, & ShanghaiTech University, Shanghai, China","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040935530","display_name":"Zijian Jiang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zijian Jiang","raw_affiliation_strings":["State Key Lab of Processors, Institute of Computing, Chinese Academy of Sciences, Beijing, China, & University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0007-4600-1331","affiliations":[{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing, Chinese Academy of Sciences, Beijing, China, & University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yuxin Zhang","orcid":"https://orcid.org/0009-0007-7701-1188"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yuxin Zhang","raw_affiliation_strings":["Beijing Insititute of Open Source Chip, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0007-7701-1188","affiliations":[{"raw_affiliation_string":"Beijing Insititute of Open Source Chip, Beijing, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040792997","display_name":"David Boland","orcid":"https://orcid.org/0000-0001-5370-4464"},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"The University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"David Boland","raw_affiliation_strings":["The University of Sydney, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0001-5370-4464","affiliations":[{"raw_affiliation_string":"The University of Sydney, Sydney, Australia","institution_ids":["https://openalex.org/I129604602"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101807410","display_name":"Yungang Bao","orcid":"https://orcid.org/0000-0001-6565-5276"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yungang Bao","raw_affiliation_strings":["State Key Lab of Processors, Institute of Computing, Chinese Academy of Sciences, Beijing, China, & University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-6565-5276","affiliations":[{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing, Chinese Academy of Sciences, Beijing, China, & University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055045167","display_name":"Kan Shi","orcid":"https://orcid.org/0000-0002-8461-0820"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kan Shi","raw_affiliation_strings":["State Key Lab of Processors, Institute of Computing, Chinese Academy of Sciences, Beijing, China, & University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-8461-0820","affiliations":[{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing, Chinese Academy of Sciences, Beijing, China, & University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"56","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.8070670366287231},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7209123373031616},{"id":"https://openalex.org/keywords/acceleration","display_name":"Acceleration","score":0.7104886174201965},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.6030484437942505},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.41446414589881897},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09062749147415161}],"concepts":[{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.8070670366287231},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7209123373031616},{"id":"https://openalex.org/C117896860","wikidata":"https://www.wikidata.org/wiki/Q11376","display_name":"Acceleration","level":2,"score":0.7104886174201965},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.6030484437942505},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.41446414589881897},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09062749147415161},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3706628.3708866","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3706628.3708866","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3706628.3708866","source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3706628.3708866","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3706628.3708866","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3706628.3708866","source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4407953513.pdf"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W2094756095","https://openalex.org/W2116433835","https://openalex.org/W2133156997","https://openalex.org/W2134470641","https://openalex.org/W2294282016","https://openalex.org/W2294320930","https://openalex.org/W2542189141","https://openalex.org/W3004310455","https://openalex.org/W3007003693","https://openalex.org/W3008410827","https://openalex.org/W3013676662","https://openalex.org/W3130641740","https://openalex.org/W3132871189","https://openalex.org/W3173659812","https://openalex.org/W4224265992","https://openalex.org/W4238083723","https://openalex.org/W4319870528"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2111241003","https://openalex.org/W2096844293","https://openalex.org/W2363944576","https://openalex.org/W2612099726","https://openalex.org/W2351041855","https://openalex.org/W2570254841","https://openalex.org/W2160632767"],"abstract_inverted_index":{"High-Level":[0],"Synthesis":[1],"(HLS)":[2],"enables":[3],"software":[4],"engineers":[5],"to":[6,30,62,86],"create":[7],"intricate":[8],"digital":[9],"circuit":[10],"designs":[11,44],"using":[12,24,66],"high-level":[13],"languages":[14],"like":[15],"C/C++.":[16],"While":[17,58],"HLS":[18],"tools":[19],"can":[20,82],"perform":[21,63],"functional":[22],"verification":[23,65,80],"C/C++":[25],"simulation,":[26],"it":[27,59,84],"is":[28,36,41,60],"harder":[29,85],"verify":[31],"that":[32],"the":[33,88],"generated":[34],"RTL":[35],"also":[37],"correct.":[38],"This":[39],"problem":[40],"exacerbated":[42],"for":[43],"which":[45,81],"include":[46],"HLS-generated":[47],"IPs,":[48],"such":[49],"as":[50],"PCIe":[51],"or":[52,55],"DDR":[53],"interfaces,":[54],"hand-written":[56],"RTL.":[57],"possible":[61],"cycle-accurate":[64],"C/RTL":[67],"co-simulation,":[68],"conventional":[69],"methods":[70],"are":[71],"both":[72],"slow":[73],"and":[74],"typically":[75],"only":[76],"focus":[77],"on":[78],"unit-level":[79],"make":[83],"identify":[87],"root":[89],"cause":[90],"of":[91],"a":[92],"bug.":[93]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}