TY - GEN
T1 - Design, Verification, and Implementation of AHB5 Compliant 8 k Memory for High-Performance Embedded Systems
AU - Pai, Rachana R.
AU - Madhushankara, M.
AU - Sridhar, Aishwarya
AU - Mathew, Ribu
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2026
PY - 2026
Y1 - 2026
N2 - This paper elucidates the advanced design of AHB5 master/slave interface and 8 K memory modules that feed through all past the memory limitation interfaces and conduct a discourse. The AHB5 protocol is a widely used bus protocol in SoC design, and our design integrates an AHB5 bus and a 8 K memory module that facilitate data exchange and concurrent memory access. The master/slave interface is designed to effect high-speed data transfers and the 8 K memory module will provide more storage space for demanding applications. The verification process established by us leads to a good and highly impressive formal verification effort using JasperGold, demonstrating the robust and reliable design with functional coverage of 72.7%. Our verification plan consists of defining the AHB5 protocol parameters, outlining the desired responses from the memory system, and developing SystemVerilog assertions to test the validity of these assertions in design. The results confirm that our design implements the AHB5 protocol for both sequential/ non-sequential transfers, read/write transfers with different data widths, and stalls due to the HMASTLOCK and HTRANS_IDLE conditions. The successful verification of our design proves it to be functional and correct for it to fit in modern-day high-performance embedded systems’ applications. The AHB5 master/slave interface and 8 K memory module design is well suited for automotive, industrial, and consumer electronics applications. With the high functional coverage and thorough verification, our design stands to revolutionize the performance of embedded systems, providing a reliable memory tool for demanding applications.
AB - This paper elucidates the advanced design of AHB5 master/slave interface and 8 K memory modules that feed through all past the memory limitation interfaces and conduct a discourse. The AHB5 protocol is a widely used bus protocol in SoC design, and our design integrates an AHB5 bus and a 8 K memory module that facilitate data exchange and concurrent memory access. The master/slave interface is designed to effect high-speed data transfers and the 8 K memory module will provide more storage space for demanding applications. The verification process established by us leads to a good and highly impressive formal verification effort using JasperGold, demonstrating the robust and reliable design with functional coverage of 72.7%. Our verification plan consists of defining the AHB5 protocol parameters, outlining the desired responses from the memory system, and developing SystemVerilog assertions to test the validity of these assertions in design. The results confirm that our design implements the AHB5 protocol for both sequential/ non-sequential transfers, read/write transfers with different data widths, and stalls due to the HMASTLOCK and HTRANS_IDLE conditions. The successful verification of our design proves it to be functional and correct for it to fit in modern-day high-performance embedded systems’ applications. The AHB5 master/slave interface and 8 K memory module design is well suited for automotive, industrial, and consumer electronics applications. With the high functional coverage and thorough verification, our design stands to revolutionize the performance of embedded systems, providing a reliable memory tool for demanding applications.
UR - https://www.scopus.com/pages/publications/105031413898
UR - https://www.scopus.com/pages/publications/105031413898#tab=citedBy
U2 - 10.1007/978-981-95-1058-0_1
DO - 10.1007/978-981-95-1058-0_1
M3 - Conference contribution
AN - SCOPUS:105031413898
SN - 9789819510573
T3 - Lecture Notes in Electrical Engineering
SP - 1
EP - 12
BT - Proceedings of the 4th International Conference on Signal and Data Processing, ICSDP 2024
A2 - Guha, Debatosh
A2 - Adhikari, Debashis
A2 - Suresh, M.
A2 - De, Swades
A2 - Sivasankaran, V.
PB - Springer Science and Business Media Deutschland GmbH
T2 - 4th International Conference on Signal and Data Processing, ICSDP 2024
Y2 - 21 November 2024 through 22 November 2024
ER -