218 Open source projects that are alternatives of or similar to awesome-dv

VUnit is a unit testing framework for VHDL/SystemVerilog

Functional verification project for the CORE-V family of RISC-V cores.

Generate UVM register model from compiled SystemRDL input

RISC-V CPU Core (RV32IM)

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

Read-only mirror of the Klever Git repository

Ruby interface to IEEE 1364-2005 Verilog VPI

Repository gathering basic modules for CDC purpose

Fully customizable UI Component for verification codes written in swift with RxSwift support!

The Eldarica model checker

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

Steam integration for TeamSpeak 3

Neural Network Verification Software Tool

Fingerprint is a simple tool that can be used to verify the contents of a directory.

A Modeling and Verification Platform for SoCs using ILAs

Provides email verification on the go.

DFiant: A Dataflow Hardware Descripition Language

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

Intrepyd Model Checker

An advanced automatic speedrun load time remover for community verifiers.

Golang parameter validation, which can replace go-playground/validator, includes ncluding Cross Field, Map, Slice and Array diving, provides readable,flexible, configurable validation.

AMBA AXI VIP

Frama-C and WP tutorial

An NPM package to generate captcha images that can be used in Discord bots or various other projects

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

TLA+ language support for Visual Studio Code

A Framework for Deep Neural Network Verification

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

The Java SDK for interacting with the Yoti Platform

FPGA CryptoNight V7 Minner

简单的滑动验证码JS插件 图片验证码

React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.

VHDL-2008 Support Library

Self hosted identity verification layer with GraphQL.

This package provides convenient methods to integrate the NeverBounce API into your project.

HW Design: A Functional Approach

The PULP Ara is a 64-bit Vector Unit, compatible with the RISC-V Vector Extension Version 0.10, working as a coprocessor to CORE-V's CVA6 core

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Safety Verification of Deep Neural Networks

A framework for implementing and certifying impure computations in Coq

A cryptographic library in SPARK 2014

PCIe (1.0a to 2.0) Virtual host model for verilog

Qwertycoin is a decentralized peer-to-peer protocol for safe payments worldwide.

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

Information to reproduce results from SV-COMP (MOVED, please follow the link)

Development of the CafeOBJ interpreter

VHDL/Verilog/SystemC code generator, simulator API written in python/c++

Verify code input. You can create a verify code input.

Kani Rust Verifier

Home of the Move programming language

Definition of the Viper intermediate verification language.

"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.

OpenLane is an automated RTL to GDSII flow based on several components including OpenROAD, Yosys, Magic, Netgen, Fault and custom methodology scripts for design exploration and optimization.

The PHP SDK for interacting with the Yoti Platform

Fully verified model checker for realtime systems

The Verifiably Safe Reinforcement Learning Framework

🐌Yet Another Simulation Architecture

INT8 & FP16 multiplier accumulator (MAC) design with UVM verification completed.

[Deprecated] Typescript-version of the IN3 client.

Berkeley's Spatial Array Generator