MP6134 - FUNCTIONAL VERIFICATION - PROJECT

🔗 Table of Contents

📍 Overview
👾 Features
📁 Project Structure
- 📂 Project Index
🚀 Getting Started
🔰 Contributing
🎗 License
🙌 Acknowledgments

📍 Overview

❯ This repository contains the functional verification for darkriscv. This a course project for MP6134 Functional Verification of the Master's in Electronics degree at Costa Rica Institute of Technology.

👾 Features

❯ REPLACE-ME

📁 Project Structure

└── MP6134-FunctionalVerification-Project/
    ├── LICENSE
    ├── Makefile
    ├── README.md
    ├── export_tools.sh
    ├── regression.sh
    ├── rtl
    │   ├── README.md
    │   ├── include
    │   ├── interfaces
    │   └── src
    ├── tb
    │   ├── README.md
    │   ├── checkers
    │   ├── environment
    │   ├── filelist.f
    │   ├── sequences
    │   └── tests
    └── tb_uvm
        ├── assertions
        ├── checkers
        ├── environment
        ├── filelist.f
        ├── sequences
        └── tests

📂 Project Index

MP6134-FUNCTIONALVERIFICATION-PROJECT/

__root__

regression.sh ❯ REPLACE-ME

export_tools.sh ❯ REPLACE-ME

Makefile ❯ REPLACE-ME

rtl

src

darkriscv.v ❯ REPLACE-ME

include

config.vh ❯ REPLACE-ME

interfaces

darkriscv_if.sv ❯ REPLACE-ME

tb_uvm

filelist.f ❯ REPLACE-ME

assertions

r_type_assertions.sva ❯ REPLACE-ME

environment

darkriscv_scoreboard.sv ❯ REPLACE-ME

darkriscv_agent.sv ❯ REPLACE-ME

instructions_pkg.svh ❯ REPLACE-ME

darkriscv_items_pkg.sv ❯ REPLACE-ME

darkriscv_driver.sv ❯ REPLACE-ME

darkriscv_input_cov.sv ❯ REPLACE-ME

darkriscv_output_cov.sv ❯ REPLACE-ME

darkriscv_reference_model.sv ❯ REPLACE-ME

darkriscv_input_item.sv ❯ REPLACE-ME

helper.sv ❯ REPLACE-ME

darkriscv_env.sv ❯ REPLACE-ME

darkriscv_monitor.sv ❯ REPLACE-ME

darkriscv_output_item.sv ❯ REPLACE-ME

sequences

darkriscv_seq.sv ❯ REPLACE-ME

i_instr_seq.sv ❯ REPLACE-ME

b_instr_seq.sv ❯ REPLACE-ME

random_instr_seq.sv ❯ REPLACE-ME

s_instr_seq.sv ❯ REPLACE-ME

darkriscv_item.sv ❯ REPLACE-ME

j_instr_seq.sv ❯ REPLACE-ME

l_instr_seq.sv ❯ REPLACE-ME

init_registers_seq.sv ❯ REPLACE-ME

u_instr_seq.sv ❯ REPLACE-ME

r_instr_seq.sv ❯ REPLACE-ME

save_registers_seq.sv ❯ REPLACE-ME

checkers

s_type_checker.sv ❯ REPLACE-ME

base_instruction_checker.sv ❯ REPLACE-ME

i_type_checker.sv ❯ REPLACE-ME

filelist.f ❯ REPLACE-ME

environment

riscv_defs.svh ❯ REPLACE-ME

instructions_pkg.svh ❯ REPLACE-ME

dut_intf.sv ❯ REPLACE-ME

driver.sv ❯ REPLACE-ME

environment.sv ❯ REPLACE-ME

riscv_reference_model.sv ❯ REPLACE-ME

tb_top.sv ❯ REPLACE-ME

helper.sv ❯ REPLACE-ME

monitor.sv ❯ REPLACE-ME

scoreboard.sv ❯ REPLACE-ME

sequences

stimulus_types.sv ❯ REPLACE-ME

stimulus.sv ❯ REPLACE-ME

checkers

j_type_checker.sv ❯ REPLACE-ME

b_type_checker.sv ❯ REPLACE-ME

s_type_checker.sv ❯ REPLACE-ME

base_instruction_checker.sv ❯ REPLACE-ME

u_type_checker.sv ❯ REPLACE-ME

r_type_checker.sv ❯ REPLACE-ME

i_type_checker.sv ❯ REPLACE-ME

🚀 Getting Started

☑️ Prerequisites

Before getting started with MP6134-FunctionalVerification-Project, ensure your runtime environment meets the following requirements:

Programming Language: Shell, Verilog, SystemVerilog, SystemVerilogAssertions, Python

⚙️ Installation

Install MP6134-FunctionalVerification-Project using one of the following methods:

Build from source:

Clone the MP6134-FunctionalVerification-Project repository:

❯ git clone https://github.com/ErickOF/MP6134-FunctionalVerification-Project

Navigate to the project directory:

❯ cd MP6134-FunctionalVerification-Project

Install the project dependencies:

> export_tools.sh
> make compile_uvm

🤖 Usage

Run MP6134-FunctionalVerification-Project using the following command:

> make uvm_gui

🧪 Testing

Run the test suite using the following command:

> source regression.sh

🔰 Contributing

💬 Join the Discussions: Share your insights, provide feedback, or ask questions.
🐛 Report Issues: Submit bugs found or log feature requests for the MP6134-FunctionalVerification-Project project.
💡 Submit Pull Requests: Review open PRs, and submit your own PRs.

Contributing Guidelines

Fork the Repository: Start by forking the project repository to your GitHub account.
Clone Locally: Clone the forked repository to your local machine using a git client.
```
git clone https://github.com/ErickOF/MP6134-FunctionalVerification-Project
```
Create a New Branch: Always work on a new branch, giving it a descriptive name.
```
git checkout -b username/new-feature-x
```
Make Your Changes: Develop and test your changes locally.
Commit Your Changes: Commit with a clear message describing your updates.
```
git commit -m 'Implemented new feature x.'
```
Push to GitHub: Push the changes to your forked repository.
```
git push origin username/new-feature-x
```
Submit a Pull Request: Create a PR against the original project repository. Clearly describe the changes and their motivations.
Review: Once your PR is reviewed and approved, it will be merged into the main branch. Congratulations on your contribution!

Contributor Graph

🎗 License

This project is protected under the SELECT-A-LICENSE License. Refer to the LICENSE file for more details.

regression.sh	`❯ REPLACE-ME`
export_tools.sh	`❯ REPLACE-ME`
Makefile	`❯ REPLACE-ME`

darkriscv_scoreboard.sv	`❯ REPLACE-ME`
darkriscv_agent.sv	`❯ REPLACE-ME`
instructions_pkg.svh	`❯ REPLACE-ME`
darkriscv_items_pkg.sv	`❯ REPLACE-ME`
darkriscv_driver.sv	`❯ REPLACE-ME`
darkriscv_input_cov.sv	`❯ REPLACE-ME`
darkriscv_output_cov.sv	`❯ REPLACE-ME`
darkriscv_reference_model.sv	`❯ REPLACE-ME`
darkriscv_input_item.sv	`❯ REPLACE-ME`
helper.sv	`❯ REPLACE-ME`
darkriscv_env.sv	`❯ REPLACE-ME`
darkriscv_monitor.sv	`❯ REPLACE-ME`
darkriscv_output_item.sv	`❯ REPLACE-ME`

darkriscv_seq.sv	`❯ REPLACE-ME`
i_instr_seq.sv	`❯ REPLACE-ME`
b_instr_seq.sv	`❯ REPLACE-ME`
random_instr_seq.sv	`❯ REPLACE-ME`
s_instr_seq.sv	`❯ REPLACE-ME`
darkriscv_item.sv	`❯ REPLACE-ME`
j_instr_seq.sv	`❯ REPLACE-ME`
l_instr_seq.sv	`❯ REPLACE-ME`
init_registers_seq.sv	`❯ REPLACE-ME`
u_instr_seq.sv	`❯ REPLACE-ME`
r_instr_seq.sv	`❯ REPLACE-ME`
save_registers_seq.sv	`❯ REPLACE-ME`

s_type_checker.sv	`❯ REPLACE-ME`
base_instruction_checker.sv	`❯ REPLACE-ME`
i_type_checker.sv	`❯ REPLACE-ME`

riscv_defs.svh	`❯ REPLACE-ME`
instructions_pkg.svh	`❯ REPLACE-ME`
dut_intf.sv	`❯ REPLACE-ME`
driver.sv	`❯ REPLACE-ME`
environment.sv	`❯ REPLACE-ME`
riscv_reference_model.sv	`❯ REPLACE-ME`
tb_top.sv	`❯ REPLACE-ME`
helper.sv	`❯ REPLACE-ME`
monitor.sv	`❯ REPLACE-ME`
scoreboard.sv	`❯ REPLACE-ME`

stimulus_types.sv	`❯ REPLACE-ME`
stimulus.sv	`❯ REPLACE-ME`

j_type_checker.sv	`❯ REPLACE-ME`
b_type_checker.sv	`❯ REPLACE-ME`
s_type_checker.sv	`❯ REPLACE-ME`
base_instruction_checker.sv	`❯ REPLACE-ME`
u_type_checker.sv	`❯ REPLACE-ME`
r_type_checker.sv	`❯ REPLACE-ME`
i_type_checker.sv	`❯ REPLACE-ME`

ErickOF/MP6134-FunctionalVerification-Project