computer-ar

There are 0 repository under computer-ar topic.

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 amba computer-ar formal-verification harward uvm verification ahb2 assertion-based-verification
Language:SystemVerilog 2

Ghonimo / Formal-Verification-of-an-AHB2APB-Bridge