{"id":"https://openalex.org/W2889003437","doi":"https://doi.org/10.1109/access.2018.2867639","title":"Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method","display_name":"Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2889003437","doi":"https://doi.org/10.1109/access.2018.2867639","mag":"2889003437"},"language":"en","primary_location":{"id":"doi:10.1109/access.2018.2867639","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2867639","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2018.2867639","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100353269","display_name":"Chang Liu","orcid":"https://orcid.org/0000-0002-5991-6879"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chang Liu","raw_affiliation_strings":["School of Computer Science, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0002-5991-6879","affiliations":[{"raw_affiliation_string":"School of Computer Science, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101706180","display_name":"Long Zhang","orcid":"https://orcid.org/0000-0003-2976-1412"},"institutions":[{"id":"https://openalex.org/I4210160531","display_name":"Chinese People's Liberation Army","ror":"https://ror.org/05tf9r976","country_code":"CN","type":"funder","lineage":["https://openalex.org/I4210160531"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Long Zhang","raw_affiliation_strings":["Academy of Military Science, Chinese People\u2019s Liberation Army, Beijing, China","Academy of Military Science, Chinese People's Liberation Army, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Academy of Military Science, Chinese People\u2019s Liberation Army, Beijing, China","institution_ids":["https://openalex.org/I4210160531"]},{"raw_affiliation_string":"Academy of Military Science, Chinese People's Liberation Army, Beijing, China","institution_ids":["https://openalex.org/I4210160531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101770280","display_name":"Xu He","orcid":"https://orcid.org/0000-0002-3516-3171"},"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":"Xu He","raw_affiliation_strings":["College of Computer Science and Electronic Engineering, Hunan University, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Electronic Engineering, Hunan University, Changsha, China","institution_ids":["https://openalex.org/I16609230"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100720832","display_name":"Yang Guo","orcid":"https://orcid.org/0000-0001-9050-0866"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Guo","raw_affiliation_strings":["School of Computer Science, National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.2619,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.57690836,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"6","issue":null,"first_page":"48740","last_page":"48746"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":1.0,"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/T11005","display_name":"Radiation Effects in Electronics","score":1.0,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.996399998664856,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9961000084877014,"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/combinational-logic","display_name":"Combinational logic","score":0.8098029494285583},{"id":"https://openalex.org/keywords/soft-error","display_name":"Soft error","score":0.7909687161445618},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6835119128227234},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6780528426170349},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6596451997756958},{"id":"https://openalex.org/keywords/hardening","display_name":"Hardening (computing)","score":0.6198776364326477},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6168490648269653},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5088158249855042},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.4407132565975189},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4243425726890564},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.3166120946407318},{"id":"https://openalex.org/keywords/electronic-engineering","display_name":"Electronic engineering","score":0.16141846776008606},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0838063657283783},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08057445287704468}],"concepts":[{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.8098029494285583},{"id":"https://openalex.org/C154474529","wikidata":"https://www.wikidata.org/wiki/Q1658917","display_name":"Soft error","level":2,"score":0.7909687161445618},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6835119128227234},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6780528426170349},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6596451997756958},{"id":"https://openalex.org/C44255700","wikidata":"https://www.wikidata.org/wiki/Q978423","display_name":"Hardening (computing)","level":3,"score":0.6198776364326477},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6168490648269653},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5088158249855042},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4407132565975189},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4243425726890564},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.3166120946407318},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.16141846776008606},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0838063657283783},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08057445287704468},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2018.2867639","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2867639","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:79d233ce2ef341b0a4b551f6e63e65a6","is_oa":true,"landing_page_url":"https://doaj.org/article/79d233ce2ef341b0a4b551f6e63e65a6","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 6, Pp 48740-48746 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2018.2867639","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2867639","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4699999988079071}],"awards":[{"id":"https://openalex.org/G4138298456","display_name":null,"funder_award_id":"61772540","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6812179618","display_name":"\u5355\u7c92\u5b50\u591a\u77ac\u6001\u4f18\u5316\u7684\u6297\u8f90\u7167\u5e03\u5c40\u7b97\u6cd5\u7814\u7a76","funder_award_id":"61872136","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7839473050","display_name":null,"funder_award_id":"61376109","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"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W165932379","https://openalex.org/W2010966375","https://openalex.org/W2053008981","https://openalex.org/W2078825551","https://openalex.org/W2087826268","https://openalex.org/W2088006178","https://openalex.org/W2102708050","https://openalex.org/W2104122494","https://openalex.org/W2106203961","https://openalex.org/W2133527541","https://openalex.org/W2134717026","https://openalex.org/W2140388451","https://openalex.org/W2147120839","https://openalex.org/W2363484969","https://openalex.org/W2535085345","https://openalex.org/W2592633366","https://openalex.org/W3146941683","https://openalex.org/W4206807714","https://openalex.org/W4234199418","https://openalex.org/W6606861424","https://openalex.org/W6653392956","https://openalex.org/W6663895013","https://openalex.org/W6672664859","https://openalex.org/W6728527039","https://openalex.org/W6734849857"],"related_works":["https://openalex.org/W2531550288","https://openalex.org/W2149041233","https://openalex.org/W2171347834","https://openalex.org/W2066042903","https://openalex.org/W3040935927","https://openalex.org/W1993206924","https://openalex.org/W2518564956","https://openalex.org/W2066664769","https://openalex.org/W2168546702","https://openalex.org/W2897915160"],"abstract_inverted_index":{"The":[0,106],"reconvergence-phenomenon":[1,36,58,81],"is":[2,31,75,119],"common":[3],"in":[4,59,100],"modern":[5],"circuit":[6,102],"design.":[7],"It":[8,22,30],"occurs":[9],"when":[10],"the":[11,24,35,47,53,65,80,85,92,95,97,101,114,124],"signal":[12],"reconvenes":[13],"at":[14],"a":[15,43],"certain":[16],"point":[17],"through":[18],"multiple":[19],"sensitized":[20],"paths.":[21],"affects":[23],"soft":[25,116],"error":[26,117],"estimation":[27],"and":[28,84],"hardening.":[29],"complicated":[32],"to":[33,51,77,91],"analyze":[34,52],"accurately.":[37],"In":[38],"this":[39],"paper,":[40],"we":[41],"propose":[42],"method":[44,63],"based":[45],"on":[46],"satisfiability":[48],"problem":[49],"(SAT)":[50],"single":[54],"event":[55],"transient":[56],"(SET)":[57],"combinational":[60],"circuits.":[61],"Our":[62],"translates":[64],"SET":[66],"reconvergence":[67],"issue":[68],"into":[69],"an":[70],"SAT.":[71],"An":[72],"SAT":[73],"solver":[74],"used":[76],"determine":[78],"whether":[79],"could":[82],"occur":[83],"conditions":[86],"for":[87],"its":[88],"occurrence.":[89],"According":[90],"results":[93,107],"of":[94],"solutions,":[96],"sensitive":[98],"nodes":[99],"can":[103],"be":[104],"defined.":[105],"show":[108],"that":[109],"compared":[110],"with":[111],"random":[112],"hardening,":[113],"average":[115],"rate":[118],"reduced":[120],"20%":[121],"by":[122,127],"hardening":[123],"node":[125],"selected":[126],"our":[128],"method.":[129]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}