{"id":"https://openalex.org/W3152420008","doi":"https://doi.org/10.1109/aspdac.2011.5722203","title":"Utilizing high level design information to speed up post-silicon debugging","display_name":"Utilizing high level design information to speed up post-silicon debugging","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W3152420008","doi":"https://doi.org/10.1109/aspdac.2011.5722203","mag":"3152420008"},"language":"en","primary_location":{"id":"doi:10.1109/aspdac.2011.5722203","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2011.5722203","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011)","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/A5017543455","display_name":"Masahiro Fujita","orcid":"https://orcid.org/0000-0001-7078-6844"},"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":true,"raw_author_name":"Masahiro Fujita","raw_affiliation_strings":["VLSI Design and Education Center, VDEC, University of Tokyo and CREST, Bunkyo, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"VLSI Design and Education Center, VDEC, University of Tokyo and CREST, Bunkyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5017543455"],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"301","last_page":"305"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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":0.9998000264167786,"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.9994000196456909,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.9217379093170166},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8014723658561707},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.6240329146385193},{"id":"https://openalex.org/keywords/application-specific-integrated-circuit","display_name":"Application-specific integrated circuit","score":0.5598155856132507},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.5467894077301025},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5455822348594666},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.4854345917701721},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.45255246758461},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.4283130168914795},{"id":"https://openalex.org/keywords/chip","display_name":"Chip","score":0.4178195595741272},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22871488332748413},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.21684396266937256},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.14291831851005554}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9217379093170166},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8014723658561707},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.6240329146385193},{"id":"https://openalex.org/C77390884","wikidata":"https://www.wikidata.org/wiki/Q217302","display_name":"Application-specific integrated circuit","level":2,"score":0.5598155856132507},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.5467894077301025},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5455822348594666},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.4854345917701721},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.45255246758461},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.4283130168914795},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.4178195595741272},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22871488332748413},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.21684396266937256},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.14291831851005554},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/aspdac.2011.5722203","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2011.5722203","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1840419483","https://openalex.org/W2004023564","https://openalex.org/W2073959292","https://openalex.org/W3149805494","https://openalex.org/W6638732691"],"related_works":["https://openalex.org/W2740264376","https://openalex.org/W4206999239","https://openalex.org/W2900719967","https://openalex.org/W4388482952","https://openalex.org/W2161928627","https://openalex.org/W2786113878","https://openalex.org/W2171845075","https://openalex.org/W2727867943","https://openalex.org/W1777852485","https://openalex.org/W3015562293"],"abstract_inverted_index":{"Due":[0],"to":[1,102,165],"the":[2,16,23,30,39,47,58,91,178,181],"highly":[3,77],"complicated":[4,62,78],"control":[5],"structures":[6],"of":[7,15,57,97,136,149],"modern":[8],"processors":[9,80,130],"as":[10,12,81,83,112,114,161,163],"well":[11,82,113],"ASICs,":[13],"some":[14],"logical":[17],"bugs":[18,33],"may":[19],"easily":[20],"escape":[21],"from":[22],"pre-silicon":[24],"verification":[25,124],"processes":[26,127],"and":[27,44,63,104,125,133,138,170],"remain":[28],"into":[29],"silicon.":[31],"Those":[32],"can":[34],"only":[35],"be":[36],"found":[37],"after":[38],"chip":[40,98],"has":[41],"been":[42,88],"fabricated":[43],"used":[45],"in":[46],"systems.":[48],"So":[49],"post-silicon":[50,74],"debugging":[51,75,126,132],"is":[52],"becoming":[53],"a":[54],"essential":[55],"part":[56],"design":[59,159],"flows":[60],"for":[61,76,128,131,145,180],"large":[64,84],"system":[65],"designs.":[66,151],"This":[67],"paper":[68,174],"summarizes":[69],"our":[70],"research":[71],"activities":[72],"targeting":[73],"pipeline":[79],"ASICs.":[85],"We":[86],"have":[87],"working":[89],"on":[90,122],"following":[92],"three":[93],"topics:":[94],"1)":[95],"Translation":[96],"level":[99,106,143,156],"error":[100],"traces":[101],"high":[103,142,155],"abstracted":[105,158],"so":[107],"that":[108],"more":[109,168],"efficient":[110,146,169],"simulation":[111],"formal":[115,123],"analysis":[116],"become":[117],"possible,":[118],"2)":[119],"Utilize":[120],"experiences":[121],"pipelined":[129],"in-fields":[134,147],"rectification":[135],"chips,":[137],"3)":[139],"Apply":[140],"incremental":[141],"synthesis":[144],"rectifications":[148],"ASIC":[150],"Our":[152],"approaches":[153],"utilize":[154],"or":[157],"information":[160],"much":[162],"possible":[164],"make":[166],"things":[167],"effective.":[171],"In":[172],"this":[173],"we":[175],"briefly":[176],"present":[177],"techniques":[179],"first":[182],"two":[183],"topics.":[184]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}