{"id":"https://openalex.org/W4413392588","doi":"https://doi.org/10.1109/jssc.2025.3598289","title":"SKADI: A 28-nm Complete K-SAT Solver Featuring Bidirectional In-Memory Deduction and Incremental Updating","display_name":"SKADI: A 28-nm Complete K-SAT Solver Featuring Bidirectional In-Memory Deduction and Incremental Updating","publication_year":2025,"publication_date":"2025-08-21","ids":{"openalex":"https://openalex.org/W4413392588","doi":"https://doi.org/10.1109/jssc.2025.3598289"},"language":"en","primary_location":{"id":"doi:10.1109/jssc.2025.3598289","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jssc.2025.3598289","pdf_url":null,"source":{"id":"https://openalex.org/S83637746","display_name":"IEEE Journal of Solid-State Circuits","issn_l":"0018-9200","issn":["0018-9200","1558-173X"],"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 Journal of Solid-State Circuits","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/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":["Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, Peking University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-9328-2670","affiliations":[{"raw_affiliation_string":"Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, 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"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiyuan Tang","raw_affiliation_strings":["School of Integrated Circuits and the Institute for Artificial Intelligence, Peking University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-2181-9042","affiliations":[{"raw_affiliation_string":"School of Integrated Circuits and the Institute for Artificial Intelligence, Peking University, Beijing, China","institution_ids":["https://openalex.org/I4210100255","https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Tao Zhang","orcid":"https://orcid.org/0009-0008-2764-0899"},"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":["Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, Peking University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0008-2764-0899","affiliations":[{"raw_affiliation_string":"Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lishan Lin","orcid":"https://orcid.org/0009-0009-1757-6712"},"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":["School of Electronic and Computer Engineering, Shenzhen Graduate School, Peking University, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0009-1757-6712","affiliations":[{"raw_affiliation_string":"School of Electronic and Computer Engineering, Shenzhen Graduate School, Peking University, Shenzhen, 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"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haoyang Luo","raw_affiliation_strings":["School of Integrated Circuits and the Institute for Artificial Intelligence, Peking University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0003-3342-7086","affiliations":[{"raw_affiliation_string":"School of Integrated Circuits and the Institute for Artificial Intelligence, Peking University, Beijing, China","institution_ids":["https://openalex.org/I4210100255","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":["Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, Peking University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0007-6539-7896","affiliations":[{"raw_affiliation_string":"Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, 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":["Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, Peking University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, 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":["Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, Peking University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, 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"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yitao Liang","raw_affiliation_strings":["Institute for Artificial Intelligence, Peking University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0009-0944-7814","affiliations":[{"raw_affiliation_string":"Institute for Artificial Intelligence, Peking University, Beijing, China","institution_ids":["https://openalex.org/I4210100255","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":["Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, Peking University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002438548","display_name":"Yuan Wang","orcid":"https://orcid.org/0000-0002-4951-4286"},"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":["Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, Peking University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-4951-4286","affiliations":[{"raw_affiliation_string":"Key Laboratory of Microelectronic Devices and Circuits, School of Integrated Circuits, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":11,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0704,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.79520218,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"61","issue":"5","first_page":"2295","last_page":"2308"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9810000061988831,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9810000061988831,"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/T10847","display_name":"Advanced Optical Network Technologies","score":0.9711999893188477,"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/T10299","display_name":"Photonic and Optical Devices","score":0.9696000218391418,"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/computer-science","display_name":"Computer science","score":0.5261927247047424},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4721156358718872},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4629422426223755},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.45963460206985474},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.363229900598526},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2655302882194519},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24879556894302368}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5261927247047424},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4721156358718872},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4629422426223755},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.45963460206985474},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.363229900598526},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2655302882194519},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24879556894302368}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/jssc.2025.3598289","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jssc.2025.3598289","pdf_url":null,"source":{"id":"https://openalex.org/S83637746","display_name":"IEEE Journal of Solid-State Circuits","issn_l":"0018-9200","issn":["0018-9200","1558-173X"],"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 Journal of Solid-State Circuits","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5828640706","display_name":null,"funder_award_id":"2024YFB4405501","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2186864281","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345"],"abstract_inverted_index":{"Boolean":[0],"satisfiability":[1],"(K-SAT)":[2],"is":[3,120,149,226],"a":[4,104,128,133],"canonical":[5],"problem":[6],"at":[7,197],"the":[8,67,110,117,162,211],"core":[9],"of":[10,178],"many":[11],"electronic":[12],"design":[13],"automation":[14],"(EDA)":[15],"and":[16,44,132,154,171,187,206],"artificial":[17],"intelligence":[18],"(AI)":[19],"tasks.":[20],"Due":[21],"to":[22,69,137],"its":[23],"NP-complete":[24],"characteristic,":[25],"solving":[26],"K-SAT":[27,49,106,215],"(<inline-formula":[28],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[29,180,189],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[30,181,190],"<tex-math":[31,182,191],"notation=\"LaTeX\">$K":[32],"\\geq":[33],"3$</tex-math>":[34],"</inline-formula>)":[35],"problems":[36],"on":[37,109],"von":[38],"Neumann":[39],"architectures":[40],"incurs":[41],"substantial":[42],"energy":[43,54,202],"latency":[45],"overhead.":[46],"Recent":[47],"ASIC":[48,213],"solvers":[50,64],"have":[51,65],"significantly":[52],"improved":[53],"efficiency,":[55],"but":[56],"these":[57,63],"implementations":[58],"are":[59,204],"inherently":[60],"incomplete.":[61],"While":[62],"demonstrated":[66],"capability":[68],"solve":[70],"satisfiable":[71],"(SAT)":[72],"problems,":[73],"no":[74],"evidence":[75],"has":[76],"been":[77],"provided":[78],"for":[79,151],"proving":[80],"unsatisfiability.":[81],"This":[82],"limitation":[83],"severely":[84],"restricts":[85],"their":[86],"applicability,":[87],"as":[88],"real-life":[89],"scenarios":[90],"mostly":[91],"demand":[92],"definitive":[93],"SAT/unsatisfiable":[94],"(UNSAT)":[95],"outcomes.":[96],"To":[97],"address":[98],"this":[99,101],"gap,":[100],"work":[102],"presents":[103],"complete":[105,214],"solver":[107,164],"based":[108],"DPLL":[111],"framework":[112],"that":[113],"can":[114],"determine":[115],"whether":[116],"given":[118],"formula":[119],"SAT":[121,170],"or":[122],"UNSAT.":[123],"The":[124],"proposed":[125,163],"architecture":[126],"incorporates":[127],"dual-path":[129],"SRAM-based":[130],"macro":[131],"position-encoded":[134],"counter":[135],"(PEC)":[136],"perform":[138],"highly":[139],"parallel,":[140],"bidirectional":[141],"clause-variable":[142],"deduction.":[143],"Additionally,":[144],"an":[145],"incremental":[146],"updating":[147],"technique":[148],"employed":[150],"conflict-aware":[152],"backtracking":[153],"search":[155],"space":[156],"pruning.":[157],"Fabricated":[158],"in":[159,220],"28-nm":[160],"CMOS,":[161],"achieves":[165],"100%":[166],"solvability":[167],"across":[168],"all":[169],"UNSAT":[172],"benchmarks,":[173],"with":[174],"average":[175],"solution":[176],"times":[177],"<inline-formula":[179,188],"notation=\"LaTeX\">$17.1~\\mu":[183],"$</tex-math>":[184,194],"</inline-formula>s":[185,195],"(uf50-218)":[186],"notation=\"LaTeX\">$42.1":[192],"~\\mu":[193],"(uuf50-218)":[196],"0.9-V":[198],"supply":[199],"voltage.":[200],"Corresponding":[201],"consumptions":[203],"58.0":[205],"142.8":[207],"nJ,":[208],"respectively.":[209],"As":[210],"first":[212],"solver,":[216],"it":[217],"enables":[218],"deployment":[219],"applications":[221],"where":[222],"deterministically":[223],"asserting":[224],"SAT/UNSAT":[225],"essential.":[227]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}