Alternatives and similar repositories for simbook

Users that are interested in simbook are comparing it to the libraries listed below

• P3109 / Public
  materials available to the public
  ☆29Updated last week
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆23Updated 3 years ago
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆46Updated 4 months ago
• mwillsey / cs265
  Website for CS 265
  ☆32Updated 11 months ago
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆147Updated last month
• ArchC / ArchC
  A powerful and modern open-source architecture description language.
  ☆46Updated 8 years ago
• periscop / cloog
  The CLooG Code Generator in the Polyhedral Model
  ☆51Updated 2 years ago
• spiral-software / spiral-software
  Public source repository for the SPIRAL project
  ☆233Updated last month
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆45Updated 2 years ago
• thoughtworks / hardposit-chisel3
  Chisel library for Unum Type-III Posit Arithmetic
  ☆45Updated 8 months ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆52Updated this week
• cucapra / latte21
  Languages, Tools, and Techniques for Accelerator Design
  ☆33Updated 4 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆55Updated last month
• openhwgroup / cv32e40x-dv
  CV32E40X Design-Verification environment
  ☆16Updated last year
• jetafese / btor2mlir
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆20Updated 3 months ago
• apl-cornell / PDL
  A Hardware Pipeline Description Language
  ☆49Updated 5 months ago
• melver / mc2lib
  Memory consistency model checking and test generation library.
  ☆15Updated 9 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆58Updated this week
• diffblue / hw-cbmc
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆98Updated last week
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆96Updated 3 months ago
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆69Updated last year
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆39Updated this week
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆66Updated 5 months ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆20Updated 2 months ago
• sparcians / stf_spec
  An open-source Simulation Trace Format specification
  ☆15Updated last month
• openhwgroup / corev-llvm-project
  ☆18Updated last year
• agurfinkel / btor2mlir
  BTOR2 MLIR project
  ☆26Updated last year
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆75Updated 6 months ago
• ymanerka / rtlcheck
  RTLCheck
  ☆23Updated 7 years ago
• CTSRD-CHERI / TestRIG
  Testing processors with Random Instruction Generation
  ☆50Updated 3 weeks ago