Popular repositories Loading

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 15 4

2. 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…

   14

3. 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 6 3

4. 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

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 3

6. Linear-Equations-Solver-with-Parallel-LU-decomposition-ECE588 Linear-Equations-Solver-with-Parallel-LU-decomposition-ECE588 Public

   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 ben…

   C 2