https://github.com/ghonimo/formal-verification-of-an-ahb2apb-bridge

Assertion-Based Formal Verification of an AHB2APB bridge, featuring SystemVerilog assertions, RTL designs, and detailed documentation including a final report and project progression presentation.

abp ahb ahb2 amba assertion-based-verification computer-ar formal-verification harward uvm verification

Last synced: 28 Feb 2026