Mohamed Ghonim's repositories
Pre_Silicon-AHB-to_APB-Verification
Comprehensive verification suite for the AHB2APB Bridge design, featuring SystemVerilog and UVM-based methodologies. 🌉🚀
Formal-Verification-With-VC-Formal--Tutorials-and-Examples
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 understand the principles of formal verification and how to apply them effectively using VC Formal.
Design-and-Simulation-of-Split-L1-Cache-PSU-ECE585
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 strategies for enhancing cache coherence and performance. This is a class project from ECE 585: Microprocessor System Design at Portland State University
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.
Digital-Keyless-Door-Lock-System-Design
A digital keyless door lock system designed for enhanced security and convenience, featuring pin code access, LCD display messages, and a guess-proof mechanism. Ideal for homeowners and Airbnb hosts seeking a reliable and affordable security solution.
Diode-PN-Junction-Characterization-PSU-ECE515
A detailed analysis of the I-V characteristics of a PN junction diode (1N4148) under different temperatures, utilizing Excel for graphical analysis and parameter extraction. This study was conducted as part of the ECE 515: Fundamentals of Semiconductor Devices course at Portland State University.
MOSFET-Characterization-PSU-ECE515
Comprehensive characterization of n-channel MOSFET (2N7000) behavior through current-voltage analysis, conducted for ECE 515 - Fundamentals of Semiconductor Devices at Portland State University. Includes MATLAB scripts for generating output and transfer characteristics, as well as subthreshold region analysis.
Perceptron-Combinational-Branch-Predictor-SimpleScalar-PSU-ECE587
Implementation of advanced branch predictors, including Perceptron and Combinational Two-Level Adaptive Predictors, within the SimpleScalar simulator. Showcases enhancements in prediction accuracy and dynamic branch prediction techniques. This is a project for PSU ECE 587: Advanced Computer Architecture
Heat-Diffusion-Grid-Simulation-using-MPI-ECE588
This repository contains the code and documentation for a parallelized heat diffusion simulator implemented using the Message Passing Interface (MPI). It simulates the diffusion of heat across a 2D grid, using a finite difference method to calculate temperature changes over time. This program was designed for Portland State University ECE 588 Class
Heat-Diffusion-Grid-Simulation-using-Pthreads--ECE588
This repository contains the code and documentation for a parallelized heat diffusion simulator implemented using Pthreads in C. It simulates the diffusion of heat across a 2D grid, using a finite difference method to calculate temperature changes over time. This program was designed for Portland State University ECE 588 Class
Linear-Equations-Solver-with-Parallel-LU-decomposition-ECE588
A system of linear equations solver with a parallel LU Decomposition algorithm implemented using Pthreads at its core. C/C++ implementations with and without pivoting. Thoroughly documented and benchmarked on an intel linux system and a macbook pro with Apple Silicon M3pro chip. This project was developed as a project at Portland State University