verification-methodologies

dpretet/svut

SVUT is a simple framework to create Verilog/SystemVerilog unit tests. Just focus on your tests!

amamory-verification/uvm-basics

my UVM training projects

Ghonimo/Pre_Silicon-AHB-to_APB-Verification

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

tahandy/ToroExact

Python implementation of the exact Riemann solver of Toro (1999).

pendkeomkar/SPI

Title : Communication Bridge between I2C and SPI Platform : RTL Coding (Verilog/System Verilog/VHDL) Duration : 1 Month Description : Both SPI and I2C are robust, stable communication protocols that are widely used in today's complex systems.The I2C bus has a minimum pin count requirement and therefore a smaller footprint on the board. The SPI bus provides a synchronized serial link with performance in MHz range.The project implements the bridge between the two protocols and serves as an interface between these two which allow direct communication and a solution to reduce development time and cost for complex embedded systems.

adibis/uvmBasics

Basics of UVM via an APB slave

Debasish-Mahapatra/nwpeval

NWPeval is a Python package designed to facilitate the evaluation and analysis of numerical weather prediction (NWP) models.

Daniyal-Tahsildar/System_Verilog_Basics

This repository hosts examples and documentation for System Verilog used for Testbench Development

engsahaly/laravel_verification_course

Laravel Verification techniques Course on Udemy

MohamedHussein27/FIFO-Verification

This Repository contains the verification of a Synchronous FIFO design using SystemVerilog and SystemVerilogAssertions

amamory-verification/vfsd-utopia

ATM-Utopia module and testbench.

mohitisrani/VVUU_Helicopter_Model_Validation

Verification, Validation, Uncertainty Quantification and Qualification Project

ravimad/Orb2015

An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs

Saadia-Hassan/Types-of-Verification-Using-SRAM

This repo contains golden vector and randomization testbenches for SRAM module.

1varuna/myexamples

Example which helps understand modelling of a simple SV TB. For UVM implementation refer the repository "fifo_tb_uvm".

biomassives/ecoops-actionlog

artonh/Menaxho-Adresat

One App with the ability to register, search and remove the address records based on Latitude and Longitude! Involves the: 1. SQL Server and some methods to protect against SQL-injection, 2. Data security using salt hash, 3. two modes to operate such as Admin and user role, 4. Mailing and it’s 5. Multilingual using language resources.

matiashrnndz/programming-logic-with-key-n-dafny

Lógica de Programación con KeY y Dafny

ashvin232002/stackoverflowBackendShipmnts

This is Repo where the perfect functionality of the StackOverflow Implemented

jasp-stats/jasp-verification-project

JASP Verification Project

vitorgabrieldev-archiver/Phone_and_cpf_verification

Demonstração de verificação de telefone e cpf para formulários web