{"id":"https://openalex.org/W2042692297","doi":"https://doi.org/10.1145/1837274.1837300","title":"Bridging pre-silicon verification and post-silicon validation","display_name":"Bridging pre-silicon verification and post-silicon validation","publication_year":2010,"publication_date":"2010-06-13","ids":{"openalex":"https://openalex.org/W2042692297","doi":"https://doi.org/10.1145/1837274.1837300","mag":"2042692297"},"language":"en","primary_location":{"id":"doi:10.1145/1837274.1837300","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1837274.1837300","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 47th Design Automation Conference","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/A5083923985","display_name":"Amir Nahir","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Amir Nahir","raw_affiliation_strings":["IBM Haifa Research Lab, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Haifa Research Lab, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041046910","display_name":"Avi Ziv","orcid":"https://orcid.org/0000-0002-6309-250X"},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Avi Ziv","raw_affiliation_strings":["IBM Haifa Research Lab, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Haifa Research Lab, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049951159","display_name":"Rajesh Galivanche","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajesh Galivanche","raw_affiliation_strings":["Intel, Santa Clara, CA"],"affiliations":[{"raw_affiliation_string":"Intel, Santa Clara, CA","institution_ids":["https://openalex.org/I1343180700"]}]},{"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 Hu","raw_affiliation_strings":["University of British Columbia, Vancouver, BC"],"affiliations":[{"raw_affiliation_string":"University of British Columbia, Vancouver, BC","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091289669","display_name":"M. Abramovici","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Miron Abramovici","raw_affiliation_strings":["Tiger's Lair, Vienna, VA"],"affiliations":[{"raw_affiliation_string":"Tiger's Lair, Vienna, VA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020300462","display_name":"Albert Camilleri","orcid":null},"institutions":[{"id":"https://openalex.org/I4210087596","display_name":"Qualcomm (United States)","ror":"https://ror.org/002zrf773","country_code":"US","type":"company","lineage":["https://openalex.org/I4210087596"]},{"id":"https://openalex.org/I19268510","display_name":"Qualcomm (United Kingdom)","ror":"https://ror.org/04d3djg48","country_code":"GB","type":"company","lineage":["https://openalex.org/I19268510","https://openalex.org/I4210087596"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Albert Camilleri","raw_affiliation_strings":["Qualcomm, San Diego, CA","QualComm, San Diego, CA#TAB#"],"affiliations":[{"raw_affiliation_string":"Qualcomm, San Diego, CA","institution_ids":["https://openalex.org/I4210087596"]},{"raw_affiliation_string":"QualComm, San Diego, CA#TAB#","institution_ids":["https://openalex.org/I19268510"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015323315","display_name":"Bob Bentley","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bob Bentley","raw_affiliation_strings":["Intel, Hillsboro, Or"],"affiliations":[{"raw_affiliation_string":"Intel, Hillsboro, Or","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055482958","display_name":"Harry Foster","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156212","display_name":"Mentor Technologies","ror":"https://ror.org/05vewsj04","country_code":"US","type":"other","lineage":["https://openalex.org/I4210156212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Harry Foster","raw_affiliation_strings":["Mentor Graphics, Plano, TX"],"affiliations":[{"raw_affiliation_string":"Mentor Graphics, Plano, TX","institution_ids":["https://openalex.org/I4210156212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030335506","display_name":"Valeria Bertacco","orcid":"https://orcid.org/0000-0002-0319-3368"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Valeria Bertacco","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110753413","display_name":"Shakti Kapoor","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156936","display_name":"IBM Research - Austin","ror":"https://ror.org/05gjbbg60","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210156936"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shakti Kapoor","raw_affiliation_strings":["IBM, Austin, TX"],"affiliations":[{"raw_affiliation_string":"IBM, Austin, TX","institution_ids":["https://openalex.org/I4210156936"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5083923985"],"corresponding_institution_ids":["https://openalex.org/I4210167297"],"apc_list":null,"apc_paid":null,"fwci":1.9975,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.87318107,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"94","last_page":"95"},"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.9872999787330627,"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.9872999787330627,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9872000217437744,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9726999998092651,"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/silicon","display_name":"Silicon","score":0.7770273685455322},{"id":"https://openalex.org/keywords/emulation","display_name":"Emulation","score":0.7722520232200623},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6588701009750366},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.6333238482475281},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5604866743087769},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.43249544501304626},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3277432918548584},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2063346803188324},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.15094062685966492},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.11746984720230103},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10092097520828247},{"id":"https://openalex.org/keywords/optoelectronics","display_name":"Optoelectronics","score":0.08170953392982483}],"concepts":[{"id":"https://openalex.org/C544956773","wikidata":"https://www.wikidata.org/wiki/Q670","display_name":"Silicon","level":2,"score":0.7770273685455322},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.7722520232200623},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6588701009750366},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.6333238482475281},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5604866743087769},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.43249544501304626},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3277432918548584},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2063346803188324},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.15094062685966492},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.11746984720230103},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10092097520828247},{"id":"https://openalex.org/C49040817","wikidata":"https://www.wikidata.org/wiki/Q193091","display_name":"Optoelectronics","level":1,"score":0.08170953392982483},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1837274.1837300","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1837274.1837300","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 47th Design Automation Conference","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.6399999856948853}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2154523322","https://openalex.org/W2083200807","https://openalex.org/W2364195017","https://openalex.org/W2049983405","https://openalex.org/W2355430452","https://openalex.org/W1603137082","https://openalex.org/W2392315374","https://openalex.org/W1951195060","https://openalex.org/W2351776620","https://openalex.org/W2352195574"],"abstract_inverted_index":{"Post-silicon":[0],"validation":[1],"is":[2],"a":[3,7],"necessary":[4],"step":[5],"in":[6,20],"design's":[8],"verification":[9,79],"process.":[10],"Pre-silicon":[11],"techniques":[12],"such":[13,40],"as":[14,24,41],"simulation":[15],"and":[16,22,61,67,71,85],"emulation":[17],"are":[18,80],"limited":[19],"scope":[21],"volume":[23],"compared":[25],"to":[26,63],"what":[27],"can":[28,94],"be":[29,46,95],"achieved":[30],"on":[31],"the":[32,38,65,75,88,91],"silicon":[33],"itself.":[34],"Some":[35],"parts":[36],"of":[37,78],"verification,":[39,44],"full-system":[42],"functional":[43],"cannot":[45],"practically":[47],"covered":[48],"with":[49],"current":[50],"pre-silicon":[51],"technologies.":[52],"This":[53],"panel":[54],"brings":[55],"together":[56],"experts":[57],"from":[58],"industry,":[59],"academia,":[60],"EDA":[62],"review":[64],"differences":[66],"similarities":[68],"between":[69,90],"pre-":[70],"post-silicon,":[72],"discuss":[73],"how":[74,87],"fundamental":[76],"aspects":[77],"affected":[81],"by":[82],"these":[83],"differences,":[84],"explore":[86],"gaps":[89],"two":[92],"worlds":[93],"bridged.":[96]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}