{"id":"https://openalex.org/W2127005882","doi":"https://doi.org/10.1109/test.2003.1270851","title":"Efficient sequential atpg for functional rtl circuits","display_name":"Efficient sequential atpg for functional rtl circuits","publication_year":2004,"publication_date":"2004-07-08","ids":{"openalex":"https://openalex.org/W2127005882","doi":"https://doi.org/10.1109/test.2003.1270851","mag":"2127005882"},"language":"en","primary_location":{"id":"doi:10.1109/test.2003.1270851","is_oa":false,"landing_page_url":"https://doi.org/10.1109/test.2003.1270851","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Test Conference, 2003. Proceedings. ITC 2003.","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/A5100425268","display_name":"Liang Zhang","orcid":"https://orcid.org/0000-0003-1566-4902"},"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"]},{"id":"https://openalex.org/I4210094759","display_name":"Fujitsu (United States)","ror":"https://ror.org/0073whr05","country_code":"US","type":"company","lineage":["https://openalex.org/I2252096349","https://openalex.org/I4210094759"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Liang Zhang","raw_affiliation_strings":["Department of ECE, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","Fujitsu Labs of America, Inc.#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Fujitsu Labs of America, Inc.#TAB#","institution_ids":["https://openalex.org/I4210094759"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102001964","display_name":"Indradeep Ghosh","orcid":"https://orcid.org/0000-0003-3146-4003"},"institutions":[{"id":"https://openalex.org/I4210094759","display_name":"Fujitsu (United States)","ror":"https://ror.org/0073whr05","country_code":"US","type":"company","lineage":["https://openalex.org/I2252096349","https://openalex.org/I4210094759"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"I. Ghosh","raw_affiliation_strings":["Fujitsu Laboratories., America, Inc., CA, USA","Fujitsu Laboratories of America Inc., Sunnyvale, CA"],"affiliations":[{"raw_affiliation_string":"Fujitsu Laboratories., America, Inc., CA, USA","institution_ids":["https://openalex.org/I4210094759"]},{"raw_affiliation_string":"Fujitsu Laboratories of America Inc., Sunnyvale, CA","institution_ids":["https://openalex.org/I4210094759"]}]},{"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":"M. Hsiao","raw_affiliation_strings":["Department of ECE, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","Virginia Tech , Blacksburg, VA"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Virginia Tech , Blacksburg, VA","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100425268"],"corresponding_institution_ids":["https://openalex.org/I4210094759","https://openalex.org/I859038795"],"apc_list":null,"apc_paid":null,"fwci":3.9614,"has_fulltext":false,"cited_by_count":51,"citation_normalized_percentile":{"value":0.93425226,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"1","issue":null,"first_page":"290","last_page":"298"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9986000061035156,"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.7717838287353516},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6934279203414917},{"id":"https://openalex.org/keywords/sequential-logic","display_name":"Sequential logic","score":0.5004799365997314},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.47994568943977356},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.45673537254333496},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.4250054657459259},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.39275050163269043},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.3780769109725952},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35697320103645325},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1361597776412964},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.09252440929412842}],"concepts":[{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.7717838287353516},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6934279203414917},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.5004799365997314},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.47994568943977356},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.45673537254333496},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.4250054657459259},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.39275050163269043},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.3780769109725952},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35697320103645325},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1361597776412964},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.09252440929412842}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/test.2003.1270851","is_oa":false,"landing_page_url":"https://doi.org/10.1109/test.2003.1270851","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Test Conference, 2003. Proceedings. ITC 2003.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.104.3576","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.3576","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://csdl.computer.org/comp/proceedings/itc/2003/2063/00/20630290.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.116.3051","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.3051","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.itcprogramdev.org/itc2003proc/papers/pdfs/0011_3c.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.4.4763","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.4763","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.visc.vt.edu/~mhsiao/papers/itc03_lz.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W2104074933","https://openalex.org/W2105352502","https://openalex.org/W2115180022","https://openalex.org/W2118623093","https://openalex.org/W2124618076","https://openalex.org/W2125618072","https://openalex.org/W2128144345","https://openalex.org/W2130024882","https://openalex.org/W2135931142","https://openalex.org/W2141412440","https://openalex.org/W2143744297","https://openalex.org/W2145401040","https://openalex.org/W2152889194","https://openalex.org/W2165566357","https://openalex.org/W3149357776","https://openalex.org/W4230576944","https://openalex.org/W4230587734","https://openalex.org/W4245928206"],"related_works":["https://openalex.org/W2098289641","https://openalex.org/W2170656965","https://openalex.org/W2141396628","https://openalex.org/W2111485030","https://openalex.org/W2151739026","https://openalex.org/W2159970201","https://openalex.org/W2146303825","https://openalex.org/W1599245032","https://openalex.org/W2154252211","https://openalex.org/W2125486634"],"abstract_inverted_index":{"We":[0,59,103],"present":[1],"an":[2],"efficient":[3],"register-transfer":[4],"level":[5],"automatic":[6],"test":[7,36,41,52,57,143,176],"pattern":[8],"generation":[9,177],"(ATPG)":[10],"algorithm.":[11],"First,":[12],"our":[13,164],"ATPG":[14,77,187,190,198],"generates":[15],"a":[16,29,35,61,133,146,193],"series":[17],"of":[18,172,175,202],"sequential":[19],"justification":[20,68],"and":[21,69,94,113,118,206],"propagation":[22,70],"paths":[23],"for":[24,43,154],"each":[25],"RTL":[26,45,135,167],"primitive":[27],"via":[28],"deterministic":[30,142,166],"branch-and-bound":[31],"search":[32,101],"process,":[33],"called":[34],"environment.":[37],"Then":[38],"the":[39,44,50,67,73,86,89,100,123,130,141,155],"precomputed":[40],"vectors":[42],"primitives":[46],"are":[47],"plugged":[48],"into":[49],"generated":[51],"environments":[53],"to":[54,64,98,108,121,128,139,185],"form":[55],"gate-level":[56],"vectors.":[58],"augment":[60,140],"9-valued":[62],"algebra":[63],"efficiently":[65],"represent":[66],"objectives":[71],"at":[72],"RT":[74],"Level.":[75],"Our":[76,189],"automatically":[78],"extracts":[79],"any":[80],"finite":[81],"state":[82,90],"machine":[83],"(FSM)":[84],"from":[85],"circuit,":[87],"constructs":[88],"transition":[91],"graph":[92],"(STG),":[93],"uses":[95],"high-level":[96,197],"information":[97],"guide":[99],"process.":[102],"propose":[104],"new":[105,165],"static":[106,119],"methods":[107],"identify":[109],"embedded":[110],"counter":[111],"structures,":[112],"we":[114],"use":[115],"implication-based":[116],"techniques":[117,168],"learning":[120],"find":[122],"FSM":[124],"traversal":[125],"sequences":[126],"sufficient":[127],"control":[129],"counters.":[131],"Finally,":[132],"simulation-based":[134,196],"extension":[136],"is":[137,151],"added":[138],"set":[144],"in":[145,157,200],"few":[147],"cases":[148],"when":[149,183],"there":[150],"additional":[152],"room":[153],"improvement":[156],"fault":[158,181,204],"coverage.":[159],"Experimental":[160],"results":[161],"show":[162],"that":[163],"achieve":[169],"several":[170],"orders":[171],"magnitude":[173],"reduction":[174],"time":[178],"without":[179],"compromising":[180],"coverage":[182,205],"compared":[184],"gatelevel":[186],"tools.":[188],"also":[191],"outperforms":[192],"recently":[194],"reported":[195],"tool":[199],"terms":[201],"both":[203],"CPU":[207],"time.":[208],"1.":[209]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}