Skip to content
View Ghonimo's full-sized avatar
7 followers · 2 following

Highlights

  • Pro

Organizations

@ECE411T5 @VCFormal
Block or Report

Block or report Ghonimo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. Pre_Silicon-AHB-to_APB-Verification Pre_Silicon-AHB-to_APB-Verification Public

    Comprehensive verification suite for the AHB2APB Bridge design, featuring SystemVerilog and UVM-based methodologies. 🌉🚀

    SystemVerilog 7 2

  2. Design-and-Simulation-of-Split-L1-Cache-PSU-ECE585 Design-and-Simulation-of-Split-L1-Cache-PSU-ECE585 Public

    An in-depth project focusing on the design and simulation of a split L1 cache in C++. This repository covers MESI protocol operations, comprehensive test cases, and simulation results, showcasing s…

    C++ 5

  3. Formal-Verification-With-VC-Formal--Tutorials-and-Examples Formal-Verification-With-VC-Formal--Tutorials-and-Examples Public

    This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our goal is to help both beginners and experienced users understa…

    3

  4. MOSFET-Characterization-PSU-ECE515 MOSFET-Characterization-PSU-ECE515 Public

    Comprehensive characterization of n-channel MOSFET (2N7000) behavior through current-voltage analysis, conducted for ECE 515 - Fundamentals of Semiconductor Devices at Portland State University. In…

    MATLAB 1

  5. Perceptron-Combinational-Branch-Predictor-SimpleScalar-PSU-ECE587 Perceptron-Combinational-Branch-Predictor-SimpleScalar-PSU-ECE587 Public

    Implementation of advanced branch predictors, including Perceptron and Combinational Two-Level Adaptive Predictors, within the SimpleScalar simulator. Showcases enhancements in prediction accuracy …

    C 1

  6. Formal-Verification-of-an-AHB2APB-Bridge Formal-Verification-of-an-AHB2APB-Bridge Public

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

    SystemVerilog 1