Design Verification and System-Level Verification: Methodologies for Ensuring Robust Systems

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.

Authors

Institutions

Publication Details

Journal
International Research Journal on Advanced Engineering and Management (IRJAEM)
Published
2025-05-05
DOI
https://doi.org/10.47392/irjaem.2025.0263
Primary Topic
Formal Methods in Verification
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Design Verification and System-Level Verification: Methodologies for Ensuring Robust Systems

Arya Mohan
International Research Journal on Advanced Engineering and Management (IRJAEM)
Formal Methods in Verification
article

Design Verification and System-Level Verification: Methodologies for Ensuring Robust Systems

Arya Mohan
article en

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.

International Research Journal on Advanced Engineering and Management (IRJAEM)Vol. 3(05)
North Carolina State University (US)
Openalex Percentile: Top 89%
Formal Methods in Verification
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.