grigory-rechistov / simbookLinks
Simulation Foundations Book, in Russian
☆16Updated last year
Alternatives and similar repositories for simbook
Users that are interested in simbook are comparing it to the libraries listed below
Sorting:
- A powerful and modern open-source architecture description language.☆42Updated 7 years ago
- ☆16Updated 8 years ago
- A minimal (really) out-of-tree MLIR example☆44Updated last month
- materials available to the public☆27Updated last month
- Time-sensitive affine types for predictable hardware generation☆145Updated 2 weeks ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- CHERI-RISC-V model written in Sail☆64Updated 2 months ago
- compiling DSLs to high-level hardware instructions☆23Updated 2 years ago
- Website for CS 265☆29Updated 9 months ago
- Working Draft of the RISC-V J Extension Specification☆191Updated 3 weeks ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆79Updated this week
- Example for running IREE in a bare-metal Arm environment.☆40Updated last month
- A standard for floating point accuracy benchmarks☆52Updated 6 months ago
- Public source repository for the SPIRAL project☆228Updated last week
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆24Updated 2 weeks ago
- A Coherent Multiprocessor Cache Simulator Based on the SuperESCalar Cache Model☆28Updated 12 years ago
- Simple demonstration of using the RISC-V Vector extension☆48Updated last year
- FPGA synthesis tool powered by program synthesis☆52Updated 2 months ago
- CHERI C/C++ Programming Guide☆36Updated 2 weeks ago
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆146Updated last month
- The CLooG Code Generator in the Polyhedral Model☆51Updated 2 years ago
- A formally verified high-level synthesis tool based on CompCert and written in Coq.☆93Updated 3 weeks ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆107Updated last month
- ☆17Updated last year
- ESESC: A Fast Multicore Simulator☆138Updated 3 years ago
- Embedded Universal DSL: a good DSL for us, by us☆45Updated this week
- ☆66Updated this week
- Testing processors with Random Instruction Generation☆46Updated 3 weeks ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆31Updated 4 years ago
- ☆147Updated last year