Towards Multidimensional Verification: Where Functional Meets Non-Functional

TL;DR

This paper explores the emerging need for multidimensional verification in electronic systems, integrating functional and non-functional aspects like security, privacy, and power, and provides a taxonomy and survey of current research.

Contribution

It introduces a taxonomy for multidimensional hardware verification and surveys existing research, advancing the understanding of holistic verification approaches.

Findings

Proposes a taxonomy for multidimensional verification aspects.

Provides a comprehensive survey of related research and trends.

Motivates the concept with an example involving functional and power verification.

Abstract

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.