{"id":"https://openalex.org/W4247496367","doi":"https://doi.org/10.1109/famcad.2007.28","title":"Formal Verification of Partial Good Self-Test Fencing Structures","display_name":"Formal Verification of Partial Good Self-Test Fencing Structures","publication_year":2007,"publication_date":"2007-11-01","ids":{"openalex":"https://openalex.org/W4247496367","doi":"https://doi.org/10.1109/famcad.2007.28"},"language":"en","primary_location":{"id":"doi:10.1109/famcad.2007.28","is_oa":false,"landing_page_url":"https://doi.org/10.1109/famcad.2007.28","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in Computer Aided Design (FMCAD'07)","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/A5083501288","display_name":"Adrian E. Seigler","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Adrian E. Seigler","raw_affiliation_strings":["IBM, Corporation, USA"],"affiliations":[{"raw_affiliation_string":"IBM, Corporation, USA","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014570766","display_name":"Gary A. Van Huben","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gary A. Van Huben","raw_affiliation_strings":["IBM, Corporation, USA"],"affiliations":[{"raw_affiliation_string":"IBM, Corporation, USA","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015308169","display_name":"Hari Mony","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hari Mony","raw_affiliation_strings":["IBM, Corporation, USA"],"affiliations":[{"raw_affiliation_string":"IBM, Corporation, USA","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5083501288"],"corresponding_institution_ids":["https://openalex.org/I1341412227"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.37140869,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"49","issue":null,"first_page":"188","last_page":"191"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9994000196456909,"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":0.9994000196456909,"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.9926000237464905,"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.9909999966621399,"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/fencing","display_name":"Fencing","score":0.9430361986160278},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7862579822540283},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5259775519371033},{"id":"https://openalex.org/keywords/test-vector","display_name":"Test vector","score":0.5151840448379517},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5041006803512573},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.43646419048309326},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.36392301321029663},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.324233740568161},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31839719414711},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.18041455745697021},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17849674820899963},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09499168395996094},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.08127975463867188}],"concepts":[{"id":"https://openalex.org/C48515440","wikidata":"https://www.wikidata.org/wiki/Q5443009","display_name":"Fencing","level":2,"score":0.9430361986160278},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7862579822540283},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5259775519371033},{"id":"https://openalex.org/C100767440","wikidata":"https://www.wikidata.org/wiki/Q7705816","display_name":"Test vector","level":3,"score":0.5151840448379517},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5041006803512573},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.43646419048309326},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36392301321029663},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.324233740568161},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31839719414711},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.18041455745697021},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17849674820899963},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09499168395996094},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.08127975463867188},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/famcad.2007.28","is_oa":false,"landing_page_url":"https://doi.org/10.1109/famcad.2007.28","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in Computer Aided Design (FMCAD'07)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6499999761581421,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1783770095","https://openalex.org/W1915669309","https://openalex.org/W2059807497","https://openalex.org/W2074193689","https://openalex.org/W2103375392","https://openalex.org/W2120072298","https://openalex.org/W2130183347","https://openalex.org/W2168716512","https://openalex.org/W4214486263","https://openalex.org/W6637983220","https://openalex.org/W6640052123","https://openalex.org/W6676983624","https://openalex.org/W6678012993"],"related_works":["https://openalex.org/W2105593427","https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W2108860137","https://openalex.org/W3209085687","https://openalex.org/W2153955347","https://openalex.org/W2533078207","https://openalex.org/W1928822090","https://openalex.org/W2125238773"],"abstract_inverted_index":{"The":[0],"concept":[1],"of":[2,17,36,42,51,55,95,114,122,139,156,170],"applying":[3,140],"partial":[4,43,66,103],"fencing":[5,44,67,104],"to":[6,98,166],"logic":[7,45,74],"built-in":[8],"self":[9],"test":[10],"(LBIST)":[11],"hardware":[12],"structures":[13],"for":[14,87],"the":[15,26,34,48,65,93,112,115,120,134,147,157,161,171],"purpose":[16],"using":[18,123,127],"partially":[19],"good":[20],"chips":[21],"is":[22,33],"well":[23],"known":[24],"in":[25],"chip":[27],"design":[28,105],"industry.":[29],"Deceptively":[30],"difficult":[31],"though":[32],"task":[35],"verifying":[37],"that":[38,64,100,151,163],"any":[39,72,101],"particular":[40],"implementation":[41],"actually":[46],"provides":[47],"desired":[49],"behavior":[50],"blocking":[52],"down-stream":[53],"impact":[54],"all":[56,107],"signals":[57],"from":[58,75],"fenced":[59],"interfaces,":[60],"and":[61,118],"also":[62,132],"ensuring":[63],"does":[68],"not":[69],"inadvertently":[70],"preclude":[71],"common":[73],"being":[76],"fully":[77],"tested.":[78],"In":[79],"this":[80,124,141],"paper":[81],"we":[82,145],"discuss":[83,119,133,146],"a":[84,88],"case":[85],"study":[86],"verification":[89,97,116,149,172],"method":[90,117,158],"which":[91],"exploits":[92],"power":[94],"formal":[96,148],"prove":[99],"given":[102],"satisfies":[106],"behavioral":[108],"expectations.":[109],"We":[110,131],"describe":[111],"details":[113],"benefits":[121],"approach":[125],"versus":[126],"traditional":[128],"simulation":[129],"methods.":[130],"testbenches":[135],"created":[136],"as":[137],"part":[138],"new":[142],"method.":[143],"Furthermore,":[144],"algorithms":[150],"were":[152],"employed":[153],"during":[154],"application":[155],"along":[159],"with":[160],"tuning":[162],"was":[164],"done":[165],"enable":[167],"efficient":[168],"completion":[169],"tasks":[173],"at":[174],"hand.":[175]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}