{"id":"https://openalex.org/W2004023564","doi":"https://doi.org/10.1109/fpt.2010.5681434","title":"A debugging method for repairing post-silicon bugs of high performance processors in the fields","display_name":"A debugging method for repairing post-silicon bugs of high performance processors in the fields","publication_year":2010,"publication_date":"2010-12-01","ids":{"openalex":"https://openalex.org/W2004023564","doi":"https://doi.org/10.1109/fpt.2010.5681434","mag":"2004023564"},"language":"en","primary_location":{"id":"doi:10.1109/fpt.2010.5681434","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fpt.2010.5681434","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 International Conference on Field-Programmable Technology","raw_type":"proceedings-article"},"type":"conference-paper","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/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Bijan Alizadeh","raw_affiliation_strings":["VLSI Design and Education Center (VDEC), University of Tokyo, Bunkyo, Tokyo, Japan","VLSI Design and Education Center (VDEC), The University of Tokyo and CREST, Takeda Bldg., 2-11-16 Yayoi, Bunkyo-ku, 113-0032, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"VLSI Design and Education Center (VDEC), University of Tokyo, Bunkyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]},{"raw_affiliation_string":"VLSI Design and Education Center (VDEC), The University of Tokyo and CREST, Takeda Bldg., 2-11-16 Yayoi, Bunkyo-ku, 113-0032, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027837299","display_name":"Masahiro Fujita","orcid":"https://orcid.org/0000-0002-6516-4175"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masahiro Fujita","raw_affiliation_strings":["VLSI Design and Education Center (VDEC), University of Tokyo, Bunkyo, Tokyo, Japan","VLSI Design and Education Center (VDEC), The University of Tokyo and CREST, Takeda Bldg., 2-11-16 Yayoi, Bunkyo-ku, 113-0032, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"VLSI Design and Education Center (VDEC), University of Tokyo, Bunkyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]},{"raw_affiliation_string":"VLSI Design and Education Center (VDEC), The University of Tokyo and CREST, Takeda Bldg., 2-11-16 Yayoi, Bunkyo-ku, 113-0032, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"1855","issue":null,"first_page":"328","last_page":"331"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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.9991000294685364,"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/debugging","display_name":"Debugging","score":0.9000357985496521},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6929137706756592},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.6693540811538696},{"id":"https://openalex.org/keywords/silicon","display_name":"Silicon","score":0.552405059337616},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.48295658826828003},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3960590362548828},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3804783821105957},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3534935712814331},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33348584175109863},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.21274015307426453},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.13836774230003357},{"id":"https://openalex.org/keywords/optoelectronics","display_name":"Optoelectronics","score":0.12047266960144043}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9000357985496521},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6929137706756592},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.6693540811538696},{"id":"https://openalex.org/C544956773","wikidata":"https://www.wikidata.org/wiki/Q670","display_name":"Silicon","level":2,"score":0.552405059337616},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.48295658826828003},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3960590362548828},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3804783821105957},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3534935712814331},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33348584175109863},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.21274015307426453},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.13836774230003357},{"id":"https://openalex.org/C49040817","wikidata":"https://www.wikidata.org/wiki/Q193091","display_name":"Optoelectronics","level":1,"score":0.12047266960144043}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fpt.2010.5681434","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fpt.2010.5681434","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 International Conference on Field-Programmable Technology","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1514254856","https://openalex.org/W1574967808","https://openalex.org/W1592502301","https://openalex.org/W1741528175","https://openalex.org/W1840419483","https://openalex.org/W1978079490","https://openalex.org/W2044869629","https://openalex.org/W2049197412","https://openalex.org/W2108915071","https://openalex.org/W2118154221","https://openalex.org/W2135523993","https://openalex.org/W2151802820","https://openalex.org/W2163601989","https://openalex.org/W2178304595","https://openalex.org/W3145331805","https://openalex.org/W3149912375","https://openalex.org/W4246569419","https://openalex.org/W6635458761","https://openalex.org/W6638732691"],"related_works":["https://openalex.org/W1601811574","https://openalex.org/W1578778518","https://openalex.org/W4234604123","https://openalex.org/W1587224678","https://openalex.org/W1579177548","https://openalex.org/W2135396778","https://openalex.org/W1544341893","https://openalex.org/W181842068","https://openalex.org/W201088255","https://openalex.org/W2615965484"],"abstract_inverted_index":{"Due":[0],"to":[1,41,54,105,115],"the":[2,12,18,24,62,72,97,106],"highly":[3],"complicated":[4],"control":[5,57,92],"structures":[6],"of":[7,11,87],"modern":[8],"processors,":[9],"some":[10],"logical":[13],"bugs":[14,67,89],"may":[15],"escape":[16],"from":[17],"verification":[19,34],"process":[20],"and":[21],"remain":[22],"into":[23],"silicon.":[25],"This":[26],"paper":[27],"proposes":[28],"verification/debugging/field-rectification":[29],"methods":[30],"based":[31],"on":[32,49],"formal":[33],"techniques":[35],"that":[36,65,77,83,108],"enables":[37],"designers":[38],"not":[39],"only":[40,109],"automatically":[42],"debug":[43],"high":[44],"performance":[45],"processors":[46],"by":[47,78],"concentrating":[48],"word-level":[50],"reasoning":[51],"but":[52],"also":[53],"introduce":[55],"key":[56,91],"points":[58,93],"with":[59],"programmability":[60,95],"in":[61,71,96],"silicon":[63],"so":[64],"post-silicon":[66],"can":[68,101,112],"be":[69,102,113],"rectified":[70],"field.":[73],"The":[74],"results":[75],"show":[76],"considering":[79],"those":[80],"state":[81],"variables":[82],"fix":[84],"wide":[85],"ranges":[86],"pre-silicon":[88],"as":[90],"for":[94],"fields,":[98],"inserted":[99],"LUTs":[100],"reduced":[103],"due":[104],"fact":[107],"one":[110],"LUT":[111],"shared":[114],"correct":[116],"all":[117],"relevant":[118],"bugs.":[119]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}