{"id":"https://openalex.org/W7084033412","doi":"https://doi.org/10.1109/tcsii.2025.3616326","title":"A SRAM-Based In-Memory Accelerator Featuring Complete SAT Solving and CAM Operations for Efficient Network Transmission","display_name":"A SRAM-Based In-Memory Accelerator Featuring Complete SAT Solving and CAM Operations for Efficient Network Transmission","publication_year":2025,"publication_date":"2025-10-01","ids":{"openalex":"https://openalex.org/W7084033412","doi":"https://doi.org/10.1109/tcsii.2025.3616326"},"language":"en","primary_location":{"id":"doi:10.1109/tcsii.2025.3616326","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcsii.2025.3616326","pdf_url":null,"source":{"id":"https://openalex.org/S93916849","display_name":"IEEE Transactions on Circuits & Systems II Express Briefs","issn_l":"1549-7747","issn":["1549-7747","1558-3791"],"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 Circuits and Systems II: Express Briefs","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":null,"display_name":"Jinrong Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinrong Zhou","raw_affiliation_strings":["College of Semiconductors (College of Integrated Circuits), Hunan University, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Semiconductors (College of Integrated Circuits), Hunan University, Changsha, China","institution_ids":["https://openalex.org/I16609230"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Renlong Li","orcid":"https://orcid.org/0009-0002-0634-6881"},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Renlong Li","raw_affiliation_strings":["College of Semiconductors (College of Integrated Circuits), Hunan University, Changsha, China"],"raw_orcid":"https://orcid.org/0009-0002-0634-6881","affiliations":[{"raw_affiliation_string":"College of Semiconductors (College of Integrated Circuits), Hunan University, Changsha, China","institution_ids":["https://openalex.org/I16609230"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yifeng Zhou","orcid":"https://orcid.org/0009-0008-5838-8278"},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yifeng Zhou","raw_affiliation_strings":["College of Semiconductors (College of Integrated Circuits), Hunan University, Changsha, China"],"raw_orcid":"https://orcid.org/0009-0008-5838-8278","affiliations":[{"raw_affiliation_string":"College of Semiconductors (College of Integrated Circuits), Hunan University, Changsha, China","institution_ids":["https://openalex.org/I16609230"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Qiaoyi Fu","orcid":null},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiaoyi Fu","raw_affiliation_strings":["College of Semiconductors (College of Integrated Circuits), Hunan University, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Semiconductors (College of Integrated Circuits), Hunan University, Changsha, China","institution_ids":["https://openalex.org/I16609230"]}]},{"author_position":"last","author":{"id":null,"display_name":"Zhuojun Chen","orcid":"https://orcid.org/0000-0003-0431-8852"},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhuojun Chen","raw_affiliation_strings":["College of Semiconductors (College of Integrated Circuits), Hunan University, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0003-0431-8852","affiliations":[{"raw_affiliation_string":"College of Semiconductors (College of Integrated Circuits), Hunan University, Changsha, China","institution_ids":["https://openalex.org/I16609230"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I16609230"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.54295808,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"72","issue":"11","first_page":"1785","last_page":"1789"},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10528","display_name":"Adipokines, Inflammation, and Metabolic Diseases","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/2713","display_name":"Epidemiology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T10528","display_name":"Adipokines, Inflammation, and Metabolic Diseases","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/2713","display_name":"Epidemiology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T12979","display_name":"Cardiovascular Disease and Adiposity","score":0.0006000000284984708,"subfield":{"id":"https://openalex.org/subfields/2705","display_name":"Cardiology and Cardiovascular Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T14245","display_name":"Biomarkers in Disease Mechanisms","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/2403","display_name":"Immunology"},"field":{"id":"https://openalex.org/fields/24","display_name":"Immunology and Microbiology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/lookup-table","display_name":"Lookup table","score":0.6978999972343445},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.6930999755859375},{"id":"https://openalex.org/keywords/static-random-access-memory","display_name":"Static random-access memory","score":0.6047000288963318},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.44589999318122864},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.383899986743927},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.37310001254081726},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.37040001153945923},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.366100013256073},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.3630000054836273}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.73089998960495},{"id":"https://openalex.org/C134835016","wikidata":"https://www.wikidata.org/wiki/Q690265","display_name":"Lookup table","level":2,"score":0.6978999972343445},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.6930999755859375},{"id":"https://openalex.org/C68043766","wikidata":"https://www.wikidata.org/wiki/Q267416","display_name":"Static random-access memory","level":2,"score":0.6047000288963318},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.44589999318122864},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.383899986743927},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.37310001254081726},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.37040001153945923},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.366100013256073},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.36469998955726624},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.3630000054836273},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3614000082015991},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35510000586509705},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.34929999709129333},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.34360000491142273},{"id":"https://openalex.org/C121610932","wikidata":"https://www.wikidata.org/wiki/Q243754","display_name":"Binary search algorithm","level":3,"score":0.3418999910354614},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.3416000008583069},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.32919999957084656},{"id":"https://openalex.org/C2984118289","wikidata":"https://www.wikidata.org/wiki/Q29954","display_name":"Power consumption","level":3,"score":0.32510000467300415},{"id":"https://openalex.org/C164620267","wikidata":"https://www.wikidata.org/wiki/Q376953","display_name":"Adder","level":3,"score":0.323199987411499},{"id":"https://openalex.org/C53442348","wikidata":"https://www.wikidata.org/wiki/Q745101","display_name":"Content-addressable memory","level":3,"score":0.3142000138759613},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3043999969959259},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2985999882221222},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2969000041484833},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.28349998593330383},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2761000096797943},{"id":"https://openalex.org/C2778618852","wikidata":"https://www.wikidata.org/wiki/Q1128613","display_name":"Content-addressable storage","level":4,"score":0.27300000190734863},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.25609999895095825},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2542000114917755}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcsii.2025.3616326","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcsii.2025.3616326","pdf_url":null,"source":{"id":"https://openalex.org/S93916849","display_name":"IEEE Transactions on Circuits & Systems II Express Briefs","issn_l":"1549-7747","issn":["1549-7747","1558-3791"],"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 Circuits and Systems II: Express Briefs","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7619401812553406,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[{"id":"https://openalex.org/G6408770274","display_name":null,"funder_award_id":"2024JJ5093","funder_id":"https://openalex.org/F4320322866","funder_display_name":"Natural Science Foundation of Hainan Province"},{"id":"https://openalex.org/G6639995938","display_name":null,"funder_award_id":"2024JJ5093","funder_id":"https://openalex.org/F4320322843","funder_display_name":"Natural Science Foundation of\u00a0Hunan Province"},{"id":"https://openalex.org/G8542059699","display_name":null,"funder_award_id":"62474062","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322843","display_name":"Natural Science Foundation of\u00a0Hunan Province","ror":null},{"id":"https://openalex.org/F4320322866","display_name":"Natural Science Foundation of Hainan Province","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W2020115676","https://openalex.org/W2057361103","https://openalex.org/W2790511620","https://openalex.org/W3013712203","https://openalex.org/W3026786299","https://openalex.org/W3195413970","https://openalex.org/W4210923376","https://openalex.org/W4226402784","https://openalex.org/W4254605472","https://openalex.org/W4280571900","https://openalex.org/W4285048458","https://openalex.org/W4293192719","https://openalex.org/W4360606441","https://openalex.org/W4360606816","https://openalex.org/W4367016239","https://openalex.org/W4385656689","https://openalex.org/W4389076363","https://openalex.org/W4392745963","https://openalex.org/W4400234321","https://openalex.org/W4404132946","https://openalex.org/W4408183186"],"related_works":[],"abstract_inverted_index":{"Boolean":[0],"Satisfiability":[1],"(SAT)":[2],"based":[3,10,37,64,109],"verification":[4,45,50],"and":[5,51,76,86,133,164,169],"Content":[6],"Addressable":[7],"Memory":[8,24,68],"(CAM)":[9],"lookup":[11,52,78,110,158],"operations":[12,88],"contribute":[13],"to":[14],"the":[15,96,105,154],"efficiency":[16],"of":[17,107,124,131,137],"network":[18],"packet":[19],"transmission.":[20],"Although":[21],"related":[22],"In":[23,80],"Accelerators":[25],"(IMAs)":[26],"provide":[27],"substantial":[28],"computational":[29],"acceleration,":[30],"current":[31],"implementations":[32],"still":[33],"face":[34],"limitations:":[35],"IMAs":[36,47],"on":[38,65],"incomplete":[39],"SAT-solving":[40,74],"methods":[41],"are":[42,54,89,142],"unsuitable":[43],"for":[44,91,167],"tasks;":[46],"that":[48,70],"integrate":[49],"functionality":[53],"rare.":[55],"To":[56],"overcome":[57],"these":[58],"limitations,":[59],"we":[60],"propose":[61],"an":[62],"IMA":[63],"Static":[66],"Random-Access":[67],"(SRAM)":[69],"integrates":[71],"both":[72],"complete":[73,92],"capabilities":[75],"high-throughput":[77],"operations.":[79,111],"this":[81,148],"work,":[82],"clause":[83],"satisfiability":[84],"determination":[85],"backtracking":[87],"implemented":[90],"SAT":[93,146],"solving.":[94],"Meanwhile,":[95],"RWL-split":[97],"11T":[98],"SRAM":[99],"array":[100],"with":[101],"144Kb":[102],"capacity":[103],"increased":[104],"throughput":[106],"CAM":[108,171],"The":[112,121,139],"prototype":[113],"has":[114],"been":[115],"fabricated":[116],"using":[117],"a":[118,128,134],"65nm":[119],"process.":[120],"power":[122],"consumption":[123],"approximately":[125],"19.3mW":[126],"under":[127],"supply":[129],"voltage":[130],"1.1V":[132],"working":[135],"frequency":[136],"100MHz.":[138],"experimental":[140],"results":[141],"demonstrated.":[143],"For":[144,157],"solving":[145],"problems,":[147],"work":[149],"achieves":[150],"100%":[151],"solvability":[152],"in":[153],"SATLIB":[155],"benchmark.":[156],"operations,":[159,172],"it":[160],"consumes":[161],"0.13":[162],"fJ/search/bit":[163,166],"0.26":[165],"binary":[168],"ternary":[170],"respectively.":[173]},"counts_by_year":[],"updated_date":"2025-11-07T23:20:04.922697","created_date":"2025-10-10T00:00:00"}