core-v-verif
RISC-V core simulator
Functional verification project for RISC-V cores
Functional verification project for the CORE-V family of RISC-V cores.
458 stars
49 watching
226 forks
Language: Assembly
last commit: 3 months ago
Linked from 2 awesome lists
risc-vsystemveriloguvmverification
Related projects:
Repository | Description | Stars |
---|---|---|
| A 4-stage RISC-V core for compute-intensive applications with a general-purpose extension interface | 225 |
| A secure, 4-stage RISC-V core designed for high-security applications with both machine mode and user mode capabilities | 133 |
| A configurable RISC-V processor core with various extensions and peripherals | 282 |
| Generates RISC-V instruction sequences for test verification and modeling | 268 |
| A 32-bit RISC-V CPU core with a two-stage pipeline designed for low-cost embedded control applications. | 29 |
| Formal verification and implementation of RISC-V processor designs using Coq. | 22 |
| A RISC-V processor core design implemented in SystemVerilog RTL | 830 |
| A framework for formally verifying RISC-V processors by providing a processor-independent formal description and testbenches. | 589 |
| Provides reusable and modular VHDL verification components for creating testbenches and verifying digital circuits. | 52 |
| A Verilog RTL design for an EL2 RISC-V core with various peripherals and features | 252 |
| A flexible and parameterizable floating-point unit design for RISC-V processors | 440 |
| An instruction generator for RISC-V processor verification | 1,036 |
| Develops a formally verified RISC-V processor core using Haskell | 249 |
| An award-winning RISC-V CPU designed for low-power and area-efficient designs | 1,457 |
| Generates PCIe traffic and supports logic simulation environments | 86 |