{"id":"https://openalex.org/W1603714416","doi":"https://doi.org/10.1109/hldvt.2003.1252483","title":"Redundant functional faults reduction by saboteurs synthesis [logic verification]","display_name":"Redundant functional faults reduction by saboteurs synthesis [logic verification]","publication_year":2004,"publication_date":"2004-03-30","ids":{"openalex":"https://openalex.org/W1603714416","doi":"https://doi.org/10.1109/hldvt.2003.1252483","mag":"1603714416"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2003.1252483","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2003.1252483","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Eighth IEEE International High-Level Design Validation and Test Workshop","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/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"F. Fummi","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Verona, Italy","Dipt. di Inf., Verona Univ., Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Dipt. di Inf., Verona Univ., Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023565015","display_name":"C. Marconcini","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"C. Marconcini","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Verona, Italy","Dipt. di Inf., Verona Univ., Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Dipt. di Inf., Verona Univ., Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025088388","display_name":"Graziano Pravadelli","orcid":"https://orcid.org/0000-0002-7833-1673"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"G. Pravadelli","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Verona, Italy","Dipt. di Inf., Verona Univ., Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Dipt. di Inf., Verona Univ., Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5040302302"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":1.6458,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.82685399,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"108","last_page":"113"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"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.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/fault-injection","display_name":"Fault injection","score":0.7700382471084595},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6650983691215515},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.6351618766784668},{"id":"https://openalex.org/keywords/automatic-test-pattern-generation","display_name":"Automatic test pattern generation","score":0.6022077798843384},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5726352334022522},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.5140522718429565},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.5113422274589539},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.479633629322052},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.46769216656684875},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.45958179235458374},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3867560029029846},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3671860992908478},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3372642993927002},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3355415463447571},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2023448348045349},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.13293546438217163},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.1284795105457306},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11183258891105652},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09267464280128479},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07577288150787354}],"concepts":[{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.7700382471084595},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6650983691215515},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.6351618766784668},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.6022077798843384},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5726352334022522},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.5140522718429565},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5113422274589539},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.479633629322052},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.46769216656684875},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.45958179235458374},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3867560029029846},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3671860992908478},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3372642993927002},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3355415463447571},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2023448348045349},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.13293546438217163},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.1284795105457306},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11183258891105652},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09267464280128479},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07577288150787354},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hldvt.2003.1252483","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2003.1252483","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Eighth IEEE International High-Level Design Validation and Test Workshop","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1497434308","https://openalex.org/W1567413682","https://openalex.org/W2076273505","https://openalex.org/W2078065502","https://openalex.org/W2080147108","https://openalex.org/W2098513789","https://openalex.org/W2109951594","https://openalex.org/W2123329891","https://openalex.org/W2129998589","https://openalex.org/W2133867898","https://openalex.org/W2137064798","https://openalex.org/W2150764159","https://openalex.org/W2151723639","https://openalex.org/W2161285332","https://openalex.org/W2169762009","https://openalex.org/W2537440096","https://openalex.org/W3010856131","https://openalex.org/W4243707100","https://openalex.org/W4253588951","https://openalex.org/W6606211016","https://openalex.org/W6670127199"],"related_works":["https://openalex.org/W4256030018","https://openalex.org/W2147400189","https://openalex.org/W2340957901","https://openalex.org/W2568949342","https://openalex.org/W1555400249","https://openalex.org/W2031110496","https://openalex.org/W2130922779","https://openalex.org/W2037862379","https://openalex.org/W2121043529","https://openalex.org/W2157154381"],"abstract_inverted_index":{"High-level":[0],"descriptions":[1],"of":[2,29,49,86,108],"digital":[3],"systems":[4],"are":[5,46],"perturbed":[6],"by":[7],"using":[8,112],"high-level":[9,74],"fault":[10,34,38,60,123],"models":[11],"in":[12,24],"order":[13,25],"to":[14,26,96],"perform":[15],"functional":[16,117],"verification.":[17],"Fault":[18],"lists":[19],"should":[20,55],"be":[21,56],"accurately":[22],"created":[23],"avoid":[27],"waste":[28],"time":[30,119],"during":[31],"ATPG":[32],"and":[33,122],"simulation.":[35],"However,":[36],"automatic":[37,71],"injection":[39,115],"tools":[40],"can":[41],"insert":[42],"redundant":[43,53,79,100],"faults":[44,54,75,101],"which":[45,77,93],"not":[47],"symptoms":[48],"design":[50],"errors.":[51],"Such":[52],"removed":[57],"from":[58],"the":[59,64,106,109,113],"list":[61],"before":[62],"starting":[63],"verification":[65],"session.":[66],"This":[67],"paper":[68],"proposes":[69],"an":[70],"strategy":[72],"for":[73,99],"injection,":[76],"removes":[78],"bit":[80,88],"coverage":[81,89,124],"faults.":[82],"An":[83],"efficient":[84],"implementation":[85],"a":[87],"saboteur":[90],"is":[91,120,125],"proposed,":[92],"allows":[94],"one":[95],"use":[97],"synthesis":[98],"removal.":[102],"Experimental":[103],"results":[104],"highlight":[105],"effectiveness":[107],"methodology.":[110],"By":[111],"proposed":[114],"strategy,":[116],"APTG":[118],"reduced":[121],"increased.":[126]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}