{"id":"https://openalex.org/W2101700684","doi":"https://doi.org/10.1109/hldvt.2011.6113982","title":"Post-silicon code coverage evaluation with reduced area overhead for functional verification of SoC","display_name":"Post-silicon code coverage evaluation with reduced area overhead for functional verification of SoC","publication_year":2011,"publication_date":"2011-11-01","ids":{"openalex":"https://openalex.org/W2101700684","doi":"https://doi.org/10.1109/hldvt.2011.6113982","mag":"2101700684"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2011.6113982","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2011.6113982","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International High Level Design Validation and Test Workshop","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/A5078335747","display_name":"Mehdi Karimibiuki","orcid":"https://orcid.org/0000-0002-2995-7354"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Mehdi Karimibiuki","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of British Columbia, Canada","Dept. of Electrical and Computer Engineering, University of British, Columbia"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]},{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, University of British, Columbia","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059123308","display_name":"Kyle Balston","orcid":null},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kyle Balston","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of British Columbia, Canada","Dept. of Electrical and Computer Engineering, University of British, Columbia"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]},{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, University of British, Columbia","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050411743","display_name":"Alan J. Hu","orcid":"https://orcid.org/0000-0002-4276-0169"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Alan J. Hu","raw_affiliation_strings":["Dept. of Computer Science, University of British, Columbia"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of British, Columbia","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062724257","display_name":"A. Ivanov","orcid":"https://orcid.org/0000-0002-0882-6750"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Andre Ivanov","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of British Columbia, Canada","Dept. of Electrical and Computer Engineering, University of British, Columbia"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]},{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, University of British, Columbia","institution_ids":["https://openalex.org/I141945490"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5078335747"],"corresponding_institution_ids":["https://openalex.org/I141945490"],"apc_list":null,"apc_paid":null,"fwci":1.2592,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.81233295,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"92","last_page":"97"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9994999766349792,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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/computer-science","display_name":"Computer science","score":0.6886651515960693},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6304445266723633},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6049107313156128},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5506819486618042},{"id":"https://openalex.org/keywords/instrumentation","display_name":"Instrumentation (computer programming)","score":0.49836039543151855},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.49268513917922974},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.4753448963165283},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.4420197010040283},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.44083407521247864},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22215184569358826},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19966834783554077},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.07695648074150085},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.07191300392150879}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6886651515960693},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6304445266723633},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6049107313156128},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5506819486618042},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.49836039543151855},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.49268513917922974},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.4753448963165283},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.4420197010040283},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.44083407521247864},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22215184569358826},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19966834783554077},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.07695648074150085},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.07191300392150879},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hldvt.2011.6113982","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2011.6113982","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1544635590","https://openalex.org/W1600068019","https://openalex.org/W1980282924","https://openalex.org/W2024436253","https://openalex.org/W2090692734","https://openalex.org/W2111379929","https://openalex.org/W2131200995","https://openalex.org/W2140583071","https://openalex.org/W2160504889","https://openalex.org/W2165566357","https://openalex.org/W2166862343","https://openalex.org/W6632404128"],"related_works":["https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672","https://openalex.org/W1590965489"],"abstract_inverted_index":{"Effective":[0],"techniques":[1,141,219],"for":[2,147,228,241,252],"post-silicon":[3,38,89,94,132,189,194,256],"validation":[4,22,39,95,190],"are":[5,105],"required":[6,129],"to":[7,67,82,86,108,130,142,167,213],"better":[8],"evaluate":[9],"functional":[10],"correctness":[11],"of":[12,21,37,71,157,188,203],"increasingly":[13],"complex":[14],"SoCs.":[15],"Coverage":[16],"is":[17,25,31,169,208,237],"the":[18,35,84,100,126,144,159,179,186,204,221,234],"standard":[19],"measure":[20,87,125],"effectiveness":[23],"and":[24,69,75,121,123,193,258],"extensively":[26],"used":[27],"pre-silicon.":[28],"However,":[29],"there":[30],"little":[32],"data":[33],"evaluating":[34],"coverage":[36,90,117,148,180,195,205,257],"efforts":[40],"on":[41,60,255],"industrial-scale":[42],"designs.":[43],"In":[44,134],"this":[45,49],"paper,":[46],"we":[47,114,136,231],"address":[48],"knowledge":[50],"gap.":[51],"We":[52],"have":[53],"developed":[54],"an":[55],"industrial-size":[56],"SoC,":[57],"based":[58],"entirely":[59],"open-source":[61],"IP:":[62],"roughly":[63],"a":[64,225,249],"\u201cnetbook-on-a-chip\u201d,":[65],"synthesizable":[66],"FPGA,":[68],"capable":[70],"running":[72],"Linux,":[73],"X11,":[74],"application":[76],"software.":[77],"This":[78],"platform":[79],"allows":[80],"us":[81],"instrument":[83],"hardware":[85],"true":[88],"achieved":[91,118,170],"by":[92,171],"typical":[93,155],"tests,":[96,174],"such":[97],"as":[98],"booting":[99,158],"OS":[101,160],"-":[102,120],"tests":[103],"that":[104],"impossibly":[106],"expensive":[107],"run":[109],"in":[110,176,191,197],"pre-silicon":[111,172],"simulation.":[112],"Thus,":[113],"can":[115,181],"compare":[116],"pre":[119],"post-silicon,":[122],"also":[124],"area":[127,201],"overhead":[128,146,202,222,236],"monitor":[131],"coverage.":[133],"addition,":[135],"apply":[137],"state-of-the-art":[138],"software":[139,217],"analysis":[140,218],"reduce":[143,220],"instrumentation":[145,207],"monitoring.":[149],"Our":[150],"results":[151,247],"show:":[152],"(1)":[153],"The":[154,200],"test":[156,259],"often":[161],"achieves":[162],"high":[163,240],"coverage,":[164],"well":[165],"correlated":[166],"what":[168],"directed":[173],"but":[175,233],"some":[177],"blocks":[178],"be":[182],"markedly":[183],"different,":[184],"highlighting":[185],"importance":[187],"general":[192],"measurement":[196],"particular.":[198],"(2)":[199],"monitoring":[206],"high,":[209],"ranging":[210],"from":[211],"1%":[212],"22%.":[214],"(3)":[215],"State-of-the-art":[216],"(e.g.,":[223],"nearly":[224],"30%":[226],"reduction":[227],"one":[229],"block":[230],"instrumented),":[232],"remaining":[235],"still":[238],"unacceptably":[239],"practical":[242],"deployment.":[243],"Taken":[244],"together,":[245],"our":[246],"provide":[248],"solid":[250],"baseline":[251],"further":[253],"research":[254],"generation.":[260]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}