{"id":"https://openalex.org/W2964769220","doi":"https://doi.org/10.1109/norchip.2018.8573495","title":"Towards Multidimensional Verification: Where Functional Meets Non-Functional","display_name":"Towards Multidimensional Verification: Where Functional Meets Non-Functional","publication_year":2018,"publication_date":"2018-10-01","ids":{"openalex":"https://openalex.org/W2964769220","doi":"https://doi.org/10.1109/norchip.2018.8573495","mag":"2964769220"},"language":"en","primary_location":{"id":"doi:10.1109/norchip.2018.8573495","is_oa":false,"landing_page_url":"https://doi.org/10.1109/norchip.2018.8573495","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE Nordic Circuits and Systems Conference (NORCAS): NORCHIP and International Symposium of System-on-Chip (SoC)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1908.00314","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059391257","display_name":"Maksim Jenihhin","orcid":"https://orcid.org/0000-0001-8165-9592"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Maksim Jenihhin","raw_affiliation_strings":["Computer Systems, Tallinn University of Technology, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Systems, Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067123725","display_name":"Xinhui Lai","orcid":null},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Xinhui Lai","raw_affiliation_strings":["Computer Systems, Tallinn University of Technology, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Systems, Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042603430","display_name":"Tara Ghasempouri","orcid":"https://orcid.org/0000-0001-8021-9368"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Tara Ghasempouri","raw_affiliation_strings":["Computer Systems, Tallinn University of Technology, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Systems, Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010286547","display_name":"Jaan Raik","orcid":"https://orcid.org/0000-0001-8113-020X"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Jaan Raik","raw_affiliation_strings":["Computer Systems, Tallinn University of Technology, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Systems, Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7856,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.75408502,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"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":0.9998999834060669,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9998000264167786,"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/T12495","display_name":"Electrostatic Discharge in Electronics","score":0.9995999932289124,"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/computer-science","display_name":"Computer science","score":0.7528858780860901},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.7271758913993835},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.526685357093811},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.48644351959228516},{"id":"https://openalex.org/keywords/functional-design","display_name":"Functional design","score":0.4326101541519165},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.42481228709220886},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41015881299972534},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3517804741859436},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.25137895345687866},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2293092906475067}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7528858780860901},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.7271758913993835},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.526685357093811},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.48644351959228516},{"id":"https://openalex.org/C64346931","wikidata":"https://www.wikidata.org/wiki/Q4519148","display_name":"Functional design","level":2,"score":0.4326101541519165},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.42481228709220886},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41015881299972534},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3517804741859436},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.25137895345687866},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2293092906475067},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/norchip.2018.8573495","is_oa":false,"landing_page_url":"https://doi.org/10.1109/norchip.2018.8573495","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE Nordic Circuits and Systems Conference (NORCAS): NORCHIP and International Symposium of System-on-Chip (SoC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1908.00314","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1908.00314","pdf_url":"https://arxiv.org/pdf/1908.00314","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1908.00314","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1908.00314","pdf_url":"https://arxiv.org/pdf/1908.00314","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":69,"referenced_works":["https://openalex.org/W160422864","https://openalex.org/W199889405","https://openalex.org/W1421358528","https://openalex.org/W1600068019","https://openalex.org/W1975980085","https://openalex.org/W1981924702","https://openalex.org/W1984733309","https://openalex.org/W1988361189","https://openalex.org/W1995397752","https://openalex.org/W1996937823","https://openalex.org/W1997747503","https://openalex.org/W2028477569","https://openalex.org/W2032150752","https://openalex.org/W2051952787","https://openalex.org/W2052055895","https://openalex.org/W2086037506","https://openalex.org/W2086125911","https://openalex.org/W2094827621","https://openalex.org/W2109488193","https://openalex.org/W2112193284","https://openalex.org/W2121649496","https://openalex.org/W2134411298","https://openalex.org/W2134934846","https://openalex.org/W2162924393","https://openalex.org/W2164130988","https://openalex.org/W2180139569","https://openalex.org/W2200157983","https://openalex.org/W2325421623","https://openalex.org/W2332146482","https://openalex.org/W2339638694","https://openalex.org/W2343083300","https://openalex.org/W2367312597","https://openalex.org/W2389387540","https://openalex.org/W2405155598","https://openalex.org/W2484367995","https://openalex.org/W2495387843","https://openalex.org/W2529974958","https://openalex.org/W2535443135","https://openalex.org/W2535522643","https://openalex.org/W2535937985","https://openalex.org/W2568305616","https://openalex.org/W2597506307","https://openalex.org/W2597956280","https://openalex.org/W2602454555","https://openalex.org/W2605734758","https://openalex.org/W2612555491","https://openalex.org/W2618365494","https://openalex.org/W2735420100","https://openalex.org/W2743847386","https://openalex.org/W2745235995","https://openalex.org/W2760851227","https://openalex.org/W2768344124","https://openalex.org/W2769257089","https://openalex.org/W2770486545","https://openalex.org/W2781709295","https://openalex.org/W2782017703","https://openalex.org/W2869107697","https://openalex.org/W2909420120","https://openalex.org/W2920093389","https://openalex.org/W3102863525","https://openalex.org/W4249279997","https://openalex.org/W4253698428","https://openalex.org/W4254809044","https://openalex.org/W6608137638","https://openalex.org/W6678292871","https://openalex.org/W6702505436","https://openalex.org/W6728293197","https://openalex.org/W6757677708","https://openalex.org/W6759925271"],"related_works":["https://openalex.org/W2105593427","https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W3209085687","https://openalex.org/W2108860137","https://openalex.org/W2125238773","https://openalex.org/W2153955347","https://openalex.org/W2533078207","https://openalex.org/W1928822090"],"abstract_inverted_index":{"Trends":[0],"in":[1,27,32,69],"advanced":[2],"electronic":[3,55],"systems'":[4],"design":[5,11,67],"have":[6],"a":[7,88,99,106],"notable":[8],"impact":[9],"on":[10],"verification":[12,64,104,118,132],"technologies.":[13],"The":[14,93,120],"recent":[15,49],"paradigms":[16],"of":[17,39,54,65,77,95,109],"Internet-of-Things":[18],"(IoT)":[19],"and":[20,34,44,62,113,130],"CyberPhysical":[21],"Systems":[22],"(CPS)":[23],"assume":[24],"devices":[25],"immersed":[26],"physical":[28],"environments,":[29],"significantly":[30],"constrained":[31],"resources":[33],"expected":[35],"to":[36,59],"provide":[37],"levels":[38],"security,":[40],"privacy,":[41],"reliability,":[42],"performance":[43],"low":[45],"power":[46,131],"features.":[47],"In":[48],"years,":[50],"numerous":[51],"extra-functional":[52],"aspects":[53],"systems":[56],"were":[57],"brought":[58],"the":[60,74,78,84,116,128],"front":[61],"imply":[63],"hardware":[66,103],"models":[68],"multidimensional":[70,102,117],"space":[71],"along":[72],"with":[73],"functional":[75,129],"concerns":[76],"target":[79],"system.":[80],"However,":[81],"different":[82],"from":[83],"software":[85],"domain":[86],"such":[87],"holistic":[89],"approach":[90],"remains":[91],"underdeveloped.":[92],"contributions":[94],"this":[96],"paper":[97],"are":[98],"taxonomy":[100],"for":[101,127],"aspects,":[105],"state-of-the-art":[107],"survey":[108],"related":[110],"research":[111],"works":[112],"trends":[114],"towards":[115],"concept.":[119],"concept":[121],"is":[122],"motivated":[123],"by":[124],"an":[125],"example":[126],"dimensions.":[133]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}