Assertion-Based Formal Verification of an AHB2APB bridge, featuring SystemVerilog assertions, RTL designs, and detailed documentation including a final report and project progression presentation.
verification abp uvm formal-verification amba ahb harward computer-ar assertion-based-verification ahb2
-
Updated
Mar 23, 2024 - SystemVerilog