{"id":"https://openalex.org/W4406181555","doi":"https://doi.org/10.1145/3711848","title":"LOGIC: Logic Synthesis for Digital In-Memory Computing","display_name":"LOGIC: Logic Synthesis for Digital In-Memory Computing","publication_year":2025,"publication_date":"2025-01-08","ids":{"openalex":"https://openalex.org/W4406181555","doi":"https://doi.org/10.1145/3711848"},"language":"en","primary_location":{"id":"doi:10.1145/3711848","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3711848","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3711848","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013959644","display_name":"Muhammad Rashedul Haq Rashed","orcid":"https://orcid.org/0000-0003-0450-695X"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Muhammad Rashedul Haq Rashed","raw_affiliation_strings":["The University of Texas at Arlington, Arlington, United States","Department of Computer Science and Engineering, The University of Texas at Arlington, Arlington, United States"],"raw_orcid":"https://orcid.org/0000-0003-0450-695X","affiliations":[{"raw_affiliation_string":"The University of Texas at Arlington, Arlington, United States","institution_ids":["https://openalex.org/I189196454"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, The University of Texas at Arlington, Arlington, United States","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016081779","display_name":"Sven Thijssen","orcid":"https://orcid.org/0000-0001-8522-4617"},"institutions":[{"id":"https://openalex.org/I63772739","display_name":"Florida Atlantic University","ror":"https://ror.org/05p8w6387","country_code":"US","type":"education","lineage":["https://openalex.org/I63772739"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sven Thijssen","raw_affiliation_strings":["Florida Atlantic University, Boca Raton, United States","Department of Electrical Engineering and Computer Science, Florida Atlantic University, Boca Raton, United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Florida Atlantic University, Boca Raton, United States","institution_ids":["https://openalex.org/I63772739"]},{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, Florida Atlantic University, Boca Raton, United States","institution_ids":["https://openalex.org/I63772739"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075978538","display_name":"Sumit Kumar Jha","orcid":"https://orcid.org/0000-0003-0354-2940"},"institutions":[{"id":"https://openalex.org/I19700959","display_name":"Florida International University","ror":"https://ror.org/02gz6gg07","country_code":"US","type":"education","lineage":["https://openalex.org/I19700959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sumit Jha","raw_affiliation_strings":["Florida International University, Miami, United States","Knight Foundation School of Computing and Information Sciences, Florida International University, Miami, United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Florida International University, Miami, United States","institution_ids":["https://openalex.org/I19700959"]},{"raw_affiliation_string":"Knight Foundation School of Computing and Information Sciences, Florida International University, Miami, United States","institution_ids":["https://openalex.org/I19700959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014892277","display_name":"Rickard Ewetz","orcid":"https://orcid.org/0000-0002-4183-6926"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rickard Ewetz","raw_affiliation_strings":["University of Florida, Gainesville, United States","Department of Electrical and Computer Engineering, University of Florida, Gainesville, United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida, Gainesville, United States","institution_ids":["https://openalex.org/I33213144"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, United States","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3879,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.79351181,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"30","issue":"2","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9998999834060669,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9998999834060669,"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/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.993399977684021,"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/T10320","display_name":"Neural Networks and Applications","score":0.9840999841690063,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8962357640266418},{"id":"https://openalex.org/keywords/logic-optimization","display_name":"Logic optimization","score":0.45042479038238525},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.43505164980888367},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4273584485054016},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.40555840730667114},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.38043928146362305},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32097116112709045},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21776869893074036}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8962357640266418},{"id":"https://openalex.org/C28449271","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Logic optimization","level":4,"score":0.45042479038238525},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.43505164980888367},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4273584485054016},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.40555840730667114},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.38043928146362305},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32097116112709045},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21776869893074036}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3711848","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3711848","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3711848","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3711848","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.8999999761581421,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[{"id":"https://openalex.org/G4639532467","display_name":null,"funder_award_id":"2319399, and 2404036","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5126296624","display_name":"Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods","funder_award_id":"2404036","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W1578783943","https://openalex.org/W2006312753","https://openalex.org/W2013028205","https://openalex.org/W2025674646","https://openalex.org/W2035080386","https://openalex.org/W2061461907","https://openalex.org/W2072958518","https://openalex.org/W2078260102","https://openalex.org/W2081729575","https://openalex.org/W2105505307","https://openalex.org/W2106965455","https://openalex.org/W2112181056","https://openalex.org/W2140153041","https://openalex.org/W2183341477","https://openalex.org/W2396622873","https://openalex.org/W2399958287","https://openalex.org/W2407339173","https://openalex.org/W2427843410","https://openalex.org/W2518281301","https://openalex.org/W2765081478","https://openalex.org/W2765843240","https://openalex.org/W2766489088","https://openalex.org/W2775771159","https://openalex.org/W2794284562","https://openalex.org/W2799046832","https://openalex.org/W2799942529","https://openalex.org/W2883084140","https://openalex.org/W2885718248","https://openalex.org/W2890584292","https://openalex.org/W2892550733","https://openalex.org/W2911015264","https://openalex.org/W2949989598","https://openalex.org/W2966470162","https://openalex.org/W2969812992","https://openalex.org/W2979874885","https://openalex.org/W3028964554","https://openalex.org/W3099073033","https://openalex.org/W3103415979","https://openalex.org/W3128908600","https://openalex.org/W3130639951","https://openalex.org/W3132804543","https://openalex.org/W3134691581","https://openalex.org/W3195402235","https://openalex.org/W3201362361","https://openalex.org/W3201976259","https://openalex.org/W3214095863","https://openalex.org/W4200568566","https://openalex.org/W4229487452","https://openalex.org/W4229786707","https://openalex.org/W4244590214","https://openalex.org/W4292169167","https://openalex.org/W4309472441","https://openalex.org/W4312121163","https://openalex.org/W4361983169","https://openalex.org/W4377235537","https://openalex.org/W4378895330","https://openalex.org/W4384561707","https://openalex.org/W4389961125","https://openalex.org/W4393146467"],"related_works":["https://openalex.org/W1966764473","https://openalex.org/W2098419840","https://openalex.org/W2614722573","https://openalex.org/W2121963733","https://openalex.org/W2789349722","https://openalex.org/W1977171228","https://openalex.org/W2130565894","https://openalex.org/W2102927888","https://openalex.org/W4249951793","https://openalex.org/W2056896932"],"abstract_inverted_index":{"In-memory":[0],"processing":[1],"offers":[2],"a":[3,78],"promising":[4],"solution":[5],"for":[6,26,106],"enhancing":[7],"the":[8,36,86,116,124,136,180,193,205],"performance":[9],"of":[10,88,118,126,184,222],"data-intensive":[11],"applications.":[12,43],"While":[13],"analog":[14],"in-memory":[15,33,46,57,93,112,119,127],"computing":[16,28,34,47,201],"demonstrates":[17],"remarkable":[18,212],"efficiency,":[19],"its":[20],"limited":[21],"precision":[22,38],"is":[23],"suitable":[24],"only":[25],"approximate":[27],"tasks.":[29],"In":[30,60,73],"contrast,":[31,61],"digital":[32,45,63,92],"delivers":[35],"deterministic":[37],"necessary":[39],"to":[40,129,158,192,199],"accelerate":[41,160],"high-assurance":[42],"Current":[44],"methods":[48],"typically":[49],"involve":[50],"manually":[51],"breaking":[52],"down":[53],"arithmetic":[54,109],"operations":[55,110,128],"into":[56,91,111],"compute":[58,94],"kernels.":[59],"traditional":[62],"circuits":[64],"are":[65],"synthesized":[66],"through":[67],"intricate":[68],"and":[69,182,189,217,225],"automated":[70],"design":[71,210],"workflows.":[72],"this":[74],"article,":[75],"we":[76,122,142,153],"introduce":[77],"logic":[79],"synthesis":[80,177],"framework":[81],"called":[82],"LOGIC,":[83],"which":[84],"facilitates":[85],"translation":[87],"high-level":[89],"applications":[90,161,202],"kernels":[95,113],"that":[96,148,162,174],"can":[97],"be":[98],"executed":[99],"using":[100],"non-volatile":[101,131],"memory.":[102],"We":[103],"propose":[104],"techniques":[105],"decomposing":[107],"element-wise":[108],"while":[114],"minimizing":[115],"number":[117],"operations.":[120,169],"Additionally,":[121,152],"optimize":[123],"sequence":[125],"reduce":[130],"memory":[132],"utilization.":[133],"To":[134],"address":[135],"NP-hard":[137],"execution":[138],"sequencing":[139],"optimization":[140],"problem,":[141],"have":[143],"developed":[144],"two":[145],"look-ahead":[146],"algorithms":[147],"offer":[149],"practical":[150],"solutions.":[151],"leverage":[154],"data":[155],"layout":[156],"reorganization":[157],"efficiently":[159],"heavily":[163],"rely":[164],"on":[165],"sparse":[166],"matrix-vector":[167],"multiplication":[168,186],"Our":[170],"experimental":[171],"evaluations":[172],"demonstrate":[173],"our":[175,209],"proposed":[176],"approach":[178],"improves":[179],"area":[181],"latency":[183],"fixed-point":[185],"by":[187,220],"84%":[188],"20%":[190],"compared":[191],"state-of-the-art,":[194],"respectively.":[195,227],"Moreover,":[196],"when":[197],"applied":[198],"scientific":[200],"sourced":[203],"from":[204],"SuiteSparse":[206],"Matrix":[207],"Collection,":[208],"achieves":[211],"improvements":[213],"in":[214],"area,":[215],"latency,":[216],"energy":[218],"efficiency":[219],"factors":[221],"4.8\u00d7,":[223],"2.6\u00d7,":[224],"11\u00d7,":[226]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}