grigory-rechistov / simbookLinks
Simulation Foundations Book, in Russian
☆15Updated last year
Alternatives and similar repositories for simbook
Users that are interested in simbook are comparing it to the libraries listed below
Sorting:
- The Splash-3 benchmark suite☆44Updated 2 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- A minimal (really) out-of-tree MLIR example☆44Updated 2 weeks ago
- Website for CS 265☆29Updated 6 months ago
- Example for running IREE in a bare-metal Arm environment.☆35Updated 3 months ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆18Updated last week
- materials available to the public☆25Updated 7 months ago
- Bridging polyhedral analysis tools to the MLIR framework☆113Updated last year
- GL0AM GPU Accelerated Gate Level Logic Simulator☆18Updated 2 weeks ago
- ☆21Updated this week
- A standard for floating point accuracy benchmarks☆49Updated 3 months ago
- Embedded Universal DSL: a good DSL for us, by us☆38Updated this week
- ☆16Updated 2 months ago
- ☆77Updated this week
- ☆30Updated 2 years ago
- Chisel library for Unum Type-III Posit Arithmetic☆39Updated 2 months ago
- A formalization of the RVWMO (RISC-V) memory model☆33Updated 3 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Updated 5 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14Updated 3 years ago
- A multicore microprocessor test harness for measuring interference☆14Updated 5 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆15Updated 7 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- BTOR2 MLIR project☆26Updated last year
- FPGA synthesis tool powered by program synthesis☆49Updated last month
- A library for working with the posit number type.☆15Updated 4 years ago
- The CLooG Code Generator in the Polyhedral Model☆47Updated 2 years ago
- ☆11Updated 3 years ago
- Productive and portable performance programming across spatial architectures (FPGAs, etc.) and vector architectures (GPUs, etc.)☆31Updated last year
- CV32E40X Design-Verification environment☆12Updated last year
- ☆63Updated 6 years ago