rems-project / sailLinks
Sail architecture definition language
☆735Updated this week
Alternatives and similar repositories for sail
Users that are interested in sail are comparing it to the libraries listed below
Sorting:
- Sail RISC-V model☆552Updated this week
- Intermediate Language (IL) for Hardware Accelerator Generators☆530Updated this week
- Working Draft of the RISC-V J Extension Specification☆186Updated 3 weeks ago
- RISC-V Formal Verification Framework☆602Updated 3 years ago
- A core language for rule-based hardware design 🦑☆154Updated 7 months ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆348Updated 9 months ago
- Low Level Hardware Description — A foundation for building hardware design tools.☆415Updated 3 years ago
- A formal semantics of the RISC-V ISA in Haskell☆165Updated last year
- Bluespec Compiler (BSC)☆1,015Updated 3 weeks ago
- The Vellvm (Verified LLVM) coq development.☆430Updated this week
- UCLID5: formal modeling, verification, and synthesis of computational systems☆143Updated 2 months ago
- RISC-V support for LLVM projects (LLVM, Clang, ...)☆267Updated 10 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆254Updated last week
- Working draft of the proposed RISC-V Bitmanipulation extension☆211Updated last year
- RISC-V simulator for x86-64☆706Updated 3 years ago
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆455Updated 2 weeks ago
- Konata is an instruction pipeline visualizer for Onikiri2-Kanata/Gem5-O3PipeView formats. You can download the pre-built binaries from ht…☆454Updated last year
- Fearless hardware design☆176Updated last month
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆368Updated last year
- Working Draft of the RISC-V Debug Specification Standard☆490Updated 3 weeks ago
- A hardware compiler based on LLHD and CIRCT☆259Updated last year
- The Yices SMT Solver☆408Updated this week
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆154Updated 8 months ago
- A Just-In-Time Compiler for Verilog from VMware Research☆445Updated 3 years ago
- Documenting the expected behaviour and supported command-line switches for GNU and LLVM based RISC-V toolchains☆151Updated last week
- Flexible Intermediate Representation for RTL☆741Updated 9 months ago
- Time-sensitive affine types for predictable hardware generation☆143Updated 10 months ago
- RISC-V RV64GC emulator designed for RTL co-simulation☆229Updated 6 months ago
- FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility☆928Updated last week
- Tools to process ARM's Machine Readable Architecture Specification☆129Updated 5 years ago