{"id":"https://openalex.org/W2085780923","doi":"https://doi.org/10.1109/tc.2014.2329687","title":"A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs","display_name":"A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2085780923","doi":"https://doi.org/10.1109/tc.2014.2329687","mag":"2085780923"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2014.2329687","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2014.2329687","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"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 Computers","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/A5069623023","display_name":"Bijan Alizadeh","orcid":"https://orcid.org/0000-0003-4436-4597"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Bijan Alizadeh","raw_affiliation_strings":["School of Electrical and Computer Engineering, College of Engineering, University of Tehran, North Kargar Ave., Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Engineering, College of Engineering, University of Tehran, North Kargar Ave., Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032487759","display_name":"Payman Behnam","orcid":"https://orcid.org/0000-0002-3826-9123"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Payman Behnam","raw_affiliation_strings":["School of Electrical and Computer Engineering, College of Engineering, University of Tehran, North Kargar Ave., Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Engineering, College of Engineering, University of Tehran, North Kargar Ave., Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059900184","display_name":"Somayeh Sadeghi-Kohan","orcid":"https://orcid.org/0000-0001-7246-0610"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Somayeh Sadeghi-kohan","raw_affiliation_strings":["School of Electrical and Computer Engineering, College of Engineering, University of Tehran, North Kargar Ave., Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Engineering, College of Engineering, University of Tehran, North Kargar Ave., Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7091,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.90255725,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/datapath","display_name":"Datapath","score":0.874828577041626},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8538955450057983},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.758315920829773},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5483704805374146},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4728389382362366},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.4279058277606964},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.4233500063419342},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.41265058517456055},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.36427631974220276},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3469921350479126},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30092769861221313}],"concepts":[{"id":"https://openalex.org/C2781198647","wikidata":"https://www.wikidata.org/wiki/Q1633673","display_name":"Datapath","level":2,"score":0.874828577041626},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8538955450057983},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.758315920829773},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5483704805374146},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4728389382362366},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.4279058277606964},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.4233500063419342},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.41265058517456055},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36427631974220276},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3469921350479126},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30092769861221313},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.2014.2329687","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2014.2329687","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"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 Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6000000238418579}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1541510538","https://openalex.org/W1565813530","https://openalex.org/W1581576329","https://openalex.org/W1979903718","https://openalex.org/W1989423571","https://openalex.org/W2004314225","https://openalex.org/W2004831359","https://openalex.org/W2028268046","https://openalex.org/W2032952398","https://openalex.org/W2041910380","https://openalex.org/W2042813319","https://openalex.org/W2044869629","https://openalex.org/W2053568314","https://openalex.org/W2078819445","https://openalex.org/W2087691147","https://openalex.org/W2102742419","https://openalex.org/W2103625331","https://openalex.org/W2105702911","https://openalex.org/W2110066339","https://openalex.org/W2111591476","https://openalex.org/W2113050402","https://openalex.org/W2115207428","https://openalex.org/W2119209999","https://openalex.org/W2129126296","https://openalex.org/W2135523993","https://openalex.org/W2139531926","https://openalex.org/W2148677962","https://openalex.org/W2150588291","https://openalex.org/W2151497118","https://openalex.org/W2157373763","https://openalex.org/W2157686813","https://openalex.org/W2163601989","https://openalex.org/W2293624369","https://openalex.org/W2972181140","https://openalex.org/W3141991053","https://openalex.org/W3148913902","https://openalex.org/W3149912375","https://openalex.org/W4231252310","https://openalex.org/W4285719527","https://openalex.org/W6633705940","https://openalex.org/W6634744571","https://openalex.org/W6651333712","https://openalex.org/W6651457893","https://openalex.org/W6661781940","https://openalex.org/W6675720744","https://openalex.org/W6677323298","https://openalex.org/W6680239288","https://openalex.org/W6680320560","https://openalex.org/W6683153250","https://openalex.org/W6767571097"],"related_works":["https://openalex.org/W2134982133","https://openalex.org/W1964336761","https://openalex.org/W4239953224","https://openalex.org/W2112395437","https://openalex.org/W2347708239","https://openalex.org/W4302024603","https://openalex.org/W2170816480","https://openalex.org/W1595405651","https://openalex.org/W2949284097","https://openalex.org/W2011854888"],"abstract_inverted_index":{"By":[0],"increasing":[1],"the":[2,59,62,135,168,177,195],"complexity":[3],"of":[4,10,34,44,49,65,122,137,148,151,170,179,219,225],"digital":[5,66],"systems,":[6],"verification":[7],"and":[8,18,53,72,97,112,202],"debugging":[9,36,96,106],"such":[11],"systems":[12,74],"have":[13,28,183],"become":[14],"a":[15,46,104,118,157,211],"major":[16],"problem":[17],"economic":[19],"issue.":[20],"Although":[21],"many":[22],"computer":[23,70],"aided":[24],"design":[25,139],"(CAD)":[26],"solutions":[27],"been":[29],"suggested":[30],"to":[31,91,116,128,162,175,186,200,221],"enhance":[32],"efficiency":[33],"existing":[35],"approaches,":[37],"they":[38],"are":[39,143],"still":[40],"suffering":[41],"from":[42],"lack":[43],"providing":[45],"small":[47],"set":[48,121],"potential":[50,123],"error":[51,124,141],"locations":[52],"also":[54],"automatic":[55],"correction":[56],"mechanisms.":[57],"On":[58],"other":[60],"hand,":[61],"ever-growing":[63],"usage":[64],"signal":[67],"processing":[68],"(DSP),":[69],"graphics":[71],"embedded":[73],"applications":[75],"that":[76,194],"can":[77],"be":[78],"modeled":[79],"as":[80],"polynomial":[81],"computations":[82],"in":[83,134,145,167,210],"their":[84,94,149],"datapath":[85],"designs,":[86],"necessitate":[87],"an":[88,153],"effective":[89],"method":[90],"deal":[92],"with":[93,207],"verification,":[95],"correction.":[98],"In":[99,126,173],"this":[100],"paper,":[101],"we":[102,182],"introduce":[103],"formal":[105],"approach":[107],"based":[108],"on":[109],"static":[110],"slicing":[111],"dynamic":[113],"ranking":[114],"methods":[115],"derive":[117],"reduced":[119],"ordered":[120],"locations.":[125],"addition,":[127],"speed":[129],"up":[130,220],"finding":[131],"true":[132],"errors":[133],"presence":[136],"multiple":[138,171,205],"errors,":[140],"candidates":[142],"sorted":[144],"decreasing":[146],"order":[147,174],"probability":[150],"being":[152],"error.":[154],"After":[155],"that,":[156],"mutation-based":[158],"technique":[159,197],"is":[160],"employed":[161],"automatically":[163],"correct":[164,203],"bugs":[165,206],"even":[166,204,215],"case":[169],"bugs.":[172],"evaluate":[176],"effectiveness":[178],"our":[180],"approach,":[181],"applied":[184],"it":[185],"several":[187,222],"industrial":[188],"designs.":[189],"The":[190],"experimental":[191],"results":[192],"show":[193],"proposed":[196],"enables":[198],"us":[199],"locate":[201],"high":[208],"confidence":[209],"short":[212],"run":[213],"time":[214],"for":[216],"complex":[217],"designs":[218],"thousand":[223],"lines":[224],"RTL":[226],"code.":[227]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}