{"id":"https://openalex.org/W4389162446","doi":"https://doi.org/10.1109/iccad57390.2023.10323906","title":"WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits","display_name":"WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits","publication_year":2023,"publication_date":"2023-10-28","ids":{"openalex":"https://openalex.org/W4389162446","doi":"https://doi.org/10.1109/iccad57390.2023.10323906"},"language":"en","primary_location":{"id":"doi:10.1109/iccad57390.2023.10323906","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iccad57390.2023.10323906","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD)","raw_type":"proceedings-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/A5062795504","display_name":"Kuo-Wei Ho","orcid":null},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Kuo-Wei Ho","raw_affiliation_strings":["Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan","Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan","institution_ids":["https://openalex.org/I16733864"]},{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062873563","display_name":"S.-Y. Chung","orcid":"https://orcid.org/0009-0001-0273-0950"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Shao-Ting Chung","raw_affiliation_strings":["Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan","Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan","institution_ids":["https://openalex.org/I16733864"]},{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081905338","display_name":"Tian-Fu Chen","orcid":"https://orcid.org/0009-0003-5947-6206"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Tian-Fu Chen","raw_affiliation_strings":["Graduate School of Advanced Technology, National Taiwan University,Taipei,Taiwan","Graduate School of Advanced Technology, National Taiwan University, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Advanced Technology, National Taiwan University,Taipei,Taiwan","institution_ids":["https://openalex.org/I16733864"]},{"raw_affiliation_string":"Graduate School of Advanced Technology, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100346640","display_name":"Yuwei Fan","orcid":"https://orcid.org/0009-0004-3379-2371"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yu-Wei Fan","raw_affiliation_strings":["Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan","Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan","institution_ids":["https://openalex.org/I16733864"]},{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101735253","display_name":"Cheng Che","orcid":"https://orcid.org/0000-0002-6231-1862"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Che Cheng","raw_affiliation_strings":["Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan","Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan","institution_ids":["https://openalex.org/I16733864"]},{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045460083","display_name":"Cheng-Han Liu","orcid":"https://orcid.org/0000-0003-0429-6892"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Cheng-Han Liu","raw_affiliation_strings":["Graduate School of Advanced Technology, National Taiwan University,Taipei,Taiwan","Graduate School of Advanced Technology, National Taiwan University, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Advanced Technology, National Taiwan University,Taipei,Taiwan","institution_ids":["https://openalex.org/I16733864"]},{"raw_affiliation_string":"Graduate School of Advanced Technology, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078604015","display_name":"Jie-Hong R. Jiang","orcid":"https://orcid.org/0000-0002-2279-4732"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Jie-Hong R. Jiang","raw_affiliation_strings":["Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan","Graduate School of Advanced Technology, National Taiwan University, Taipei, Taiwan","Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan","Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University,Taipei,Taiwan","institution_ids":["https://openalex.org/I16733864"]},{"raw_affiliation_string":"Graduate School of Advanced Technology, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]},{"raw_affiliation_string":"Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]},{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"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.17749049,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9965000152587891,"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/T12495","display_name":"Electrostatic Discharge in Electronics","score":0.9621999859809875,"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/word","display_name":"Word (group theory)","score":0.7083814144134521},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6802763342857361},{"id":"https://openalex.org/keywords/contest","display_name":"CONTEST","score":0.6687264442443848},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.5963475108146667},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5295867323875427},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5196067690849304},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4512813985347748},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3960743248462677},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3786596655845642},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3727312684059143},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.25672876834869385},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10729193687438965}],"concepts":[{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.7083814144134521},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6802763342857361},{"id":"https://openalex.org/C2777582232","wikidata":"https://www.wikidata.org/wiki/Q5013414","display_name":"CONTEST","level":2,"score":0.6687264442443848},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.5963475108146667},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5295867323875427},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5196067690849304},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4512813985347748},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3960743248462677},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3786596655845642},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3727312684059143},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25672876834869385},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10729193687438965},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad57390.2023.10323906","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iccad57390.2023.10323906","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W658439742","https://openalex.org/W1967487725","https://openalex.org/W1992544076","https://openalex.org/W2026182761","https://openalex.org/W2045818632","https://openalex.org/W2099101940","https://openalex.org/W2329849566","https://openalex.org/W2336864643","https://openalex.org/W2511380445","https://openalex.org/W2515967056","https://openalex.org/W2750884072","https://openalex.org/W2910230154","https://openalex.org/W2946097251","https://openalex.org/W3099525000","https://openalex.org/W3101699553","https://openalex.org/W3117137355","https://openalex.org/W3165204519","https://openalex.org/W3179822130","https://openalex.org/W4200088851","https://openalex.org/W4256548512","https://openalex.org/W4293261720","https://openalex.org/W4312288277"],"related_works":["https://openalex.org/W2735088306","https://openalex.org/W4286740636","https://openalex.org/W2946214509","https://openalex.org/W2606108738","https://openalex.org/W2628063975","https://openalex.org/W2356479129","https://openalex.org/W2387346515","https://openalex.org/W2352196451","https://openalex.org/W2590086693","https://openalex.org/W2381260192"],"abstract_inverted_index":{"Extracting":[0],"word-level":[1,135,144],"functions":[2,145],"from":[3,57],"gate-level":[4,58],"circuits":[5,34,100],"is":[6,60],"challenging":[7],"and":[8,13,43,75,79,89,129],"crucial":[9],"in":[10,62,119,122],"security,":[11],"synthesis,":[12],"verification":[14],"applications.":[15],"State-of-the-art":[16],"approaches":[17],"identify":[18],"subcircuits":[19],"to":[20,36],"match":[21],"against":[22],"a":[23],"predefined":[24],"library":[25],"of":[26,39,47,53,126,132],"components.":[27],"However,":[28],"they":[29],"fail":[30],"for":[31,86],"highly-optimized":[32],"arithmetic":[33,49,55],"due":[35],"the":[37,44,63,71,92,108,116,120,124,130,133],"absence":[38],"intermediate":[40],"word":[41],"structures":[42],"high":[45],"complexity":[46],"verifying":[48],"functions.":[50],"The":[51],"challenge":[52,72],"learning":[54],"operations":[56],"netlists":[59],"posed":[61],"2022":[64],"ICCAD":[65],"CAD":[66],"Contest.":[67],"This":[68],"work":[69],"tackles":[70],"by":[73],"devising":[74],"combining":[76],"algebraic,":[77],"statistical,":[78],"structural":[80],"techniques":[81],"into":[82],"an":[83],"operational":[84],"flow":[85],"function":[87],"extraction":[88],"simplification.":[90],"Beyond":[91],"contest":[93,109,121],"setting,":[94],"our":[95,113,138],"method":[96,114,139],"also":[97],"deals":[98],"with":[99],"without":[101],"their":[102],"input-and":[103],"output-pin":[104],"information.":[105],"Experiments":[106],"on":[107],"benchmarks":[110],"show":[111],"that":[112],"outperforms":[115],"winning":[117],"teams":[118],"both":[123],"number":[125],"solved":[127],"cases":[128],"compactness":[131],"extracted":[134],"expressions.":[136],"Moreover,":[137],"can":[140],"effectively":[141],"extract":[142],"most":[143],"within":[146],"10":[147],"minutes.":[148]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}