{"id":"https://openalex.org/W2068622604","doi":"https://doi.org/10.1109/hldvt.2010.5496657","title":"A case study of Time-Multiplexed Assertion Checking for post-silicon debugging","display_name":"A case study of Time-Multiplexed Assertion Checking for post-silicon debugging","publication_year":2010,"publication_date":"2010-06-01","ids":{"openalex":"https://openalex.org/W2068622604","doi":"https://doi.org/10.1109/hldvt.2010.5496657","mag":"2068622604"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2010.5496657","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2010.5496657","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)","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/A5011799739","display_name":"Ming Gao","orcid":"https://orcid.org/0000-0002-2569-5430"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ming Gao","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of California,\uc2a0Santa Barbara, Santa Barbara, CA, USA","Department of Electrical and Computer Engineering, University of California Santa Barbara, Santa?Barbara, CA 93106, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of California,\uc2a0Santa Barbara, Santa Barbara, CA, USA","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of California Santa Barbara, Santa?Barbara, CA 93106, USA","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077687075","display_name":"Kwang\u2010Ting Cheng","orcid":"https://orcid.org/0000-0002-3885-4912"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kwang-Ting Cheng","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of California,\uc2a0Santa Barbara, Santa Barbara, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of California,\uc2a0Santa Barbara, Santa Barbara, CA, USA","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5011799739"],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":3.2362,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.9216272,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"90","last_page":"96"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":1.0,"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.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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9991999864578247,"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/assertion","display_name":"Assertion","score":0.8430438041687012},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7719824910163879},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.771370530128479},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6015037298202515},{"id":"https://openalex.org/keywords/multiplexing","display_name":"Multiplexing","score":0.5781153440475464},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.48178526759147644},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.46084049344062805},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4262068271636963},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.37575122714042664},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.34696340560913086},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3286973536014557},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2595682144165039},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20418238639831543}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.8430438041687012},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7719824910163879},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.771370530128479},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6015037298202515},{"id":"https://openalex.org/C19275194","wikidata":"https://www.wikidata.org/wiki/Q222903","display_name":"Multiplexing","level":2,"score":0.5781153440475464},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.48178526759147644},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.46084049344062805},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4262068271636963},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.37575122714042664},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.34696340560913086},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3286973536014557},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2595682144165039},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20418238639831543},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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":3,"locations":[{"id":"doi:10.1109/hldvt.2010.5496657","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2010.5496657","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-76955","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-76955","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"},{"id":"pmh:oai:repository.ust.hk:1783.1-76955","is_oa":false,"landing_page_url":"http://www.scopus.com/record/display.url?eid=2-s2.0-77958138768&origin=inward","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.6800000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1514363907","https://openalex.org/W1797377815","https://openalex.org/W1977850862","https://openalex.org/W2102844362","https://openalex.org/W2110919407","https://openalex.org/W2122146819","https://openalex.org/W2122154369","https://openalex.org/W2123613958","https://openalex.org/W2129547250","https://openalex.org/W2133712953","https://openalex.org/W2137558955","https://openalex.org/W2145913625","https://openalex.org/W2148960378","https://openalex.org/W2149602657","https://openalex.org/W2168463153","https://openalex.org/W2491385276","https://openalex.org/W3139542001","https://openalex.org/W4232631025","https://openalex.org/W6678329786","https://openalex.org/W6678515204","https://openalex.org/W6679327467","https://openalex.org/W6681938104"],"related_works":["https://openalex.org/W2740264376","https://openalex.org/W4206999239","https://openalex.org/W2161928627","https://openalex.org/W4388482952","https://openalex.org/W2786113878","https://openalex.org/W2727867943","https://openalex.org/W3015562293","https://openalex.org/W4400860681","https://openalex.org/W2787155073","https://openalex.org/W2621101275"],"abstract_inverted_index":{"Post-silicon":[0],"debugging":[1],"has":[2],"become":[3],"the":[4,12,129,146,156,162,176,180,188,191,199],"least":[5],"predictable":[6],"and":[7,18,40,105,158,187],"most":[8],"labor-intensive":[9],"step":[10],"in":[11,46,61],"modern":[13],"design":[14,201],"flow":[15],"at":[16],"65nm":[17],"below.":[19],"In":[20,82],"this":[21],"paper,":[22],"we":[23],"present":[24],"a":[25,57,62,70,78,83,90,123],"design-for-debug":[26],"(DfD)":[27],"technique":[28],"-":[29,35],"named":[30],"Time-Multiplexed":[31],"Assertion":[32],"Checking":[33],"(TMAC)":[34],"for":[36,128,160],"post-silicon":[37],"bug":[38,181],"detection":[39,182],"isolation.":[41],"By":[42],"instantiating":[43],"assertion":[44,74,96,108,134,193],"checkers":[45,75,97,135,178],"an":[47,52,87,101],"on-chip":[48,76],"reconfigurable":[49],"block":[50,55],"(either":[51],"embedded":[53],"FPGA":[54],"or":[56],"spare":[58],"programmable":[59],"core)":[60],"time-multiplexed":[63,95],"fashion,":[64],"TMAC":[65,91,153,177],"enables":[66],"hardware":[67,133],"implementation":[68,92,103],"of":[69,73,86,126,140,165,190],"large":[71],"number":[72],"with":[77,93,100,104],"trivial":[79],"area":[80,147],"overhead.":[81],"case":[84,170],"study":[85,171],"H.264":[88],"decoder,":[89,130],"eighty":[94,132],"are":[98],"compared":[99],"ASIC":[102],"without":[106],"dedicated":[107],"checkers.":[109],"Experimental":[110],"results":[111],"demonstrate":[112],"that,":[113,173],"among":[114],"those":[115,131],"injected":[116],"bugs":[117],"that":[118],"cannot":[119],"be":[120],"detected":[121,167],"by":[122,184],"comprehensive":[124],"set":[125],"testbenches":[127],"can":[136,195],"successfully":[137],"detect":[138],"39.4%":[139],"these":[141,166],"hard-to-detect":[142],"bugs.":[143,168],"With":[144],"TMAC,":[145],"overhead":[148],"is":[149],"only":[150],"1.3%.":[151],"Moreover,":[152],"significantly":[154],"reduces":[155,179],"time":[157],"effort":[159],"identifying":[161],"root":[163],"causes":[164],"The":[169],"shows":[172],"on":[174],"average,":[175],"latency":[183],"87":[185],"times,":[186],"location":[189],"first":[192],"violation":[194],"help":[196],"quickly":[197],"localize":[198],"faulty":[200],"module.":[202]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":4}],"updated_date":"2026-05-23T08:51:43.019350","created_date":"2025-10-10T00:00:00"}