OSVVM/OSVVM

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

Language: VHDL - Size: 18.9 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 242 - Forks: 69

dpretet/svut

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

Language: Python - Size: 755 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 78 - Forks: 17

engsahaly/laravel_verification_course

Laravel Verification techniques Course on Udemy

Language: Blade - Size: 3.73 MB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 1

Ghonimo/Pre_Silicon-AHB-to_APB-Verification

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

Language: SystemVerilog - Size: 13.5 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 22 - Forks: 6

MohamedHussein27/FIFO-Verification

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

Language: SystemVerilog - Size: 2.06 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0

Daniyal-Tahsildar/System_Verilog_Basics

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

Language: SystemVerilog - Size: 1.12 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

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

Lógica de Programación con KeY y Dafny

Language: Java - Size: 641 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Debasish-Mahapatra/nwpeval

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

Language: Python - Size: 429 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 3

vitorgabrieldev/Phone_and_cpf_verification

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

Language: JavaScript - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

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

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

Language: Verilog - Size: 7.81 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 2

tahandy/ToroExact

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

Language: Python - Size: 27.3 KB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 20 - Forks: 7

biomassives/ecoops-actionlog

Language: TypeScript - Size: 68.4 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

mohitisrani/VVUU_Helicopter_Model_Validation

Verification, Validation, Uncertainty Quantification and Qualification Project

Language: Matlab - Size: 4.16 MB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0

amamory-verification/uvm-basics

my UVM training projects

Language: Verilog - Size: 1.1 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 21 - Forks: 10

adibis/uvmBasics

Basics of UVM via an APB slave

Language: SystemVerilog - Size: 27.3 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 7 - Forks: 2

amamory-verification/vfsd-utopia

ATM-Utopia module and testbench.

Language: SystemVerilog - Size: 40.1 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 5

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.

Language: C# - Size: 7.22 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

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.

Size: 8.96 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 8 - Forks: 2

jasp-stats/jasp-verification-project

JASP Verification Project

Language: TeX - Size: 8.16 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 2

ravimad/Orb2015

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

Language: Scala - Size: 143 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 2