{"id":"https://openalex.org/W842893530","doi":null,"title":"An intelligent function level backward state justification search for atpg","display_name":"An intelligent function level backward state justification search for atpg","publication_year":1989,"publication_date":"1989-01-01","ids":{"openalex":"https://openalex.org/W842893530","mag":"842893530"},"language":"en","primary_location":{"id":"pmh:oai:repository.arizona.edu:10150/184921","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10150/184921","pdf_url":null,"source":{"id":"https://openalex.org/S4306400271","display_name":"UA Campus Repository (The University of Arizona)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I138006243","host_organization_name":"University of Arizona","host_organization_lineage":["https://openalex.org/I138006243"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation-Reproduction (electronic)"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"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/A5111928550","display_name":"Maddumage Karunaratne","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maddumage Karunaratne","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5111867540","display_name":"F.J. Hill","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"F.J. Hill","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"160","last_page":"160"},"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.9984999895095825,"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.9984999895095825,"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.0012000000569969416,"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"}},{"id":"https://openalex.org/T13293","display_name":"Engineering and Test Systems","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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.9890000224113464},{"id":"https://openalex.org/keywords/backward-search","display_name":"backward search","score":0.8399999737739563},{"id":"https://openalex.org/keywords/sequential-circuits","display_name":"sequential circuits","score":0.7480000257492065},{"id":"https://openalex.org/keywords/d-algorithm","display_name":"D* algorithm","score":0.8130000233650208},{"id":"https://openalex.org/keywords/partial-cover","display_name":"partial cover","score":0.656000018119812},{"id":"https://openalex.org/keywords/vhdl","display_name":"VHDL","score":0.5709999799728394},{"id":"https://openalex.org/keywords/vlsi-circuits","display_name":"VLSI circuits","score":0.7210000157356262},{"id":"https://openalex.org/keywords/search-heuristics","display_name":"search heuristics","score":0.6990000009536743}],"concepts":[{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5224142074584961},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.46913760900497437},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4663141667842865},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4137611985206604},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3434649705886841},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:repository.arizona.edu:10150/184921","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10150/184921","pdf_url":null,"source":{"id":"https://openalex.org/S4306400271","display_name":"UA Campus Repository (The University of Arizona)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I138006243","host_organization_name":"University of Arizona","host_organization_lineage":["https://openalex.org/I138006243"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation-Reproduction (electronic)"},{"id":"mag:842893530","doi":null,"is_oa":false,"landing_page_url":"http://arizona.openrepository.com/arizona/handle/10150/184921","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2069077946","https://openalex.org/W1548626748","https://openalex.org/W2127005882","https://openalex.org/W1969142133","https://openalex.org/W3028865338","https://openalex.org/W4232770995","https://openalex.org/W2120723497","https://openalex.org/W1965514683","https://openalex.org/W2099435571","https://openalex.org/W2169459573"],"abstract_inverted_index":{"This":[0,130],"dissertation":[1],"describes":[2],"an":[3,28,136],"innovative":[4],"approach":[5],"to":[6,42,67,135,182,212],"the":[7,12,22,40,68,71,87,91,99,150,166,172,183,202,218,236,240,247,251],"state":[8,46,59,84,89,168,174,232,238,242],"justification":[9,60,93],"portion":[10],"of":[11,24,118,140,204,221],"sequential":[13],"circuit":[14,34,45,151],"automatic":[15],"test":[16,35],"pattern":[17],"generation":[18,36],"(ATPG)":[19],"process.":[20],"Given":[21],"absence":[23],"a":[25,44,55,64,230],"stored":[26],"fault":[27,76],"ATPG":[29],"controller":[30],"invokes":[31,109],"some":[32],"combinational":[33,222],"procedure,":[37],"such":[38],"as":[39,147],"D-algorithm,":[41,216],"identify":[43],"(goal":[47],"state)":[48],"and":[49,98,114,149,158,176,192,239],"input":[50],"vectors":[51,120],"that":[52],"will":[53],"sensitize":[54],"selected":[56],"fault.":[57],"The":[58,104,161,225],"phase":[61],"then":[62],"finds":[63],"transfer":[65],"sequence":[66],"goal":[69,173],"from":[70,86,171],"present":[72,88,237,241],"state.":[73],"A":[74],"forward":[75,92],"propogation":[77],"search":[78,94,108,131,162,193,205,226,252],"can":[79,244],"be":[80],"successfully":[81,227],"guided":[82],"through":[83],"space":[85,169],"but":[90],"is":[95,102,132],"less":[96],"efficient":[97],"failure":[100],"rate":[101],"high.":[103],"backward":[105],"function":[106],"level":[107,112,138],"inverse":[110,199,219],"RTL":[111,137],"primitives":[113],"exploits":[115],"easy":[116],"movement":[117],"data":[119,159,177,187],"in":[121,128,189,215],"structured":[122],"VLSI":[123,190],"circuits.":[124],"Examples":[125],"illustrated":[126],"are":[127,145,153,179],"AHPL.":[129],"equally":[133],"applicable":[134],"subset":[139],"VHDL.":[141],"Combinational":[142],"logic":[143,223],"units":[144],"treated":[146],"functions":[148,200,220],"states":[152,157,178],"partitioned":[154],"into":[155],"control":[156,167,184],"states.":[160],"proceeds":[163],"backwards":[164],"over":[165],"starting":[170],"node":[175,233],"transformed":[180],"according":[181],"flow.":[185],"Vectorized":[186],"paths":[188],"circuits":[191],"guiding":[194],"heuristics":[195],"which":[196],"favor":[197],"convenient":[198],"keep":[201],"number":[203],"nodes":[206],"low.":[207],"Partial":[208],"covers,":[209],"conceptually":[210],"similar":[211],"singular":[213],"covers":[214],"model":[217],"units.":[224],"terminates":[228],"when":[229],"child":[231],"logically":[234],"matches":[235],"values":[243],"satisfy":[245],"all":[246],"constraints":[248],"encountered":[249],"along":[250],"path.":[253]},"counts_by_year":[],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2016-06-24T00:00:00"}