verification-methodologies

There are 21 repositories under verification-methodologies topic.

  • OSVVM/OSVVM

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

    Language:VHDL214276557

  • dpretet/svut

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

    Language:Python6531215

  • amamory-verification/uvm-basics

    my UVM training projects

    Language:Verilog272111

  • tahandy/ToroExact

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

    Language:Python22207

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

    16204

  • adibis/uvmBasics

    Basics of UVM via an APB slave

    Language:SystemVerilog9304

  • Ghonimo/Pre_Silicon-AHB-to_APB-Verification

    Comprehensive verification suite for the AHB2APB Bridge design, featuring SystemVerilog and UVM-based methodologies. šŸŒ‰šŸš€

    Language:SystemVerilog9103

  • Debasish-Mahapatra/nwpeval

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

    Language:Python6273

  • amamory-verification/vfsd-utopia

    ATM-Utopia module and testbench.

    Language:SystemVerilog2105

  • mohitisrani/VVUU_Helicopter_Model_Validation

    Verification, Validation, Uncertainty Quantification and Qualification Project

    Language:MATLAB2001

  • ravimad/Orb2015

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

    Language:Scala2282

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

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

    Language:Verilog2102

  • 1varuna/myexamples

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

    Language:SystemVerilog1001

  • biomassives/ecoops-actionlog

    Language:TypeScript130

  • Daniyal-Tahsildar/System_Verilog_Basics

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

    Language:SystemVerilog1

  • 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#0000

  • engsahaly/laravel_verification_course

    Laravel Verification techniques Course on Udemy

    Language:Blade0100

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

    LĆ³gica de ProgramaciĆ³n con KeY y Dafny

    Language:Java0100

  • ashvin232002/stackoverflowBackendShipmnts

    This is Repo where the perfect functionality of the StackOverflow Implemented

    Language:JavaScript

  • jasp-stats/jasp-verification-project

    JASP Verification Project

    Language:TeX922

  • vitorgabrieldev/Phone_and_cpf_verification

    DemonstraĆ§Ć£o de verificaĆ§Ć£o de telefone e cpf para formulĆ”rios web

    Language:JavaScript