{"id":"https://openalex.org/W1527603949","doi":"https://doi.org/10.1109/i2mtc.2015.7151515","title":"A common platform for bridging pre- and post-silicon verification in mixed-signal designs","display_name":"A common platform for bridging pre- and post-silicon verification in mixed-signal designs","publication_year":2015,"publication_date":"2015-05-01","ids":{"openalex":"https://openalex.org/W1527603949","doi":"https://doi.org/10.1109/i2mtc.2015.7151515","mag":"1527603949"},"language":"en","primary_location":{"id":"doi:10.1109/i2mtc.2015.7151515","is_oa":false,"landing_page_url":"https://doi.org/10.1109/i2mtc.2015.7151515","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) Proceedings","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/A5066014337","display_name":"Dominik Widhalm","orcid":"https://orcid.org/0000-0001-7461-0918"},"institutions":[{"id":"https://openalex.org/I121760703","display_name":"University of Applied Sciences Technikum Wien","ror":"https://ror.org/04jsx0x49","country_code":"AT","type":"education","lineage":["https://openalex.org/I121760703"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Dominik Widhalm","raw_affiliation_strings":["University of Applied Sciences Technikum Wien, Vienna, Austria","University Of Applied Sciences Technikum Wien, H\u00f6chst\u00e4dtplatz 6, 1200 Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"University of Applied Sciences Technikum Wien, Vienna, Austria","institution_ids":["https://openalex.org/I121760703"]},{"raw_affiliation_string":"University Of Applied Sciences Technikum Wien, H\u00f6chst\u00e4dtplatz 6, 1200 Vienna, Austria","institution_ids":["https://openalex.org/I121760703"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059943175","display_name":"Stefan Tauner","orcid":"https://orcid.org/0000-0002-8806-7730"},"institutions":[{"id":"https://openalex.org/I121760703","display_name":"University of Applied Sciences Technikum Wien","ror":"https://ror.org/04jsx0x49","country_code":"AT","type":"education","lineage":["https://openalex.org/I121760703"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stefan Tauner","raw_affiliation_strings":["University of Applied Sciences Technikum Wien, Vienna, Austria","University Of Applied Sciences Technikum Wien, H\u00f6chst\u00e4dtplatz 6, 1200 Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"University of Applied Sciences Technikum Wien, Vienna, Austria","institution_ids":["https://openalex.org/I121760703"]},{"raw_affiliation_string":"University Of Applied Sciences Technikum Wien, H\u00f6chst\u00e4dtplatz 6, 1200 Vienna, Austria","institution_ids":["https://openalex.org/I121760703"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028034207","display_name":"Martin Horauer","orcid":"https://orcid.org/0000-0001-6835-0662"},"institutions":[{"id":"https://openalex.org/I121760703","display_name":"University of Applied Sciences Technikum Wien","ror":"https://ror.org/04jsx0x49","country_code":"AT","type":"education","lineage":["https://openalex.org/I121760703"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Martin Horauer","raw_affiliation_strings":["University of Applied Sciences Technikum Wien, Vienna, Austria","University Of Applied Sciences Technikum Wien, H\u00f6chst\u00e4dtplatz 6, 1200 Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"University of Applied Sciences Technikum Wien, Vienna, Austria","institution_ids":["https://openalex.org/I121760703"]},{"raw_affiliation_string":"University Of Applied Sciences Technikum Wien, H\u00f6chst\u00e4dtplatz 6, 1200 Vienna, Austria","institution_ids":["https://openalex.org/I121760703"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111503338","display_name":"Achim Schumacher","orcid":null},"institutions":[{"id":"https://openalex.org/I4210131793","display_name":"Infineon Technologies (Austria)","ror":"https://ror.org/03msng824","country_code":"AT","type":"company","lineage":["https://openalex.org/I137594350","https://openalex.org/I4210131793"]},{"id":"https://openalex.org/I137594350","display_name":"Infineon Technologies (Germany)","ror":"https://ror.org/005kw6t15","country_code":"DE","type":"company","lineage":["https://openalex.org/I137594350"]}],"countries":["AT","DE"],"is_corresponding":false,"raw_author_name":"Achim Schumacher","raw_affiliation_strings":["Infineon Technologies Austria AG, Villach, Austria","Infineon Technologies Austria AG; Siemensstra\u00dfe 2, 9500 Villach Austria"],"affiliations":[{"raw_affiliation_string":"Infineon Technologies Austria AG, Villach, Austria","institution_ids":["https://openalex.org/I4210131793"]},{"raw_affiliation_string":"Infineon Technologies Austria AG; Siemensstra\u00dfe 2, 9500 Villach Austria","institution_ids":["https://openalex.org/I137594350"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047859690","display_name":"Alexander Haggenmiller","orcid":null},"institutions":[{"id":"https://openalex.org/I137594350","display_name":"Infineon Technologies (Germany)","ror":"https://ror.org/005kw6t15","country_code":"DE","type":"company","lineage":["https://openalex.org/I137594350"]},{"id":"https://openalex.org/I4210131793","display_name":"Infineon Technologies (Austria)","ror":"https://ror.org/03msng824","country_code":"AT","type":"company","lineage":["https://openalex.org/I137594350","https://openalex.org/I4210131793"]}],"countries":["AT","DE"],"is_corresponding":false,"raw_author_name":"Alexander Haggenmiller","raw_affiliation_strings":["Infineon Technologies Austria AG, Villach, Austria","Infineon Technologies Austria AG; Siemensstra\u00dfe 2, 9500 Villach Austria"],"affiliations":[{"raw_affiliation_string":"Infineon Technologies Austria AG, Villach, Austria","institution_ids":["https://openalex.org/I4210131793"]},{"raw_affiliation_string":"Infineon Technologies Austria AG; Siemensstra\u00dfe 2, 9500 Villach Austria","institution_ids":["https://openalex.org/I137594350"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5066014337"],"corresponding_institution_ids":["https://openalex.org/I121760703"],"apc_list":null,"apc_paid":null,"fwci":0.323,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.56105254,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9983999729156494,"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.9980000257492065,"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/exploit","display_name":"Exploit","score":0.7885757088661194},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.7674616575241089},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7476258277893066},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.7015801072120667},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6596642732620239},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.6236913800239563},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.5760184526443481},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5349259376525879},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.4925402104854584},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.44136565923690796},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3824191391468048},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.37905240058898926},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33857521414756775},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.23109138011932373},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16988953948020935},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1516094207763672},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.09813788533210754}],"concepts":[{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.7885757088661194},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.7674616575241089},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7476258277893066},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.7015801072120667},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6596642732620239},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.6236913800239563},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.5760184526443481},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5349259376525879},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.4925402104854584},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.44136565923690796},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3824191391468048},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.37905240058898926},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33857521414756775},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.23109138011932373},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16988953948020935},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1516094207763672},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.09813788533210754},{"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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/i2mtc.2015.7151515","is_oa":false,"landing_page_url":"https://doi.org/10.1109/i2mtc.2015.7151515","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) Proceedings","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1480341062","https://openalex.org/W1500355126","https://openalex.org/W2130393241","https://openalex.org/W2147524308","https://openalex.org/W2167930416","https://openalex.org/W4252688384"],"related_works":["https://openalex.org/W2361881307","https://openalex.org/W2392047570","https://openalex.org/W4205300843","https://openalex.org/W2325633191","https://openalex.org/W2035244079","https://openalex.org/W3036403349","https://openalex.org/W3120172095","https://openalex.org/W2929969821","https://openalex.org/W2350806125","https://openalex.org/W4301348901"],"abstract_inverted_index":{"The":[0],"steadily":[1],"increasing":[2],"complexity":[3],"of":[4,13,79],"integrated":[5],"circuits":[6],"raises":[7],"the":[8,46,64,67,77,121],"burden":[9],"on":[10,16,66],"verification":[11,22,62,88],"engineers":[12],"sophisticated":[14],"System":[15],"Chips":[17],"(SoCs).":[18],"Simulations":[19],"and":[20,74,86,132],"formal":[21],"alone":[23],"are":[24,48],"not":[25],"able":[26],"to":[27,35,55,71,94,119,137,141],"detect":[28],"all":[29],"problems":[30,41],"in":[31,60,63,101,107,144,149],"a":[32,116,125],"design":[33,80],"due":[34,54],"unforeseen":[36],"interactions":[37],"between":[38,84],"modules.":[39],"These":[40],"may":[42],"occur":[43],"even":[44],"if":[45],"modules":[47],"logically":[49],"independent":[50],"from":[51],"each":[52],"other":[53,68],"physical":[56,150],"effects.":[57],"Bugs":[58],"found":[59],"post-silicon":[61,87,133,151],"laboratory":[65],"hand":[69],"need":[70],"be":[72,142],"investigated":[73],"fixed":[75],"with":[76],"help":[78],"engineers.":[81],"Therefore,":[82],"collaboration":[83],"pre-":[85,131],"is":[89],"mandatory,":[90],"which":[91,110],"also":[92],"allows":[93,136],"exploit":[95],"synergies.":[96],"Unfortunately,":[97],"many":[98],"environments":[99],"currently":[100],"use":[102],"handle":[103],"these":[104],"activities":[105],"almost":[106],"complete":[108],"separation,":[109],"complicates":[111],"cooperations.":[112],"This":[113],"paper":[114],"introduces":[115],"new":[117],"approach":[118],"improve":[120],"situation":[122],"by":[123],"using":[124],"common":[126],"test":[127,139],"description":[128],"language":[129],"for":[130],"verification.":[134],"It":[135],"describe":[138],"cases":[140],"run":[143],"simulation":[145],"as":[146,148],"well":[147],"environments.":[152]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}