{"id":"https://openalex.org/W2913446198","doi":"https://doi.org/10.1142/s0218126619502402","title":"Automatic Test Pattern Generation Through Boolean Satisfiability for Testing Bridging Faults","display_name":"Automatic Test Pattern Generation Through Boolean Satisfiability for Testing Bridging Faults","publication_year":2019,"publication_date":"2019-01-23","ids":{"openalex":"https://openalex.org/W2913446198","doi":"https://doi.org/10.1142/s0218126619502402","mag":"2913446198"},"language":"en","primary_location":{"id":"doi:10.1142/s0218126619502402","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218126619502402","pdf_url":null,"source":{"id":"https://openalex.org/S167602672","display_name":"Journal of Circuits Systems and Computers","issn_l":"0218-1266","issn":["0218-1266","1793-6454"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Circuits, Systems and Computers","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/A5063137856","display_name":"Hossein Mokhtarnia","orcid":null},"institutions":[{"id":"https://openalex.org/I39268498","display_name":"University of Isfahan","ror":"https://ror.org/05h9t7759","country_code":"IR","type":"education","lineage":["https://openalex.org/I39268498"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Hossein Mokhtarnia","raw_affiliation_strings":["Department of Computer Architecture, Faculty of Computer Engineering, University of Isfahan, Azadi square, Isfahan 8174673441, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Architecture, Faculty of Computer Engineering, University of Isfahan, Azadi square, Isfahan 8174673441, Iran","institution_ids":["https://openalex.org/I39268498"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005532865","display_name":"Shahram Etemadi Borujeni","orcid":"https://orcid.org/0000-0002-0959-3952"},"institutions":[{"id":"https://openalex.org/I39268498","display_name":"University of Isfahan","ror":"https://ror.org/05h9t7759","country_code":"IR","type":"education","lineage":["https://openalex.org/I39268498"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Shahram Etemadi Borujeni","raw_affiliation_strings":["Department of Computer Architecture, Faculty of Computer Engineering, University of Isfahan, Azadi square, Isfahan 8174673441, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Architecture, Faculty of Computer Engineering, University of Isfahan, Azadi square, Isfahan 8174673441, Iran","institution_ids":["https://openalex.org/I39268498"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073438904","display_name":"Mohammad Saeed Ehsani","orcid":"https://orcid.org/0000-0002-1902-5895"},"institutions":[{"id":"https://openalex.org/I39268498","display_name":"University of Isfahan","ror":"https://ror.org/05h9t7759","country_code":"IR","type":"education","lineage":["https://openalex.org/I39268498"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Mohammad Saeed Ehsani","raw_affiliation_strings":["Department of Artificial Intelligence, Faculty of Computer Engineering, University of Isfahan, Azadi square, Isfahan 8174673441, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence, Faculty of Computer Engineering, University of Isfahan, Azadi square, Isfahan 8174673441, Iran","institution_ids":["https://openalex.org/I39268498"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I39268498"],"apc_list":null,"apc_paid":null,"fwci":0.4788,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.57429026,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"28","issue":"14","first_page":"1950240","last_page":"1950240"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9988999962806702,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9954000115394592,"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/automatic-test-pattern-generation","display_name":"Automatic test pattern generation","score":0.89566969871521},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.8241642713546753},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.7318309545516968},{"id":"https://openalex.org/keywords/testability","display_name":"Testability","score":0.7152311205863953},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.669450044631958},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6588486433029175},{"id":"https://openalex.org/keywords/digital-electronics","display_name":"Digital electronics","score":0.6410726308822632},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6355854272842407},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5534725189208984},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.509009599685669},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4870443642139435},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.4833056926727295},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.4825281798839569},{"id":"https://openalex.org/keywords/stuck-at-fault","display_name":"Stuck-at fault","score":0.46893930435180664},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4204169511795044},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.3545478582382202},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.2649255394935608},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.20219939947128296},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15630435943603516},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09033000469207764},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.08010208606719971}],"concepts":[{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.89566969871521},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.8241642713546753},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.7318309545516968},{"id":"https://openalex.org/C51234621","wikidata":"https://www.wikidata.org/wiki/Q2149495","display_name":"Testability","level":2,"score":0.7152311205863953},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.669450044631958},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6588486433029175},{"id":"https://openalex.org/C81843906","wikidata":"https://www.wikidata.org/wiki/Q173156","display_name":"Digital electronics","level":3,"score":0.6410726308822632},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6355854272842407},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5534725189208984},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.509009599685669},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4870443642139435},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.4833056926727295},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4825281798839569},{"id":"https://openalex.org/C13625343","wikidata":"https://www.wikidata.org/wiki/Q7627418","display_name":"Stuck-at fault","level":4,"score":0.46893930435180664},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4204169511795044},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.3545478582382202},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.2649255394935608},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.20219939947128296},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15630435943603516},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09033000469207764},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.08010208606719971},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218126619502402","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218126619502402","pdf_url":null,"source":{"id":"https://openalex.org/S167602672","display_name":"Journal of Circuits Systems and Computers","issn_l":"0218-1266","issn":["0218-1266","1793-6454"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Circuits, Systems and Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W53227076","https://openalex.org/W584286595","https://openalex.org/W646410877","https://openalex.org/W1491411410","https://openalex.org/W1503570386","https://openalex.org/W1555867349","https://openalex.org/W1595368737","https://openalex.org/W1819209966","https://openalex.org/W1949943063","https://openalex.org/W1969474413","https://openalex.org/W1988380797","https://openalex.org/W2009778415","https://openalex.org/W2014953362","https://openalex.org/W2021492392","https://openalex.org/W2038380992","https://openalex.org/W2046817879","https://openalex.org/W2070574955","https://openalex.org/W2079866295","https://openalex.org/W2095537921","https://openalex.org/W2105498616","https://openalex.org/W2106159358","https://openalex.org/W2111994103","https://openalex.org/W2112886407","https://openalex.org/W2125024536","https://openalex.org/W2135613306","https://openalex.org/W2148195612","https://openalex.org/W2149107969","https://openalex.org/W2150446686","https://openalex.org/W2160444875","https://openalex.org/W2165929878","https://openalex.org/W2173124859","https://openalex.org/W2286452981","https://openalex.org/W2295454824","https://openalex.org/W2543308102","https://openalex.org/W2757563118","https://openalex.org/W2888957887","https://openalex.org/W4302458519"],"related_works":["https://openalex.org/W1959264300","https://openalex.org/W2913446198","https://openalex.org/W2099675301","https://openalex.org/W13716531","https://openalex.org/W2140824755","https://openalex.org/W2125459034","https://openalex.org/W2013362039","https://openalex.org/W3092328083","https://openalex.org/W1571782891","https://openalex.org/W2885633005"],"abstract_inverted_index":{"Automatic":[0],"test":[1],"pattern":[2,139],"generation":[3],"(ATPG)":[4],"is":[5,55,68,84,97,113,134,148],"one":[6],"of":[7,39,58,62,74,131,157,165],"the":[8,21,25,40,60,76,81,91,94,101,105,109,117,120,125,129,132,137,142,145,155,161,170],"important":[9],"issues":[10],"in":[11,20,80,144],"testing":[12,52,75,169],"digital":[13,41],"circuits.":[14,42,122],"Due":[15],"to":[16,65],"considerable":[17],"advances":[18],"made":[19],"past":[22],"two":[23],"decades,":[24],"ATPG":[26,50],"algorithms":[27],"that":[28],"are":[29],"based":[30,86],"on":[31,87],"Boolean":[32,63,88],"satisfiability":[33,64],"have":[34],"become":[35],"an":[36],"integral":[37],"part":[38],"In":[43,90],"this":[44,158,166],"paper,":[45],"a":[46,71],"new":[47,72],"method":[48,73,167],"for":[49,51,140,168],"bridging":[53,78,171],"faults":[54,79],"introduced.":[56],"First":[57],"all,":[59],"application":[61],"circuit":[66,96,112,147],"modeling":[67],"explained.":[69],"Afterwards,":[70,108],"nonfeedback":[77],"combinational":[82],"circuits":[83],"proposed":[85,92],"satisfiability.":[89],"method,":[93],"faulty":[95,102,121],"obtained":[98],"by":[99,115],"injecting":[100],"gate":[103],"into":[104],"main":[106,146],"circuit.":[107],"final":[110],"differential":[111,127],"prepared":[114],"using":[116,124],"fault-free":[118],"and":[119,136,163],"Finally,":[123],"resulting":[126],"circuit,":[128],"testability":[130],"fault":[133,143],"assessed":[135],"input":[138],"detecting":[141],"derived.":[149],"The":[150],"experimental":[151],"results":[152],"presented":[153],"at":[154],"end":[156],"paper":[159],"indicate":[160],"effectiveness":[162],"usefulness":[164],"faults.":[172]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}