{"id":"https://openalex.org/W2111591476","doi":"https://doi.org/10.1109/tcad.2008.2009163","title":"Accurate Rank Ordering of Error Candidates for Efficient HDL Design Debugging","display_name":"Accurate Rank Ordering of Error Candidates for Efficient HDL Design Debugging","publication_year":2009,"publication_date":"2009-01-20","ids":{"openalex":"https://openalex.org/W2111591476","doi":"https://doi.org/10.1109/tcad.2008.2009163","mag":"2111591476"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2008.2009163","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2008.2009163","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","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/A5062204436","display_name":"Tai-Ying Jiang","orcid":null},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]},{"id":"https://openalex.org/I22265921","display_name":"National Central University","ror":"https://ror.org/00944ve71","country_code":"TW","type":"education","lineage":["https://openalex.org/I22265921"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Tai-Ying Jiang","raw_affiliation_strings":["Department of Electrical Engineering, National Central University, Hsinchu, Taiwan","Dept. of Electron. Eng., National Chiao Tung Univ., HsinChu"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, National Central University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I22265921"]},{"raw_affiliation_string":"Dept. of Electron. Eng., National Chiao Tung Univ., HsinChu","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110255860","display_name":"C.-N.J. Liu","orcid":"https://orcid.org/0009-0003-2803-7104"},"institutions":[{"id":"https://openalex.org/I22265921","display_name":"National Central University","ror":"https://ror.org/00944ve71","country_code":"TW","type":"education","lineage":["https://openalex.org/I22265921"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"C.-N.J. Liu","raw_affiliation_strings":["Department of Electrical Engineering, National Central University, Jhongli, Taiwan","Dept. of Electr. Eng., Nat. Central Univ., Jhongli"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, National Central University, Jhongli, Taiwan","institution_ids":["https://openalex.org/I22265921"]},{"raw_affiliation_string":"Dept. of Electr. Eng., Nat. Central Univ., Jhongli","institution_ids":["https://openalex.org/I22265921"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111925764","display_name":"Jing-Yang Jou","orcid":null},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Jing-Yang Jou","raw_affiliation_strings":["Department of Electronics Engineering, National Chiao Tung University, Hsinchu, Taiwan","Dept. of Electron. Eng., National Chiao Tung Univ., HsinChu"],"affiliations":[{"raw_affiliation_string":"Department of Electronics Engineering, National Chiao Tung University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I148366613"]},{"raw_affiliation_string":"Dept. of Electron. Eng., National Chiao Tung Univ., HsinChu","institution_ids":["https://openalex.org/I148366613"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5062204436"],"corresponding_institution_ids":["https://openalex.org/I148366613","https://openalex.org/I22265921"],"apc_list":null,"apc_paid":null,"fwci":0.8033,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.7409895,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"28","issue":"2","first_page":"272","last_page":"284"},"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.9997000098228455,"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.9997000098228455,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9984999895095825,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.998199999332428,"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/debugging","display_name":"Debugging","score":0.8621319532394409},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.6925617456436157},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.689457356929779},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6782844662666321},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4982283115386963},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.44533517956733704},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.4209045469760895},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3973020315170288},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39120423793792725},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.37086403369903564},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36267685890197754},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.162298321723938}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8621319532394409},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.6925617456436157},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.689457356929779},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6782844662666321},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4982283115386963},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.44533517956733704},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.4209045469760895},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3973020315170288},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39120423793792725},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.37086403369903564},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36267685890197754},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.162298321723938},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tcad.2008.2009163","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2008.2009163","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.1013.8600","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1013.8600","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://ir.nctu.edu.tw:443/bitstream/11536/7684/1/000262816900009.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1488065032","https://openalex.org/W1491456010","https://openalex.org/W1616503258","https://openalex.org/W1929372306","https://openalex.org/W1963105722","https://openalex.org/W1979903718","https://openalex.org/W2100555686","https://openalex.org/W2103509853","https://openalex.org/W2109092163","https://openalex.org/W2112141751","https://openalex.org/W2120371405","https://openalex.org/W2121954536","https://openalex.org/W2122893809","https://openalex.org/W2124618076","https://openalex.org/W2133125655","https://openalex.org/W2137012271","https://openalex.org/W2139763472","https://openalex.org/W2144739191","https://openalex.org/W2148989788","https://openalex.org/W2154193702","https://openalex.org/W2154462766","https://openalex.org/W2159817137","https://openalex.org/W2165566357","https://openalex.org/W2295683841","https://openalex.org/W4229850662","https://openalex.org/W4230124513","https://openalex.org/W6636477319"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W2155788121","https://openalex.org/W2480201319","https://openalex.org/W2294325978","https://openalex.org/W2061417947"],"abstract_inverted_index":{"When":[0],"hardware":[1],"description":[2],"languages":[3],"(HDLs)":[4],"are":[5,120],"used":[6,184],"in":[7,22,36,66,91,104,122,200,225,262,289],"describing":[8],"the":[9,23,27,49,64,67,88,92,147,149,156,178,182,190,202,211,221,236,252,291,312],"behavior":[10],"of":[11,26,45,113,130,204,206,223,238,293],"a":[12,42,123,141,145,227,244,266,299],"digital":[13],"circuit,":[14],"design":[15,61,142,164,174],"errors":[16,62,165,175],"(or":[17,144],"bugs)":[18],"almost":[19],"inevitably":[20],"appear":[21],"HDL":[24],"code":[25],"circuit.":[28],"Existing":[29],"approaches":[30],"attempt":[31],"to":[32,85,100,109,210,242,264,311],"reduce":[33],"efforts":[34],"involved":[35],"this":[37,116,239],"debugging":[38],"process":[39,90],"by":[40],"extracting":[41],"reduced":[43],"set":[44,51,68],"error":[46,56,94,102,118,138,143,207],"candidates.":[47,180],"However,":[48,181],"derived":[50,93,179],"can":[52,296],"still":[53,70],"contain":[54],"many":[55],"candidates,":[57],"and":[58,269,295],"finding":[59],"true":[60],"among":[63,176],"candidates":[65,103,119,208],"may":[69],"consume":[71],"much":[72],"valuable":[73],"time.":[74],"A":[75],"<i":[76,79,191,194,212,215,228,231,253,256,271,274,300,303],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[77,80,192,195,213,216,229,232,254,257,272,275,301,304],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">debugging</i>":[78,193,230,273,302],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">priority</i>":[81,196,233,276,305],"method":[82],"was":[83],"proposed":[84,284],"speed":[86],"up":[87],"error-searching":[89],"candidate":[95,139],"set.":[96],"The":[97,134,278],"idea":[98],"is":[99,140,241],"display":[101],"an":[105,110,132,137],"order":[106,125,151,263],"that":[107,152,250,282],"corresponds":[108],"individual's":[111],"degree":[112,222],"suspicion.":[114],"With":[115,155],"method,":[117],"placed":[121],"rank":[124,150,158],"based":[126],"on":[127],"their":[128],"probability":[129],"being":[131],"error.":[133],"more":[135,267],"likely":[136],"bug),":[146],"higher":[148],"it":[153],"has.":[154],"displayed":[157],"order,":[159],"circuit":[160],"designers":[161],"should":[162],"find":[163],"quicker":[166],"than":[167],"with":[168,306],"blind":[169],"searching":[170,172],"when":[171],"for":[173,188],"all":[177],"currently":[183],"confidence":[185,247],"score":[186,248],"(CS)":[187],"deriving":[189],"has":[197],"some":[198],"flaws":[199],"estimating":[201,290],"likelihood":[203,292],"correctness":[205,294],"due":[209],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">masking</i>":[214,255],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">error</i>":[217,258],"situation.":[218],"This":[219],"reduces":[220],"accuracy":[224],"establishing":[226],".":[234,277],"Therefore,":[235],"objective":[237],"work":[240],"develop":[243],"new":[245],"probabilistic":[246],"(PCS)":[249],"takes":[251],"situation":[259],"into":[260],"consideration":[261],"provide":[265],"reliable":[268],"accurate":[270],"experimental":[279],"results":[280,288],"show":[281],"our":[283],"PCS":[285],"achieves":[286],"better":[287,307],"indeed":[297],"suggest":[298],"accuracy,":[308],"as":[309],"compared":[310],"CS.":[313]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}