Verification of AMBA APB Bus Protocol Using UVM

The architectures should be interconnected and managed with functional blocks. Ensuring the correct implementation and functionality of the AMBA protocol is crucial for the reliability and performance of SoC devices. This paper presents a verification methodology for the AMBA APB bus protocol using (UVM). Our verification approach involves developing a UVM based testbench that models the AMBA APB bus protocol and generates directed and constrained-random transactions to exercise the design under test (DUT). System Verilog has various components through which the transaction is driven to DUT and capture the outputs. The drivers that initiate transactions, monitors observe bus activity and scoreboards check protocol compliance and data integrity. We implemented a comprehensive set of tests that cover various scenarios, including read and write transactions, single transfers, different data sizes, and error conditions. The UVM testbench is highly configurable, allowing users to customize test scenarios, transaction parameters, and coverage goals. The verification environment successfully detected protocol violations and corner-case bugs that would have been challenging to find using traditional directed testing approaches. This work highlights the benefits of adopting the SV testbench for verifying bus protocols like AMBA. This enables the creation of robust, flexible, and reusable verification environments that can thoroughly exercise and validate SoC designs, improving their quality and reliability.

Authors

Publication Details

Published
2025-04-29
DOI
https://doi.org/10.1109/aimla63829.2025.11041313
Primary Topic
Embedded Systems Design Techniques
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Verification of AMBA APB Bus Protocol Using UVM

K. B. Devika, S Saravanan, T S Dheena, P Divyasri
Embedded Systems Design Techniques
article

Verification of AMBA APB Bus Protocol Using UVM

K. B. Devika, S Saravanan, T S Dheena, P Divyasri
article en

Abstract

The architectures should be interconnected and managed with functional blocks. Ensuring the correct implementation and functionality of the AMBA protocol is crucial for the reliability and performance of SoC devices. This paper presents a verification methodology for the AMBA APB bus protocol using (UVM). Our verification approach involves developing a UVM based testbench that models the AMBA APB bus protocol and generates directed and constrained-random transactions to exercise the design under test (DUT). System Verilog has various components through which the transaction is driven to DUT and capture the outputs. The drivers that initiate transactions, monitors observe bus activity and scoreboards check protocol compliance and data integrity. We implemented a comprehensive set of tests that cover various scenarios, including read and write transactions, single transfers, different data sizes, and error conditions. The UVM testbench is highly configurable, allowing users to customize test scenarios, transaction parameters, and coverage goals. The verification environment successfully detected protocol violations and corner-case bugs that would have been challenging to find using traditional directed testing approaches. This work highlights the benefits of adopting the SV testbench for verifying bus protocols like AMBA. This enables the creation of robust, flexible, and reusable verification environments that can thoroughly exercise and validate SoC designs, improving their quality and reliability.

Openalex Percentile: Top 84%
Embedded Systems Design Techniques
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.