All Projects → troyguo → awesome-dv

troyguo / awesome-dv

Licence: other
Awesome ASIC design verification

Projects that are alternatives of or similar to awesome-dv

PeakRDL-uvm
Generate UVM register model from compiled SystemRDL input
Stars: ✭ 25 (-67.11%)
Mutual labels:  asic, uvm
Logic
CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
Stars: ✭ 149 (+96.05%)
Mutual labels:  asic, verification
Riscv
RISC-V CPU Core (RV32IM)
Stars: ✭ 272 (+257.89%)
Mutual labels:  asic, verification
core-v-verif
Functional verification project for the CORE-V family of RISC-V cores.
Stars: ✭ 283 (+272.37%)
Mutual labels:  verification, uvm
Vunit
VUnit is a unit testing framework for VHDL/SystemVerilog
Stars: ✭ 438 (+476.32%)
Mutual labels:  asic, verification
klever
Read-only mirror of the Klever Git repository
Stars: ✭ 18 (-76.32%)
Mutual labels:  verification, formal-verification
ILAng
A Modeling and Verification Platform for SoCs using ILAs
Stars: ✭ 52 (-31.58%)
Mutual labels:  verification
DFiant
DFiant: A Dataflow Hardware Descripition Language
Stars: ✭ 21 (-72.37%)
Mutual labels:  asic
cdc
Repository gathering basic modules for CDC purpose
Stars: ✭ 30 (-60.53%)
Mutual labels:  asic
intrepid
Intrepyd Model Checker
Stars: ✭ 14 (-81.58%)
Mutual labels:  formal-verification
qwertycoin
Qwertycoin is a decentralized peer-to-peer protocol for safe payments worldwide.
Stars: ✭ 37 (-51.32%)
Mutual labels:  asic
checker
Golang parameter validation, which can replace go-playground/validator, includes ncluding Cross Field, Map, Slice and Array diving, provides readable,flexible, configurable validation.
Stars: ✭ 62 (-18.42%)
Mutual labels:  verification
Rel
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Stars: ✭ 27 (-64.47%)
Mutual labels:  verification
FPGA CryptoNight V7
FPGA CryptoNight V7 Minner
Stars: ✭ 21 (-72.37%)
Mutual labels:  asic
react-native-sms-user-consent
React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.
Stars: ✭ 45 (-40.79%)
Mutual labels:  verification
NeverBounceAPI-PHP
This package provides convenient methods to integrate the NeverBounce API into your project.
Stars: ✭ 22 (-71.05%)
Mutual labels:  verification
ara
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
Stars: ✭ 116 (+52.63%)
Mutual labels:  asic
hwt
VHDL/Verilog/SystemC code generator, simulator API written in python/c++
Stars: ✭ 145 (+90.79%)
Mutual labels:  uvm
silver
Definition of the Viper intermediate verification language.
Stars: ✭ 28 (-63.16%)
Mutual labels:  verification
vscode-tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 213 (+180.26%)
Mutual labels:  verification

Awesome-dv

Design/Verification

Project

interfaces

For Newbie

Design

Virtual Prototyping

Orgnizations

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].