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 59 10

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…

   51 8

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 37 11

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++ 9

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

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