{"id":"https://openalex.org/W4235811574","doi":"https://doi.org/10.7873/date.2014.262","title":"A cross-level verification methodology for digital IPs augmented with embedded timing monitors","display_name":"A cross-level verification methodology for digital IPs augmented with embedded timing monitors","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W4235811574","doi":"https://doi.org/10.7873/date.2014.262"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.7873/date.2014.262","pdf_url":null,"source":{"id":"https://openalex.org/S4363608094","display_name":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5021806598","display_name":"V. Guarnieri","orcid":null},"institutions":[{"id":"https://openalex.org/I4210136015","display_name":"EDALab (Italy)","ror":"https://ror.org/041ad9g51","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210136015"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"V. Guarnieri","raw_affiliation_strings":["EDALab s.r.l., Verona, Italy"],"affiliations":[{"raw_affiliation_string":"EDALab s.r.l., Verona, Italy","institution_ids":["https://openalex.org/I4210136015"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055148723","display_name":"Massimo Petricca","orcid":"https://orcid.org/0000-0002-4741-0440"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"funder","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"M. Petricca","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022022660","display_name":"Alessandro Sassone","orcid":null},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"funder","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. Sassone","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070652829","display_name":"Sara Vinco","orcid":"https://orcid.org/0000-0001-9666-5194"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"funder","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"S. Vinco","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088231786","display_name":"Nicola Bombieri","orcid":"https://orcid.org/0000-0003-3256-5885"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"funder","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"N. Bombieri","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049959354","display_name":"Franco Fummi","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"funder","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"F. Fummi","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005432629","display_name":"Enrico Macii","orcid":"https://orcid.org/0000-0001-9046-5618"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"funder","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"E. Macii","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024891882","display_name":"Massimo Poncino","orcid":"https://orcid.org/0000-0002-1369-9688"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"funder","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"M. Poncino","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":66},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9936,"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.9895,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6547915}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.76613903},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.76130563},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6547915},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.6099102},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5823435},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5487127},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4725021},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42996666},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3323849},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.7873/date.2014.262","pdf_url":null,"source":{"id":"https://openalex.org/S4363608094","display_name":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4238487776","https://openalex.org/W4232281993","https://openalex.org/W3146089259","https://openalex.org/W2790192245","https://openalex.org/W2532163536","https://openalex.org/W2366950178","https://openalex.org/W2119788505","https://openalex.org/W1981924702","https://openalex.org/W1550409889","https://openalex.org/W1525398417"],"abstract_inverted_index":{"Smart":[0],"systems":[1],"implement":[2],"the":[3,8,48,64,78,97,101,113,124,133,143,154,158,193,198,201,208,211],"leading":[4],"technology":[5],"advances":[6],"in":[7,83,135],"context":[9],"of":[10,25,42,77,80,100,112,127,152,161,200,210],"embedded":[11],"devices.":[12],"Current":[13],"design":[14,68,90,120,149,203],"methodologies":[15],"are":[16,189],"not":[17],"suitable":[18],"to":[19,58,71,122,141,176],"deal":[20],"with":[21,47,93],"tightly":[22],"interacting":[23],"subsystems":[24,82],"different":[26],"technological":[27],"domains,":[28],"namely":[29],"analog,":[30],"digital,":[31],"discrete":[32],"and":[33,37,46,53,108,138,167,204,207],"power":[34,38],"devices,":[35],"MEMS":[36],"sources.":[39],"The":[40,87,148,171],"effects":[41],"interaction":[43],"between":[44],"components":[45],"environment":[49],"must":[50],"be":[51,72],"modeled":[52],"simulated":[54],"at":[55,146],"system":[56],"level":[57],"achieve":[59],"high":[60],"performance.":[61,213],"Focusing":[62],"on":[63,106,109],"digital":[65,89,114,130],"domain,":[66],"additional":[67],"constraints":[69],"have":[70],"considered":[73],"as":[74],"a":[75,84,119,128,139],"result":[76],"integration":[79,134],"multi-domain":[81],"single":[85],"device.":[86],"main":[88],"challenges,":[91],"combined":[92],"those":[94],"emerging":[95],"from":[96],"heterogeneous":[98],"nature":[99],"whole":[102],"system,":[103],"directly":[104],"impact":[105],"performance":[107],"propagation":[110],"delay":[111,162],"component.":[115],"This":[116],"paper":[117],"proposes":[118],"approach":[121,150],"enhance":[123],"RTL":[125,155],"model":[126,156,173],"given":[129],"component":[131],"for":[132,185],"smart":[136],"systems,":[137],"methodology":[140,206],"verify":[142],"added":[144],"features":[145],"system-level.":[147],"consists":[151],"augmenting":[153],"through":[157],"automatic":[159],"insertion":[160],"sensors,":[163],"which":[164],"can":[165],"detect":[166],"correct":[168],"timing":[169,187],"failures.":[170],"augmented":[172],"is":[174],"abstracted":[175],"SystemC":[177],"TLM":[178],"and,":[179],"then,":[180],"mutants":[181],"(i.e.,":[182],"code":[183],"mutations":[184],"emulating":[186],"failures)":[188],"automatically":[190],"injected":[191],"into":[192],"model.":[194],"Experimental":[195],"results":[196],"demonstrate":[197],"applicability":[199],"proposed":[202],"verification":[205],"effectiveness":[209],"simulation":[212]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4235811574","counts_by_year":[],"updated_date":"2025-01-25T19:34:44.522302","created_date":"2022-05-12"}