https://github.com/ghonimo/pre_silicon-ahb-to_apb-verification

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

ahb2apb digital-design questasim semiconductor simulation systemverilog testbench uvm uvm-verification verification verification-methodologies vip

Last synced: 25 Feb 2025

https://github.com/ghonimo/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.

computer-architecture formal-methods formal-verification hardware systemverilog vcformal verification

Last synced: 17 Jun 2025

https://github.com/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 ahb2 amba assertion-based-verification computer-ar formal-verification harward uvm verification

Last synced: 25 Feb 2025

https://github.com/ghonimo/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

cache cache-control cache-simulator hpc mesi microprocessor portland-state-university split-l1

Last synced: 15 Apr 2025

https://github.com/ghonimo/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

branch-prediction combinational-branch-prediction computer-architecture microprocessor perceptron perceptron-branch-prediction portland-state-university simple-scalar simplescalar-simulator ss3 superscalar superscalar-cpu

Last synced: 28 Oct 2025

https://github.com/ghonimo/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

apple-silicon benchmark decomposition hpc hyperthreading intel linear lu lu-decomposition m3-chip m3pro matrix matrix-factorization matrix-generation parallel-computing parallel-programming portland-state-university pthreads solver

Last synced: 25 Feb 2025

https://github.com/ghonimo/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.

characterization characterization-data device mosfet pn-junction

Last synced: 19 Nov 2025

https://github.com/ghonimo/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.

analysis characterization data device diode diodes excel mosfet-transistor pn-junction

Last synced: 25 Feb 2025

https://github.com/ghonimo/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.

Last synced: 25 Feb 2025

https://github.com/ghonimo/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

c heatmap mpi mpi-applications mpich parallel-computing parallel-programming perl portland-state-university

Last synced: 29 Dec 2025

https://github.com/ghonimo/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

c heat-transfer heatmap parallel-computing parallel-programming perl portland-state-university pthreadjoin pthreads

Last synced: 04 Nov 2025