Towards Multidimensional Verification: Where Functional Meets Non-Functional

Trends in advanced electronic systems' design have a notable impact on design verification technologies. The recent paradigms of Internet-of-Things (IoT) and Cyber-Physical Systems (CPS) assume devices immersed in physical environments, significantly constrained in resources and expected to pro...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Jenihhin, Maksim, Lai, Xinhui, Ghasempouri, Tara, Raik, Jaan
Format Paper Journal Article
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 01.08.2019
Subjects
Computer Science - Hardware Architecture
Cyber-physical systems
Electronic systems
Hardware
Internet of Things
Reliability aspects
Taxonomy
Trends
Online AccessGet full text

Cover

More Information
Summary:Trends in advanced electronic systems' design have a notable impact on design verification technologies. The recent paradigms of Internet-of-Things (IoT) and Cyber-Physical Systems (CPS) assume devices immersed in physical environments, significantly constrained in resources and expected to provide levels of security, privacy, reliability, performance and low power features. In recent years, numerous extra-functional aspects of electronic systems were brought to the front and imply verification of hardware design models in multidimensional space along with the functional concerns of the target system. However, different from the software domain such a holistic approach remains underdeveloped. The contributions of this paper are a taxonomy for multidimensional hardware verification aspects, a state-of-the-art survey of related research works and trends towards the multidimensional verification concept. The concept is motivated by an example for the functional and power verification dimensions.
ISSN:2331-8422
DOI:10.48550/arxiv.1908.00314