{"id":"https://openalex.org/W4408183186","doi":"https://doi.org/10.1109/isscc49661.2025.10904686","title":"37.5 SKADI: A 28nm Complete K-SAT Solver Featuring Dual-Path SRAM-Based Macro and Incremental Update with 100% Solvability","display_name":"37.5 SKADI: A 28nm Complete K-SAT Solver Featuring Dual-Path SRAM-Based Macro and Incremental Update with 100% Solvability","publication_year":2025,"publication_date":"2025-02-16","ids":{"openalex":"https://openalex.org/W4408183186","doi":"https://doi.org/10.1109/isscc49661.2025.10904686"},"language":"en","primary_location":{"id":"doi:10.1109/isscc49661.2025.10904686","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isscc49661.2025.10904686","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Solid-State Circuits Conference (ISSCC)","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/A5101785513","display_name":"Zihan Wu","orcid":"https://orcid.org/0000-0002-9328-2670"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zihan Wu","raw_affiliation_strings":["Peking University,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066653944","display_name":"Xiyuan Tang","orcid":"https://orcid.org/0000-0003-2181-9042"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiyuan Tang","raw_affiliation_strings":["Peking University,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100375792","display_name":"Tao Zhang","orcid":"https://orcid.org/0000-0002-2980-6281"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Zhang","raw_affiliation_strings":["Peking University,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lishan Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lishan Lin","raw_affiliation_strings":["Peking University,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045313745","display_name":"Haoyang Luo","orcid":"https://orcid.org/0009-0003-3342-7086"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haoyang Luo","raw_affiliation_strings":["Peking University,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101353993","display_name":"Bocheng Xu","orcid":"https://orcid.org/0009-0007-6539-7896"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bocheng Xu","raw_affiliation_strings":["Peking University,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101545320","display_name":"Zhongyi Wu","orcid":"https://orcid.org/0000-0002-3669-2040"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhongyi Wu","raw_affiliation_strings":["Peking University,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011379172","display_name":"Jiahao Song","orcid":"https://orcid.org/0000-0001-6296-1905"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiahao Song","raw_affiliation_strings":["Peking University,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112110952","display_name":"Yitao Liang","orcid":"https://orcid.org/0009-0009-0944-7814"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yitao Liang","raw_affiliation_strings":["Peking University,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045958734","display_name":"Xiaochen Bo","orcid":"https://orcid.org/0000-0003-1911-7922"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaochen Bo","raw_affiliation_strings":["Peking University,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100344858","display_name":"Yuan Wang","orcid":"https://orcid.org/0000-0002-5215-0487"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuan Wang","raw_affiliation_strings":["Peking University,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I20231570"],"apc_list":null,"apc_paid":null,"fwci":4.1071,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.93600689,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"614","last_page":"616"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9940999746322632,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9940999746322632,"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"}},{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.991599977016449,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9861999750137329,"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/macro","display_name":"Macro","score":0.7512625455856323},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.6649179458618164},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.655764102935791},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.6446306705474854},{"id":"https://openalex.org/keywords/static-random-access-memory","display_name":"Static random-access memory","score":0.5833009481430054},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.569131076335907},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4377967417240143},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.09729912877082825},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07084769010543823}],"concepts":[{"id":"https://openalex.org/C166955791","wikidata":"https://www.wikidata.org/wiki/Q629579","display_name":"Macro","level":2,"score":0.7512625455856323},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.6649179458618164},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.655764102935791},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6446306705474854},{"id":"https://openalex.org/C68043766","wikidata":"https://www.wikidata.org/wiki/Q267416","display_name":"Static random-access memory","level":2,"score":0.5833009481430054},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.569131076335907},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4377967417240143},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.09729912877082825},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07084769010543823},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isscc49661.2025.10904686","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isscc49661.2025.10904686","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Solid-State Circuits Conference (ISSCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6809342224","display_name":null,"funder_award_id":"U20A20204","funder_id":"https://openalex.org/F4320334015","funder_display_name":"Joint Fund of the National Natural Science Foundation of China and the Karst Science Research Center of Guizhou Province"}],"funders":[{"id":"https://openalex.org/F4320334015","display_name":"Joint Fund of the National Natural Science Foundation of China and the Karst Science Research Center of Guizhou Province","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W2017127020","https://openalex.org/W2044560939","https://openalex.org/W2057361103","https://openalex.org/W2061438988","https://openalex.org/W2080267935","https://openalex.org/W4280571900","https://openalex.org/W4360606441","https://openalex.org/W4360606816"],"related_works":["https://openalex.org/W2030816003","https://openalex.org/W4392590355","https://openalex.org/W4239992647","https://openalex.org/W2150013480","https://openalex.org/W1554458299","https://openalex.org/W81423522","https://openalex.org/W1509860481","https://openalex.org/W2488264085","https://openalex.org/W2076325756","https://openalex.org/W3151633427"],"abstract_inverted_index":{"Boolean":[0,42],"satisfiability":[1,135],"(K-SAT,":[2],"K\u22653)":[3],"is":[4,32,141],"an":[5],"NP-complete":[6,61],"problem":[7,31],"that":[8,51,109,170,234],"has":[9],"applications":[10],"in":[11,54,211],"various":[12],"fields,":[13],"including":[14],"electronic":[15],"design":[16],"automation":[17],"[1],":[18],"formal":[19],"verification":[20],"[2],":[21],"and":[22,73,96,188,272],"fault":[23],"diagnosis":[24],"[3].":[25],"The":[26],"objective":[27],"of":[28,113,125,136,150],"the":[29,122,134,148,201],"K-SAT":[30,64,139],"to":[33,47,146,203,219,227,256],"determine":[34],"whether":[35],"a":[36,158],"truth":[37],"assignment":[38,209],"exists":[39],"for":[40,121,152],"n":[41],"variables":[43],"<tex":[44],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[45,248],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$\\mathrm{X}_{\\mathrm{i}}$</tex>":[46],"satisfy":[48],"all":[49,102],"clauses":[50,173,185],"typically":[52],"are":[53,106,110],"conjunctive":[55],"normal":[56],"form":[57],"F(x).":[58,126,153],"Given":[59],"its":[60],"nature,":[62],"solving":[63,258],"problems":[65,140],"on":[66,216],"Von":[67],"Neumann":[68],"machines":[69,94],"consumes":[70],"extensive":[71],"energy":[72,273],"time.":[74],"To":[75],"address":[76],"this":[77,155],"challenge,":[78],"several":[79],"ASIC":[80],"solvers":[81,108,145,169,177,182,194,214],"have":[82],"been":[83],"proposed,":[84],"employing":[85],"diverse":[86],"methods":[87,199,266],"such":[88],"as":[89,133],"continuous-time":[90],"dynamics":[91],"[4],":[92],"Ising":[93],"[5],":[95],"recurrent":[97],"neural":[98],"networks":[99],"[6].":[100],"However,":[101],"prior":[103],"works":[104],"[4]\u2013[8]":[105],"incomplete":[107,168,232],"only":[111,236],"capable":[112],"resolving":[114],"satisfiable":[115],"(SAT)":[116],"cases,":[117],"without":[118,200],"providing":[119],"proof":[120],"unsatisfiability":[123],"(UNSAT)":[124],"This":[127],"constraint":[128],"limits":[129],"their":[130],"practice":[131],"usage,":[132],"most":[137],"real-world":[138],"not":[142],"predetermined,":[143],"requiring":[144],"verify":[147],"existence":[149],"solutions":[151],"Addressing":[154],"issue":[156],"necessitates":[157],"complete":[159,176,213,240],"analysis,":[160],"which":[161],"encounters":[162],"three":[163],"key":[164],"challenges:":[165],"1)":[166],"Unlike":[167,231],"solely":[171],"deduce":[172,183],"from":[174,186,190,260],"assignments,":[175,221],"require":[178],"bidirectional":[179],"deduction,":[180],"i.e.,":[181],"both":[184],"assignments":[187,189,196],"clauses.":[191],"2)":[192],"Incomplete":[193],"update":[195,220],"through":[197],"heuristic":[198],"need":[202],"track":[204],"past":[205],"decisions,":[206],"thereby":[207],"skipping":[208],"management;":[210],"contrast,":[212],"rely":[215],"historical":[217],"decisions":[218],"incurring":[222],"significant":[223],"area":[224,271],"costs":[225],"due":[226],"storage":[228],"requirements.":[229],"3)":[230],"analysis":[233,241],"involves":[235],"2":[237],"clause":[238,244],"states,":[239],"requires":[242],"multi-level":[243],"states":[245],"with":[246,269],"100<sup":[247],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">%</sup>":[249],"accuracy,":[250],"boosting":[251],"computational":[252],"demand.":[253],"Analog":[254],"approaches":[255],"SAT":[257],"suffer":[259],"accuracy":[261],"loss,":[262],"while":[263],"conventional":[264],"digital":[265],"face":[267],"challenges":[268],"poor":[270],"efficiency.":[274]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}