Mohamed Ghonim
Results
2
repositories owned by
Mohamed Ghonim
Formal-Verification-of-an-AHB2APB-Bridge
23
Stars
5
Forks
23
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.
Pre_Silicon-AHB-to_APB-Verification
42
Stars
8
Forks
42
Watchers
Comprehensive verification suite for the AHB2APB Bridge design, featuring SystemVerilog and UVM-based methodologies. 🌉🚀