rems-project / sailLinks
Sail architecture definition language
☆746Updated 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☆561Updated this week
- RISC-V simulator for x86-64☆707Updated 3 years ago
- Intermediate Language (IL) for Hardware Accelerator Generators☆535Updated this week
- Bluespec Compiler (BSC)☆1,020Updated last month
- Low Level Hardware Description — A foundation for building hardware design tools.☆417Updated 3 years ago
- RISC-V support for LLVM projects (LLVM, Clang, ...)☆268Updated 10 months ago
- A core language for rule-based hardware design 🦑☆156Updated last week
- RISC-V Formal Verification Framework☆602Updated 3 years ago
- The Vellvm (Verified LLVM) coq development.☆434Updated 2 weeks ago
- ☆1,022Updated last week
- Working Draft of the RISC-V J Extension Specification☆187Updated last month
- A formal semantics of the RISC-V ISA in Haskell☆167Updated last year
- RISC-V Proxy Kernel☆639Updated last month
- Working draft of the proposed RISC-V Bitmanipulation extension☆211Updated last year
- Time-sensitive affine types for predictable hardware generation☆143Updated 11 months ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆145Updated 2 months ago
- RISC-V Opcodes☆769Updated last week
- Fearless hardware design☆176Updated last month
- Working Draft of the RISC-V Debug Specification Standard☆487Updated last month
- A Just-In-Time Compiler for Verilog from VMware Research☆445Updated 3 years ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆350Updated 9 months ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆370Updated last year
- A hardware compiler based on LLHD and CIRCT☆260Updated last year
- Konata is an instruction pipeline visualizer for Onikiri2-Kanata/Gem5-O3PipeView formats. You can download the pre-built binaries from ht…☆461Updated last year
- Flexible Intermediate Representation for RTL☆745Updated 10 months ago
- an educational compiler intermediate representation☆672Updated last week
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆257Updated this week
- FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility☆937Updated this week
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆155Updated 8 months ago
- educational microarchitectures for risc-v isa☆715Updated 3 months ago