All Projects → openhwgroup → core-v-verif

openhwgroup / core-v-verif

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

Programming Languages

assembly
5116 projects
SystemVerilog
227 projects
c
50402 projects - #5 most used programming language
python
139335 projects - #7 most used programming language
Makefile
30231 projects
PLSQL
303 projects

Projects that are alternatives of or similar to core-v-verif

Riscv
RISC-V CPU Core (RV32IM)
Stars: ✭ 272 (-3.89%)
Mutual labels:  verification, risc-v
awesome-dv
Awesome ASIC design verification
Stars: ✭ 76 (-73.14%)
Mutual labels:  verification, uvm
Fstar
A Proof-oriented Programming Language
Stars: ✭ 2,171 (+667.14%)
Mutual labels:  verification
KWVerificationCodeView
A customisable verification code view to capture OTPs
Stars: ✭ 83 (-70.67%)
Mutual labels:  verification
Alive
Alive: Automatic LLVM's Instcombine Verifier
Stars: ✭ 204 (-27.92%)
Mutual labels:  verification
Laravel2step
Laravel 2-Step verification is a package to add 2-Step user authentication to any Laravel project easily. It is configurable and customizable. It uses notifications to send the user an email with a 4-digit verification code. Laravel 2-Step Authentication Verification for Laravel. Can be used in out the box with Laravel's authentication scaffolding or integrated into other projects.
Stars: ✭ 175 (-38.16%)
Mutual labels:  verification
Flint
The Flint Programming Language for Smart Contracts
Stars: ✭ 228 (-19.43%)
Mutual labels:  verification
Lean
Homepage Theorem Proving in Lean FAQ
Stars: ✭ 2,006 (+608.83%)
Mutual labels:  verification
FreeRTOS-RISCV
A port of FreeRTOS for the RISC-V ISA
Stars: ✭ 68 (-75.97%)
Mutual labels:  risc-v
Alive2
Automatic verification of LLVM optimizations
Stars: ✭ 199 (-29.68%)
Mutual labels:  verification
platform-shakti
Shakti: development platform for PlatformIO
Stars: ✭ 26 (-90.81%)
Mutual labels:  risc-v
Android Play Safetynet
Samples for the Google SafetyNet Attestation API
Stars: ✭ 195 (-31.1%)
Mutual labels:  verification
Md5 File
return an md5sum of a given file
Stars: ✭ 176 (-37.81%)
Mutual labels:  verification
Stainless
Verification framework and tool for higher-order Scala programs
Stars: ✭ 241 (-14.84%)
Mutual labels:  verification
Antiddos System
🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!
Stars: ✭ 173 (-38.87%)
Mutual labels:  verification
picorv32 Xilinx
A picorv32-riscv Soc with DMAC and Ethernet controller & lwip & Kirtex7@333MHz
Stars: ✭ 49 (-82.69%)
Mutual labels:  risc-v
Software Quality Wiki
Software Quality Wiki
Stars: ✭ 1,991 (+603.53%)
Mutual labels:  verification
Scilla
Scilla - A Smart Contract Intermediate Level Language
Stars: ✭ 186 (-34.28%)
Mutual labels:  verification
Symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Stars: ✭ 212 (-25.09%)
Mutual labels:  verification
qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
Stars: ✭ 64 (-77.39%)
Mutual labels:  verification

core-v-verif

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

Getting Started

First, have a look at the OpenHW Group's website to learn a bit more about who we are and what we are doing.
For first time users of CORE-V-VERIF, the Quick Start Guide in the CORE-V-VERIF Verification Strategy is the best place to start.

Directory Structure of this Repo

bin

Various utilities for running tests and performing various verification-related activities in the core-v-verif repository.

core-v-cores

Empty sub-directory into which the RTL from one or more of the CORE-V-CORES repositories is cloned.

cv32e40p, cv32e40x, cv32e40s, cva6

Core-specific verification code.

docs

Sources for the Verification Strategy document, DV plans, coding style guidelines and available coverage reports.

mk

Common simulation Makefiles that support testbenches for all CORE-V cores.

lib

Common components for the all CORE-V verification environments.

vendor_lib

Verification components supported by third-parties.

Contributing

We highly appreciate community contributions. You can get a sense of our current needs by reviewing the GitHub projects associated with this repository. Individual work-items within a project are defined as issues with a task label.

To ease our work of reviewing your contributions, please:

  • Review CONTRIBUTING and our SV/UVM coding style guidelines.
  • Split large contributions into smaller commits addressing individual changes or bug fixes. Do not mix unrelated changes into the same commit!
  • Write meaningful commit messages.
  • If asked to modify your changes, do fixup your commits and rebase your branch to maintain a clean history.
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].