{"id":"https://openalex.org/W4285377639","doi":"https://doi.org/10.1109/itc-asia53059.2021.9808799","title":"Developing Formal Models for Measuring Fault Effects Using Functional EDA Tools","display_name":"Developing Formal Models for Measuring Fault Effects Using Functional EDA Tools","publication_year":2021,"publication_date":"2021-08-18","ids":{"openalex":"https://openalex.org/W4285377639","doi":"https://doi.org/10.1109/itc-asia53059.2021.9808799"},"language":"en","primary_location":{"id":"doi:10.1109/itc-asia53059.2021.9808799","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itc-asia53059.2021.9808799","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE International Test Conference in Asia (ITC-Asia)","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/A5081392219","display_name":"Wei Hu","orcid":"https://orcid.org/0000-0001-6738-4297"},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wei Hu","raw_affiliation_strings":["Northwestern Polytechnical University,School of Cybersecurity,Xi’an,China,710072","an, China"],"affiliations":[{"raw_affiliation_string":"Northwestern Polytechnical University,School of Cybersecurity,Xi’an,China,710072","institution_ids":["https://openalex.org/I17145004"]},{"raw_affiliation_string":"an, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109039150","display_name":"Jing Tan","orcid":null},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jing Tan","raw_affiliation_strings":["Northwestern Polytechnical University,School of Cybersecurity,Xi’an,China,710072","an, China"],"affiliations":[{"raw_affiliation_string":"Northwestern Polytechnical University,School of Cybersecurity,Xi’an,China,710072","institution_ids":["https://openalex.org/I17145004"]},{"raw_affiliation_string":"an, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040636479","display_name":"Lingjuan Wu","orcid":"https://orcid.org/0000-0002-7624-2706"},"institutions":[{"id":"https://openalex.org/I204823248","display_name":"Huazhong Agricultural University","ror":"https://ror.org/023b72294","country_code":"CN","type":"education","lineage":["https://openalex.org/I204823248"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lingjuan Wu","raw_affiliation_strings":["Huazhong Agricultural University,College of Informatics,Wuhan,China,430070"],"affiliations":[{"raw_affiliation_string":"Huazhong Agricultural University,College of Informatics,Wuhan,China,430070","institution_ids":["https://openalex.org/I204823248"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103159031","display_name":"Yu Tai","orcid":"https://orcid.org/0000-0002-2584-2867"},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Tai","raw_affiliation_strings":["Northwestern Polytechnical University,School of Cybersecurity,Xi’an,China,710072","an, China"],"affiliations":[{"raw_affiliation_string":"Northwestern Polytechnical University,School of Cybersecurity,Xi’an,China,710072","institution_ids":["https://openalex.org/I17145004"]},{"raw_affiliation_string":"an, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037094007","display_name":"Hong Liang","orcid":"https://orcid.org/0000-0001-7860-4101"},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Hong","raw_affiliation_strings":["Northwestern Polytechnical University,School of Cybersecurity,Xi’an,China,710072","an, China"],"affiliations":[{"raw_affiliation_string":"Northwestern Polytechnical University,School of Cybersecurity,Xi’an,China,710072","institution_ids":["https://openalex.org/I17145004"]},{"raw_affiliation_string":"an, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5081392219"],"corresponding_institution_ids":["https://openalex.org/I17145004"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19656562,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9997000098228455,"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":0.9997000098228455,"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.9993000030517578,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7486711740493774},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7123975157737732},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.6667928695678711},{"id":"https://openalex.org/keywords/emulation","display_name":"Emulation","score":0.6398910284042358},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.5439789295196533},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.5417559146881104},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4903590679168701},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.48264414072036743},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.4788760542869568},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.4731120765209198},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.46615585684776306},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4154372215270996},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.40892547369003296},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.39273184537887573},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.33254343271255493},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2845129370689392},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.2704373598098755},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24507492780685425},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21783334016799927},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.1625901758670807},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.15013426542282104},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10944214463233948}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7486711740493774},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7123975157737732},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.6667928695678711},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.6398910284042358},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.5439789295196533},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.5417559146881104},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4903590679168701},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.48264414072036743},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.4788760542869568},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.4731120765209198},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.46615585684776306},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4154372215270996},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.40892547369003296},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.39273184537887573},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.33254343271255493},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2845129370689392},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2704373598098755},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24507492780685425},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21783334016799927},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.1625901758670807},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15013426542282104},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10944214463233948},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/itc-asia53059.2021.9808799","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itc-asia53059.2021.9808799","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE International Test Conference in Asia (ITC-Asia)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322186","display_name":"Natural Science Foundation of Hubei Province","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1971807768","https://openalex.org/W1998405506","https://openalex.org/W2047503989","https://openalex.org/W2103820086","https://openalex.org/W2111701647","https://openalex.org/W2121043529","https://openalex.org/W2155389389","https://openalex.org/W2180619841","https://openalex.org/W2321238128","https://openalex.org/W2599823679","https://openalex.org/W2897152879","https://openalex.org/W2907909599","https://openalex.org/W2961420523","https://openalex.org/W2993817920","https://openalex.org/W3001499944","https://openalex.org/W3103137679","https://openalex.org/W4248557088","https://openalex.org/W6677752811","https://openalex.org/W6771876066"],"related_works":["https://openalex.org/W3018727313","https://openalex.org/W2163463765","https://openalex.org/W2007562802","https://openalex.org/W2607474334","https://openalex.org/W2130922779","https://openalex.org/W2185394135","https://openalex.org/W2082366402","https://openalex.org/W2121043529","https://openalex.org/W2742111403","https://openalex.org/W2083209667"],"abstract_inverted_index":{"State-of-the-art":[0],"EDA":[1,81,117],"tools":[2],"largely":[3],"employ":[4],"functional":[5,80,129],"circuit":[6],"models":[7,33,74,93],"that":[8,90,119],"are":[9],"inadequate":[10],"for":[11,34,75],"verifying":[12],"and":[13,21,68,102,123],"emulating":[14],"design":[15,39],"properties":[16],"related":[17],"to":[18,56,97,125],"fault":[19,30,54,59,76,99,104,121],"effect":[20,31,77],"tolerance.":[22],"In":[23],"this":[24],"paper,":[25],"we":[26],"derive":[27,63],"fully":[28],"synthesizable":[29],"propagation":[32,66,100],"formally":[35],"reasoning":[36],"about":[37],"fault-related":[38],"behaviors":[40],"under":[41],"different":[42],"types":[43],"of":[44],"faults.":[45],"We":[46,61],"associate":[47],"each":[48],"signal":[49],"bit":[50],"with":[51],"a":[52,112],"binary":[53],"label":[55],"reflect":[57],"its":[58],"attribute.":[60],"further":[62],"fine-granularity":[64],"precise":[65],"policies":[67,71],"specify":[69],"these":[70],"as":[72],"formal":[73,92],"analysis":[78],"using":[79,85],"tools.":[82],"Experimental":[83],"results":[84],"IWLS":[86],"benchmarks":[87],"have":[88],"demonstrated":[89],"our":[91],"can":[94],"be":[95,126],"used":[96],"measure":[98],"effects":[101],"accelerate":[103],"verification":[105],"through":[106],"hardware":[107],"emulation.":[108],"Our":[109],"work":[110],"makes":[111],"step":[113],"towards":[114],"property":[115],"driven":[116],"flows":[118],"allow":[120],"tolerance":[122],"dependability":[124],"verified":[127],"alongside":[128],"correctness.":[130]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}