{"id":"https://openalex.org/W4323022469","doi":"https://doi.org/10.1109/tcad.2023.3251741","title":"A Recursion and Lock Free GPU-Based Logic Rewriting Framework Exploiting Both Intranode and Internode Parallelism","display_name":"A Recursion and Lock Free GPU-Based Logic Rewriting Framework Exploiting Both Intranode and Internode Parallelism","publication_year":2023,"publication_date":"2023-03-02","ids":{"openalex":"https://openalex.org/W4323022469","doi":"https://doi.org/10.1109/tcad.2023.3251741"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2023.3251741","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2023.3251741","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits 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/A5048776120","display_name":"Lin Li","orcid":"https://orcid.org/0000-0002-6804-702X"},"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"]},{"id":"https://openalex.org/I4210147322","display_name":"Shanghai Institute of Microsystem and Information Technology","ror":"https://ror.org/04nytyj38","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210147322"]},{"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":true,"raw_author_name":"Lin Li","raw_affiliation_strings":["School of Information Science and Technology, ShanghaiTech University, Shanghai, China,","Shanghai Institute of Microsystem and Information Technology, Chinese Academy of Sciences, Shanghai, China","School of Electronic, Electrical and Communication Engineering, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-6804-702X","affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, ShanghaiTech University, Shanghai, China,","institution_ids":["https://openalex.org/I30809798"]},{"raw_affiliation_string":"Shanghai Institute of Microsystem and Information Technology, Chinese Academy of Sciences, Shanghai, China","institution_ids":["https://openalex.org/I4210147322"]},{"raw_affiliation_string":"School of Electronic, Electrical and Communication Engineering, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056419578","display_name":"Rui Li","orcid":"https://orcid.org/0000-0002-2953-9742"},"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"]},{"id":"https://openalex.org/I4210147322","display_name":"Shanghai Institute of Microsystem and Information Technology","ror":"https://ror.org/04nytyj38","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210147322"]},{"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":"Rui Li","raw_affiliation_strings":["School of Information Science and Technology, ShanghaiTech University, Shanghai, China,","School of Electronic, Electrical and Communication Engineering, University of Chinese Academy of Sciences, Beijing, China","Shanghai Institute of Microsystem and Information Technology, Chinese Academy of Sciences, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-2953-9742","affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, ShanghaiTech University, Shanghai, China,","institution_ids":["https://openalex.org/I30809798"]},{"raw_affiliation_string":"School of Electronic, Electrical and Communication Engineering, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Shanghai Institute of Microsystem and Information Technology, Chinese Academy of Sciences, Shanghai, China","institution_ids":["https://openalex.org/I4210147322"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084305618","display_name":"Yajun Ha","orcid":"https://orcid.org/0000-0003-4244-5916"},"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":"Yajun Ha","raw_affiliation_strings":["School of Information Science and Technology and the Shanghai Engineering Research Center of Energy Efficient and Custom AI IC, ShanghaiTech University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-4244-5916","affiliations":[{"raw_affiliation_string":"School of Information Science and Technology and the Shanghai Engineering Research Center of Energy Efficient and Custom AI IC, ShanghaiTech University, Shanghai, China","institution_ids":["https://openalex.org/I30809798"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5048776120"],"corresponding_institution_ids":["https://openalex.org/I30809798","https://openalex.org/I4210147322","https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":2.0947,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.85720817,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"42","issue":"11","first_page":"3972","last_page":"3984"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9976000189781189,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9976000189781189,"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/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9962000250816345,"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/T10142","display_name":"Formal Methods in Verification","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.8333046436309814},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.767213761806488},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7604548931121826},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5970070958137512},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.566762387752533},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.48631104826927185},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.434823602437973},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.42246460914611816},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3348952829837799},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30997878313064575}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8333046436309814},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.767213761806488},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7604548931121826},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5970070958137512},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.566762387752533},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.48631104826927185},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.434823602437973},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.42246460914611816},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3348952829837799},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30997878313064575},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2023.3251741","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2023.3251741","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1035869621","display_name":null,"funder_award_id":"62074101","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1385045742","display_name":null,"funder_award_id":"62220106011","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7168825920","display_name":null,"funder_award_id":"62150710549","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7688768999","display_name":null,"funder_award_id":"20ZR1435800","funder_id":"https://openalex.org/F4320321885","funder_display_name":"Science and Technology Commission of Shanghai Municipality"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321885","display_name":"Science and Technology Commission of Shanghai Municipality","ror":"https://ror.org/03kt66j61"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1528837436","https://openalex.org/W1607177236","https://openalex.org/W1776822698","https://openalex.org/W2100465945","https://openalex.org/W2106950603","https://openalex.org/W2123191020","https://openalex.org/W2126814059","https://openalex.org/W2140975144","https://openalex.org/W2242458479","https://openalex.org/W2329849566","https://openalex.org/W2537354715","https://openalex.org/W2583971000","https://openalex.org/W2587804194","https://openalex.org/W2768948804","https://openalex.org/W2786101043","https://openalex.org/W2899805943","https://openalex.org/W2908846298","https://openalex.org/W2913650413","https://openalex.org/W2942139435","https://openalex.org/W2945283099","https://openalex.org/W3036688246","https://openalex.org/W3114946195","https://openalex.org/W3165204519","https://openalex.org/W3197664379","https://openalex.org/W4285239639","https://openalex.org/W4285303868","https://openalex.org/W4293024130","https://openalex.org/W6690446619"],"related_works":["https://openalex.org/W2058965144","https://openalex.org/W2164382479","https://openalex.org/W2146343568","https://openalex.org/W98480971","https://openalex.org/W2150291671","https://openalex.org/W2013643406","https://openalex.org/W2027972911","https://openalex.org/W2157978810","https://openalex.org/W2597809628","https://openalex.org/W2778498407"],"abstract_inverted_index":{"Logic":[0],"rewriting":[1,15,29,38,79,118],"is":[2],"an":[3],"effective":[4],"but":[5],"time-consuming":[6],"technique":[7],"to":[8,33,47,82,91,108,111,121,183],"optimize":[9],"the":[10,18,35,49,53,65,70,84,93,112,123,184,189],"multilevel":[11],"logic":[12,23,78],"network":[13,20],"by":[14],"subnetworks":[16],"of":[17,37,67,103,116,159,192],"input":[19],"with":[21,188],"other":[22],"equivalent":[24],"structures.":[25],"However,":[26],"contemporary":[27],"multithread":[28],"algorithms":[30,99],"either":[31],"fail":[32],"parallelize":[34,101],"subprocedures":[36,102],"for":[39],"individual":[40],"nodes":[41,55,136,160],"(intranode":[42],"parallelism)":[43],"or":[44],"require":[45],"locks":[46],"ensure":[48],"mutual":[50],"exclusive":[51,135],"among":[52],"scheduled":[54],"that":[56,100,131,142,167],"are":[57],"rewritten":[58],"concurrently":[59],"(internode":[60],"parallelism),":[61],"hence":[62],"inevitably":[63],"decreasing":[64],"degrees":[66],"parallelism":[68],"and":[69,137,152],"scalability.":[71],"This":[72],"article":[73],"proposes":[74],"a":[75,128,138],"novel":[76],"GPU-based":[77],"acceleration":[80],"framework":[81],"address":[83],"mentioned":[85],"issues":[86],"in":[87],"two":[88],"phases.":[89],"First,":[90],"exploit":[92,122],"intranode":[94],"parallelism,":[95,125],"we":[96,126],"propose":[97,127],"recursion-free":[98],"rewriting,":[104],"which":[105],"was":[106],"hard":[107],"achieve":[109,171],"due":[110],"highly":[113],"recursive":[114],"nature":[115],"original":[117],"algorithms.":[119],"Second,":[120],"internode":[124],"work":[129,150],"scheduler":[130,151],"can":[132,143,170],"schedule":[133],"mutually":[134],"GPU-friendly":[139],"data":[140,153],"structure":[141,154],"support":[144],"efficient":[145],"concurrent":[146],"operations.":[147],"The":[148],"new":[149],"allow":[155],"simultaneously":[156],"processing":[157],"plenty":[158],"without":[161],"using":[162],"locks.":[163],"Experimental":[164],"results":[165],"show":[166],"our":[168],"method":[169,187],"on":[172],"average":[173],"<inline-formula":[174],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[175],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[176],"<tex-math":[177],"notation=\"LaTeX\">$3.81\\times":[178],"$":[179],"</tex-math></inline-formula>":[180],"speedup,":[181],"compared":[182],"state-of-the-art":[185],"GPU-parallel":[186],"same":[190],"quality":[191],"results.":[193]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}