Ghonimo

Results 1 repositories owned by Ghonimo

Formal-Verification-of-an-AHB2APB-Bridge

22
Stars
5
Forks
22
Watchers

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

verified publisher icon Ghonimo