{"id":"https://openalex.org/W1965017843","doi":"https://doi.org/10.1109/isqed.2014.6783317","title":"Concurrency-oriented SoC re-certification by reusing block-level test vectors","display_name":"Concurrency-oriented SoC re-certification by reusing block-level test vectors","publication_year":2014,"publication_date":"2014-03-01","ids":{"openalex":"https://openalex.org/W1965017843","doi":"https://doi.org/10.1109/isqed.2014.6783317","mag":"1965017843"},"language":"en","primary_location":{"id":"doi:10.1109/isqed.2014.6783317","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed.2014.6783317","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fifteenth International Symposium on Quality Electronic Design","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/A5102077112","display_name":"Hsuan-Ming Chou","orcid":null},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Hsuan-Ming Chou","raw_affiliation_strings":["Department of CS, National Tsing Hua University, Hsinchu, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of CS, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028340235","display_name":"Hong-Chang Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Hong-Chang Wu","raw_affiliation_strings":["Department of CS, National Tsing Hua University, Hsinchu, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of CS, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088718949","display_name":"Yi-Chiao Chen","orcid":"https://orcid.org/0000-0002-9477-209X"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yi-Chiao Chen","raw_affiliation_strings":["Department of CS, National Tsing Hua University, Hsinchu, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of CS, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073382186","display_name":"Shih-Chieh Chang","orcid":"https://orcid.org/0000-0003-0717-6466"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Shih-Chieh Chang","raw_affiliation_strings":["Department of CS, National Tsing Hua University, Hsinchu, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of CS, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5102077112"],"corresponding_institution_ids":["https://openalex.org/I25846049"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04559163,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"140","last_page":"147"},"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.9998999834060669,"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.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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/reuse","display_name":"Reuse","score":0.7913786768913269},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7766637802124023},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.74263995885849},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5937077403068542},{"id":"https://openalex.org/keywords/dependency-graph","display_name":"Dependency graph","score":0.5756562948226929},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.573255717754364},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.556935727596283},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.5388962626457214},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4369141161441803},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40881091356277466},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.35627102851867676},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3550075888633728},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2623142600059509},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1558988392353058},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0866004228591919}],"concepts":[{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.7913786768913269},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7766637802124023},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.74263995885849},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5937077403068542},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.5756562948226929},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.573255717754364},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.556935727596283},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.5388962626457214},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4369141161441803},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40881091356277466},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.35627102851867676},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3550075888633728},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2623142600059509},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1558988392353058},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0866004228591919},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isqed.2014.6783317","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed.2014.6783317","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fifteenth International Symposium on Quality Electronic Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5699999928474426,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1490819086","https://openalex.org/W1566072248","https://openalex.org/W2059608229","https://openalex.org/W2124786655","https://openalex.org/W2144357590","https://openalex.org/W2154893317","https://openalex.org/W2160289783","https://openalex.org/W2164424155","https://openalex.org/W2288569779","https://openalex.org/W2301822014","https://openalex.org/W4233756358","https://openalex.org/W6697800800"],"related_works":["https://openalex.org/W2066052364","https://openalex.org/W4243365217","https://openalex.org/W2224296908","https://openalex.org/W2023743128","https://openalex.org/W3109981693","https://openalex.org/W2381980429","https://openalex.org/W2384206113","https://openalex.org/W645983410","https://openalex.org/W2808346476","https://openalex.org/W2401692867"],"abstract_inverted_index":{"The":[0],"complexity":[1],"of":[2,15,30,76,85,123],"verifying":[3],"a":[4,31,125],"System":[5],"on":[6,104],"Chip":[7],"(SoC)":[8],"increases":[9],"dramatically":[10],"due":[11],"to":[12,43,62,93],"the":[13,24,45,74,82,91],"integration":[14],"heterogeneous":[16],"components":[17],"and":[18,27,72,108],"complicated":[19],"interactions":[20,87],"among":[21],"components.":[22,116],"Despite":[23],"functional":[25],"features":[26],"corner":[28],"cases":[29],"component":[32,46,68],"could":[33],"be":[34],"exercised":[35],"thoroughly":[36],"during":[37],"block-level":[38,64,78],"verification,":[39],"it":[40],"is":[41],"important":[42],"re-certify":[44,114],"after":[47],"integrating":[48],"into":[49,90],"an":[50,57,98,120],"SoC.":[51,99],"In":[52],"this":[53],"paper,":[54],"we":[55,111],"propose":[56],"Interaction":[58],"Dependency":[59],"Graph":[60],"(IDG)":[61],"reuse":[63],"test":[65,79],"vectors":[66],"for":[67],"re-certification.":[69],"We":[70,100,117],"discuss":[71,119],"resolve":[73],"problems":[75],"reusing":[77],"vectors.":[80],"Moreover,":[81],"maximum":[83],"number":[84],"concurrent":[86],"are":[88],"inserted":[89],"IDG":[92],"expose":[94],"critical":[95],"bugs":[96],"in":[97],"demonstrate":[101],"our":[102],"approach":[103],"Nios":[105],"II":[106],"SoC":[107,115],"show":[109],"that":[110],"can":[112],"efficiently":[113],"also":[118],"industrial":[121],"experience":[122],"uncovering":[124],"concurrency-related":[126],"bug.":[127]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}