{"id":"https://openalex.org/W2150872339","doi":"https://doi.org/10.1145/1057661.1057723","title":"Forward image computation with backtracing ATPG and incremental state-set construction","display_name":"Forward image computation with backtracing ATPG and incremental state-set construction","publication_year":2005,"publication_date":"2005-04-17","ids":{"openalex":"https://openalex.org/W2150872339","doi":"https://doi.org/10.1145/1057661.1057723","mag":"2150872339"},"language":"en","primary_location":{"id":"doi:10.1145/1057661.1057723","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1057661.1057723","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM Great Lakes symposium on VLSI","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/A5064923800","display_name":"Kameshwar Chandrasekar","orcid":"https://orcid.org/0000-0002-6249-5593"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kameshwar Chandrasekar","raw_affiliation_strings":["Virginia Tech, Blacksburg, VA"],"affiliations":[{"raw_affiliation_string":"Virginia Tech, Blacksburg, VA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108516165","display_name":"Michael S. Hsiao","orcid":null},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael S. Hsiao","raw_affiliation_strings":["Virginia Tech, Blacksburg, VA"],"affiliations":[{"raw_affiliation_string":"Virginia Tech, Blacksburg, VA","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064923800"],"corresponding_institution_ids":["https://openalex.org/I859038795"],"apc_list":null,"apc_paid":null,"fwci":0.3514,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6374448,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"254","last_page":"259"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9980999827384949,"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.9975000023841858,"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/binary-decision-diagram","display_name":"Binary decision diagram","score":0.8022347092628479},{"id":"https://openalex.org/keywords/automatic-test-pattern-generation","display_name":"Automatic test pattern generation","score":0.7995282411575317},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6367141008377075},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5661672949790955},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5661396384239197},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5237572193145752},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5022273063659668},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.46178632974624634},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3669111132621765},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.11487913131713867}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.8022347092628479},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.7995282411575317},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6367141008377075},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5661672949790955},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5661396384239197},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5237572193145752},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5022273063659668},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.46178632974624634},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3669111132621765},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.11487913131713867},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1057661.1057723","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1057661.1057723","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM Great Lakes symposium on VLSI","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6899999976158142,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1494481937","https://openalex.org/W1505907827","https://openalex.org/W1506660274","https://openalex.org/W1510368738","https://openalex.org/W1516564968","https://openalex.org/W1518705996","https://openalex.org/W1599960931","https://openalex.org/W1814068099","https://openalex.org/W1856915098","https://openalex.org/W1889322523","https://openalex.org/W1975335740","https://openalex.org/W2101159578","https://openalex.org/W2109821587","https://openalex.org/W2111265695","https://openalex.org/W2136678847","https://openalex.org/W2144883917","https://openalex.org/W2151398141","https://openalex.org/W2156358952","https://openalex.org/W2156490005","https://openalex.org/W2161677825","https://openalex.org/W2162256736","https://openalex.org/W2171471221","https://openalex.org/W2603178913","https://openalex.org/W2911267893","https://openalex.org/W4231104284","https://openalex.org/W6638964787"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W2128052678","https://openalex.org/W2157810365"],"abstract_inverted_index":{"Image":[0],"computation":[1,67],"is":[2],"a":[3,39,69,80,105,140],"fundamental":[4],"step":[5],"in":[6,42,55,104],"formal":[7],"verification":[8],"of":[9,73,117,154,174],"sequential":[10,13],"systems,":[11],"including":[12],"equivalence":[14],"checking":[15],"and":[16,100,144,163,179],"symbolic":[17],"model":[18],"checking.":[19],"Since":[20],"conventional":[21],"Reduced":[22],"Ordered":[23],"Binary":[24,107],"Decision":[25,108],"Diagram":[26,109],"(ROBDD)":[27],"based":[28,53,126,135],"methods":[29],"can":[30,171],"potentially":[31],"suffer":[32],"from":[33],"memory":[34],"explosion,":[35],"there":[36],"has":[37,60],"been":[38,61],"growing":[40],"interest":[41],"using":[43],"Automatic":[44],"Test":[45],"Pattern":[46],"Generation":[47],"(ATPG)":[48],"/":[49],"Boolean":[50],"Satisfiability":[51],"(SAT)":[52],"techniques":[54,137,149],"recent":[56],"years.":[57],"While":[58],"ATPG":[59,83,93],"successful":[62],"for":[63,85,142],"computing":[64],"pre-image,":[65],"image":[66,87,98,118,156],"presents":[68],"very":[70],"different":[71],"set":[72],"problems.":[74],"In":[75,111],"this":[76],"paper,":[77],"we":[78,120,170],"present":[79],"novel":[81],"backtracing-based":[82],"technique":[84],"forward":[86],"computation.":[88],"We":[89],"carefully":[90],"alter":[91],"the":[92,97,115,152],"engine":[94],"to":[95,113,130,150],"compute":[96],"cubes":[99],"store":[101],"them":[102],"incrementally":[103],"Zero-Suppressed":[106],"(ZBDD).":[110],"order":[112],"improve":[114],"efficiency":[116],"computation,":[119],"propose":[121],"three":[122],"heuristics:":[123],"(i)":[124],"gate-observability":[125],"decision":[127],"selection":[128],"heuristics":[129],"accelerate":[131],"ATPG,":[132],"(ii)":[133],"search-state":[134],"learning":[136],"supported":[138],"with":[139],"proof":[141],"correctness,":[143],"(iii)":[145],"on-the-fly":[146],"state-set":[147],"minimization":[148],"reduce":[151],"size":[153],"computed":[155],"set.":[157],"Experimental":[158],"results":[159],"on":[160],"ISCAS":[161],"'89":[162],"ITC":[164],"'99":[165],"benchmark":[166],"circuits":[167],"show":[168],"that":[169],"achieve":[172],"orders":[173],"magnitude":[175],"improvement":[176],"over":[177],"OBDD-based":[178],"SAT-based":[180],"techniques.":[181]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}