Design & verification of memory protection unit in automotive microcontroller

Abstract

The verification of the AXI (Advanced eXtensible Interface) protocol and MPU (Memory Protection Unit) in automotive microcontrollers is of paramount importance to ensure the reliability, safety, and security of these systems in the context of Advanced Driver Assistance Systems (ADAS). The AXI protocol, a popular interface in automotive microcontrollers, makes it easier for different system peripherals and components to communicate with one another. The AXI protocol’s compliance with specifications and industry standards is verified using verification techniques such simulation, formal verification, and protocol compliance testing. On the other hand, the MPU is in charge of implementing memory access regulations and safeguarding private information and resources in the microcontroller. To make sure that the MPU checks are appropriately implemented and successfully enforce memory protection, it is verified through extensive testing, assertion-based verification, and coverage analysis. The verification procedure aids in locating and resolving problems including data corruption, unauthorised access, and boundary violations. The AXI protocol and MPU verification have a big impact on ADAS systems. Microcontrollers play a significant role in the management of crucial ADAS processes, including sensor data processing, decision-making, and actuator control. By successfully verifying the AXI protocol and MPU in automotive microcontrollers, potential issues and vulnerabilities can be identified and addressed early in the development cycle.