{"id":"https://openalex.org/W1550641714","doi":"https://doi.org/10.1109/isvdat.2015.7208052","title":"Case study: Re-visiting SoC verification challenges and best practices","display_name":"Case study: Re-visiting SoC verification challenges and best practices","publication_year":2015,"publication_date":"2015-06-01","ids":{"openalex":"https://openalex.org/W1550641714","doi":"https://doi.org/10.1109/isvdat.2015.7208052","mag":"1550641714"},"language":"en","primary_location":{"id":"doi:10.1109/isvdat.2015.7208052","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isvdat.2015.7208052","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 19th International Symposium on VLSI Design and Test","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/A5046924567","display_name":"Prokash Ghosh","orcid":"https://orcid.org/0000-0002-9939-2774"},"institutions":[{"id":"https://openalex.org/I4210165591","display_name":"Network Group (Czechia)","ror":"https://ror.org/055hmgs82","country_code":"CZ","type":"company","lineage":["https://openalex.org/I4210165591"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Prokash Ghosh","raw_affiliation_strings":["Digital Networking Group, Noida, India","Digital Networking Group, Freescale Semiconductor, Sec-16A, Noida, India"],"affiliations":[{"raw_affiliation_string":"Digital Networking Group, Noida, India","institution_ids":["https://openalex.org/I4210165591"]},{"raw_affiliation_string":"Digital Networking Group, Freescale Semiconductor, Sec-16A, Noida, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088073555","display_name":"Sandip Ghosh","orcid":"https://orcid.org/0000-0001-8436-9881"},"institutions":[{"id":"https://openalex.org/I4210165591","display_name":"Network Group (Czechia)","ror":"https://ror.org/055hmgs82","country_code":"CZ","type":"company","lineage":["https://openalex.org/I4210165591"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Sandip Ghosh","raw_affiliation_strings":["Digital Networking Group, Noida, India","Digital Networking Group, Freescale Semiconductor, Sec-16A, Noida, India"],"affiliations":[{"raw_affiliation_string":"Digital Networking Group, Noida, India","institution_ids":["https://openalex.org/I4210165591"]},{"raw_affiliation_string":"Digital Networking Group, Freescale Semiconductor, Sec-16A, Noida, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103995184","display_name":"Pritpal Singh","orcid":null},"institutions":[{"id":"https://openalex.org/I4210165591","display_name":"Network Group (Czechia)","ror":"https://ror.org/055hmgs82","country_code":"CZ","type":"company","lineage":["https://openalex.org/I4210165591"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Pritpal Singh","raw_affiliation_strings":["Digital Networking Group, Noida, India","Digital Networking Group, Freescale Semiconductor, Sec-16A, Noida, India"],"affiliations":[{"raw_affiliation_string":"Digital Networking Group, Noida, India","institution_ids":["https://openalex.org/I4210165591"]},{"raw_affiliation_string":"Digital Networking Group, Freescale Semiconductor, Sec-16A, Noida, India","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103131246","display_name":"Saurabh Mishra","orcid":"https://orcid.org/0000-0003-2956-788X"},"institutions":[{"id":"https://openalex.org/I4210165591","display_name":"Network Group (Czechia)","ror":"https://ror.org/055hmgs82","country_code":"CZ","type":"company","lineage":["https://openalex.org/I4210165591"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Saurabh Mishra","raw_affiliation_strings":["Digital Networking Group, Noida, India","Digital Networking Group, Freescale Semiconductor, Sec-16A, Noida, India"],"affiliations":[{"raw_affiliation_string":"Digital Networking Group, Noida, India","institution_ids":["https://openalex.org/I4210165591"]},{"raw_affiliation_string":"Digital Networking Group, Freescale Semiconductor, Sec-16A, Noida, India","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5046924567"],"corresponding_institution_ids":["https://openalex.org/I4210165591"],"apc_list":null,"apc_paid":null,"fwci":0.9689,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.74119131,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"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.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"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9973999857902527,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9891999959945679,"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/system-on-a-chip","display_name":"System on a chip","score":0.6978667378425598},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6438885927200317},{"id":"https://openalex.org/keywords/productivity","display_name":"Productivity","score":0.5820932388305664},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.49597153067588806},{"id":"https://openalex.org/keywords/time-to-market","display_name":"Time to market","score":0.4935661554336548},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.46802884340286255},{"id":"https://openalex.org/keywords/integrated-circuit-design","display_name":"Integrated circuit design","score":0.464956134557724},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.464474081993103},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4609452188014984},{"id":"https://openalex.org/keywords/chip","display_name":"Chip","score":0.43296903371810913},{"id":"https://openalex.org/keywords/best-practice","display_name":"Best practice","score":0.43035635352134705},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4300026595592499},{"id":"https://openalex.org/keywords/production","display_name":"Production (economics)","score":0.426942378282547},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.42572343349456787},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.417606383562088},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38383615016937256},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3512561023235321},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2880575954914093},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1319475769996643},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12144872546195984},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.10657674074172974},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.082480788230896},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07934680581092834},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07885384559631348}],"concepts":[{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.6978667378425598},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6438885927200317},{"id":"https://openalex.org/C204983608","wikidata":"https://www.wikidata.org/wiki/Q2111958","display_name":"Productivity","level":2,"score":0.5820932388305664},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.49597153067588806},{"id":"https://openalex.org/C2779229675","wikidata":"https://www.wikidata.org/wiki/Q445235","display_name":"Time to market","level":2,"score":0.4935661554336548},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.46802884340286255},{"id":"https://openalex.org/C74524168","wikidata":"https://www.wikidata.org/wiki/Q1074539","display_name":"Integrated circuit design","level":2,"score":0.464956134557724},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.464474081993103},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4609452188014984},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.43296903371810913},{"id":"https://openalex.org/C184356942","wikidata":"https://www.wikidata.org/wiki/Q830382","display_name":"Best practice","level":2,"score":0.43035635352134705},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4300026595592499},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.426942378282547},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.42572343349456787},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.417606383562088},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38383615016937256},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3512561023235321},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2880575954914093},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1319475769996643},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12144872546195984},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.10657674074172974},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.082480788230896},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07934680581092834},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07885384559631348},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isvdat.2015.7208052","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isvdat.2015.7208052","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 19th International Symposium on VLSI Design and Test","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.4699999988079071,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1541510538","https://openalex.org/W1968865352","https://openalex.org/W2013906175","https://openalex.org/W2086053354","https://openalex.org/W2110083279","https://openalex.org/W2124135152","https://openalex.org/W2171267613","https://openalex.org/W2554794739","https://openalex.org/W6632526158","https://openalex.org/W6654154224"],"related_works":["https://openalex.org/W2361881307","https://openalex.org/W2392047570","https://openalex.org/W2929969821","https://openalex.org/W3155012083","https://openalex.org/W2354470518","https://openalex.org/W2890757532","https://openalex.org/W2155173652","https://openalex.org/W2896754674","https://openalex.org/W176551009","https://openalex.org/W1585773602"],"abstract_inverted_index":{"The":[0],"size":[1],"and":[2,13,60,80,94,105],"complexity":[3],"of":[4,40,42,58,62,85],"system-on-chip":[5],"(SoC)":[6],"design":[7],"is":[8,97],"growing":[9],"rapidly":[10],"as":[11],"more":[12,14],"IPs/features/functions":[15],"are":[16],"put":[17],"into":[18],"single":[19],"die":[20],"to":[21,37],"reduce":[22],"overall":[23],"system":[24],"development":[25],"cost.":[26],"It":[27],"significantly":[28],"increases":[29],"SoC":[30,91],"verification":[31,53,59,78],"challenges":[32],"in":[33,55,70,89,119],"recent":[34],"time":[35],"due":[36],"high":[38],"degree":[39],"integration":[41],"complex":[43],"IPs.":[44],"In":[45],"this":[46],"paper":[47],"we":[48,67],"will":[49],"be":[50],"discussing":[51],"different":[52,56],"strategies":[54],"areas":[57],"some":[61],"the":[63,95,115,120],"best":[64],"practices":[65],"that":[66],"have":[68,74],"followed":[69],"our":[71,90,136],"SoCs.":[72],"We":[73,99],"applied":[75],"all":[76],"these":[77],"methodologies":[79,88,130],"productivity":[81],"measures":[82],"on":[83],"top":[84],"existing":[86],"conventional":[87],"T1024":[92],"[1]":[93,104],"result":[96,114],"remarkable.":[98],"achieved":[100],"first":[101],"pass":[102],"silicon":[103,109],"it":[106],"reduced":[107],"post":[108],"cycles":[110],"significantly.":[111],"As":[112],"a":[113],"organization":[116],"has":[117],"pulled":[118],"final":[121],"production":[122],"qualification":[123],"cycle":[124],"by":[125],"almost":[126],"three":[127],"months.":[128],"These":[129],"also":[131],"became":[132],"huge":[133],"success":[134],"for":[135],"previous":[137],"product":[138],"C293[2].":[139]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}