Design Verification and System-Level Verification: Methodologies for Ensuring Robust Systems
Year: 2025
Type: article
Abstract: As system complexity increases exponentially in industries such as automotive, aerospace, and consumer electronics, the demand for comprehensive design verification and system-level verification has intensified. Traditional verification techniques like simulation and formal methods, though essential, are increasingly being complemented by AI-driven strategies and hybrid verification frameworks. This review synthesizes research trends, practical methodologies, and experimental insights into scalable and efficient verification approaches. The review concludes by emphasizing the need for adaptive, intelligent, and sustainability-aware verification methodologies to address the growing demands of modern digital systems.
Author: Aparna Mohan
Institution: North Carolina State University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4410129601