{"id":"https://openalex.org/W4417043394","doi":"https://doi.org/10.1145/3779445","title":"FuncGNN: Learning Functional Semantics of Logic Circuits with Graph Neural Networks","display_name":"FuncGNN: Learning Functional Semantics of Logic Circuits with Graph Neural Networks","publication_year":2025,"publication_date":"2025-12-05","ids":{"openalex":"https://openalex.org/W4417043394","doi":"https://doi.org/10.1145/3779445"},"language":"en","primary_location":{"id":"doi:10.1145/3779445","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3779445","pdf_url":null,"source":{"id":"https://openalex.org/S112809824","display_name":"ACM Transactions on Reconfigurable Technology and Systems","issn_l":"1936-7406","issn":["1936-7406","1936-7414"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Reconfigurable Technology and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084740636","display_name":"Qiyun Zhao","orcid":"https://orcid.org/0009-0008-6698-8791"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiyun Zhao","raw_affiliation_strings":["Dalian Maritime University, Dalian, China","Dalian Maritime University, China"],"raw_orcid":"https://orcid.org/0009-0008-6698-8791","affiliations":[{"raw_affiliation_string":"Dalian Maritime University, Dalian, China","institution_ids":["https://openalex.org/I43313876"]},{"raw_affiliation_string":"Dalian Maritime University, China","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018071549","display_name":"Shikai Guo","orcid":"https://orcid.org/0000-0002-8554-6365"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shikai Guo","raw_affiliation_strings":["Dalian Maritime University, Dalian, China","Dalian Maritime University, China"],"raw_orcid":"https://orcid.org/0000-0002-8554-6365","affiliations":[{"raw_affiliation_string":"Dalian Maritime University, Dalian, China","institution_ids":["https://openalex.org/I43313876"]},{"raw_affiliation_string":"Dalian Maritime University, China","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Wen Zhao","orcid":"https://orcid.org/0009-0002-9728-3950"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wen Zhao","raw_affiliation_strings":["Dalian Maritime University, Dalian, China","Dalian Maritime University, China"],"raw_orcid":"https://orcid.org/0009-0002-9728-3950","affiliations":[{"raw_affiliation_string":"Dalian Maritime University, Dalian, China","institution_ids":["https://openalex.org/I43313876"]},{"raw_affiliation_string":"Dalian Maritime University, China","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Ning Wang","orcid":"https://orcid.org/0009-0004-3535-9758"},"institutions":[{"id":"https://openalex.org/I4210157586","display_name":"Chengdu Tiger Microwave Technology (China)","ror":"https://ror.org/04yr0q610","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210157586"]},{"id":"https://openalex.org/I77566578","display_name":"United Microelectronics (United States)","ror":"https://ror.org/00vrhw316","country_code":"US","type":"company","lineage":["https://openalex.org/I4210161555","https://openalex.org/I77566578"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Ning Wang","raw_affiliation_strings":["Chengdu Sino Microelectronics System Co. Ltd., Chengdu, China","Chengdu Sino Microelectronics System Co.Ltd., China"],"raw_orcid":"https://orcid.org/0009-0004-3535-9758","affiliations":[{"raw_affiliation_string":"Chengdu Sino Microelectronics System Co. Ltd., Chengdu, China","institution_ids":["https://openalex.org/I4210157586"]},{"raw_affiliation_string":"Chengdu Sino Microelectronics System Co.Ltd., China","institution_ids":["https://openalex.org/I77566578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100328758","display_name":"Xiaochen Li","orcid":"https://orcid.org/0000-0002-5068-1938"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaochen Li","raw_affiliation_strings":["Dalian University of Technology, Dalian, China","Dalian University of Technology, China"],"raw_orcid":"https://orcid.org/0000-0002-5068-1938","affiliations":[{"raw_affiliation_string":"Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"Dalian University of Technology, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002119636","display_name":"He Jiang","orcid":"https://orcid.org/0000-0001-8674-4948"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He Jiang","raw_affiliation_strings":["Dalian University of Technology, Dalian, China","Dalian University of Technology, China"],"raw_orcid":"https://orcid.org/0000-0001-8674-4948","affiliations":[{"raw_affiliation_string":"Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"Dalian University of Technology, China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.32240466,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"19","issue":"2","first_page":"1","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.4392000138759613,"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"}},"topics":[{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.4392000138759613,"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"}},{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.08799999952316284,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.07850000262260437,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.44200000166893005},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.4189999997615814},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.41749998927116394},{"id":"https://openalex.org/keywords/computational-logic","display_name":"Computational logic","score":0.3801000118255615},{"id":"https://openalex.org/keywords/logic-optimization","display_name":"Logic optimization","score":0.3767000138759613},{"id":"https://openalex.org/keywords/register-transfer-level","display_name":"Register-transfer level","score":0.36910000443458557},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.34610000252723694},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3458000123500824},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.313400000333786}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8370000123977661},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5512999892234802},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.44200000166893005},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.4189999997615814},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.41749998927116394},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.3801000118255615},{"id":"https://openalex.org/C28449271","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Logic optimization","level":4,"score":0.3767000138759613},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3756999969482422},{"id":"https://openalex.org/C34854456","wikidata":"https://www.wikidata.org/wiki/Q1484552","display_name":"Register-transfer level","level":4,"score":0.36910000443458557},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.34610000252723694},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3458000123500824},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3343999981880188},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.313400000333786},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.31049999594688416},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.3012000024318695},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.30079999566078186},{"id":"https://openalex.org/C10418432","wikidata":"https://www.wikidata.org/wiki/Q560370","display_name":"AND gate","level":3,"score":0.295199990272522},{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.29499998688697815},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.28299999237060547},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.2791999876499176},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2741999924182892},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2718999981880188},{"id":"https://openalex.org/C73555534","wikidata":"https://www.wikidata.org/wiki/Q622825","display_name":"Cluster analysis","level":2,"score":0.267300009727478},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.2556000053882599},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25209999084472656},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3779445","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3779445","pdf_url":null,"source":{"id":"https://openalex.org/S112809824","display_name":"ACM Transactions on Reconfigurable Technology and Systems","issn_l":"1936-7406","issn":["1936-7406","1936-7414"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Reconfigurable Technology and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1847967853","display_name":null,"funder_award_id":"2024JJ12GX022","funder_id":"https://openalex.org/F4320336584","funder_display_name":"Dalian Science and Technology Innovation Fund"},{"id":"https://openalex.org/G7057582825","display_name":null,"funder_award_id":"No. 62472062, No. 62202079","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7101281488","display_name":null,"funder_award_id":"3132025265","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null},{"id":"https://openalex.org/F4320336584","display_name":"Dalian Science and Technology Innovation Fund","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1528837436","https://openalex.org/W2123594341","https://openalex.org/W2760103357","https://openalex.org/W2990045899","https://openalex.org/W3169517138","https://openalex.org/W3210573375","https://openalex.org/W4200383047","https://openalex.org/W4293107948","https://openalex.org/W4386764162","https://openalex.org/W4404134032","https://openalex.org/W4404650601"],"related_works":[],"abstract_inverted_index":{"As":[0],"integrated":[1],"circuit":[2,10,70,96],"scale":[3],"grows":[4],"and":[5,18,32,49,58,93,128,147,162,172],"design":[6,24],"complexity":[7,48],"rises,":[8],"effective":[9],"representation":[11],"helps":[12],"support":[13],"logic":[14,41,60,95,134],"synthesis,":[15],"formal":[16],"verification,":[17],"other":[19],"automated":[20],"processes":[21],"in":[22,42,63],"electronic":[23],"automation.":[25],"And-Inverter":[26],"Graphs":[27],"(AIGs),":[28],"as":[29],"a":[30],"compact":[31],"canonical":[33],"structure,":[34],"are":[35],"widely":[36],"adopted":[37],"for":[38,132],"representing":[39],"Boolean":[40],"these":[43,74],"workflows.":[44],"However,":[45],"the":[46],"increasing":[47],"integration":[50,118],"density":[51],"of":[52,160],"modern":[53],"circuits":[54],"introduce":[55],"structural":[56,91,112],"heterogeneity":[57,92],"global":[59,129],"information":[61,131],"loss":[62],"AIGs,":[64],"posing":[65],"significant":[66],"challenges":[67],"to":[68,84,105,111,119],"accurate":[69],"modeling.":[71],"To":[72],"address":[73],"issues,":[75],"we":[76],"propose":[77],"FuncGNN,":[78],"which":[79],"integrates":[80],"hybrid":[81],"feature":[82],"aggregation":[83],"extract":[85],"multi-granularity":[86],"topological":[87],"patterns,":[88],"thereby":[89],"mitigating":[90],"enhancing":[94],"representations.":[97,135],"FuncGNN":[98,115,153],"further":[99],"introduces":[100],"gate-aware":[101],"normalization":[102],"that":[103,152],"adapts":[104],"circuit-specific":[106],"gate":[107],"distributions,":[108],"improving":[109],"robustness":[110],"heterogeneity.":[113],"Finally,":[114],"employs":[116],"multi-layer":[117],"merge":[120],"intermediate":[121],"features":[122],"across":[123],"layers,":[124],"effectively":[125],"synthesizing":[126],"local":[127],"semantic":[130],"comprehensive":[133],"Experimental":[136],"results":[137],"on":[138],"two":[139],"logic-level":[140],"analysis":[141],"tasks":[142],"(i.e.,":[143],"signal":[144],"probability":[145],"prediction":[146],"truth-table":[148],"distance":[149],"prediction)":[150],"demonstrate":[151],"outperforms":[154],"existing":[155],"state-of-the-art":[156],"methods,":[157],"achieving":[158],"improvements":[159],"2.06%":[161],"18.71%,":[163],"respectively,":[164],"while":[165],"reducing":[166],"training":[167],"time":[168],"by":[169,176],"approximately":[170],"50.6%":[171],"GPU":[173],"memory":[174],"usage":[175],"about":[177],"32.8%.":[178],"The":[179],"code":[180],"is":[181],"available":[182],"at":[183],"https://github.com/Vandbs/FuncGNN":[184],".":[185]},"counts_by_year":[],"updated_date":"2026-05-28T06:12:49.907903","created_date":"2025-12-05T00:00:00"}