C library for the emulation of reduced-precision floating point types
☆55Apr 2, 2023Updated 2 years ago
Alternatives and similar repositories for flexfloat
Users that are interested in flexfloat are comparing it to the libraries listed below
Sorting:
- SystemVerilog Functional Coverage for RISC-V ISA☆34Dec 11, 2025Updated 3 months ago
- Tuning Assistant for Floating point to Fixed point Optimization☆19Mar 26, 2022Updated 3 years ago
- PDPU: An Open-Source Posit Dot-Product Unit for Deep Learning Applications☆43May 5, 2023Updated 2 years ago
- Generic floating-point types in Python☆16Dec 17, 2025Updated 3 months ago
- RISC-V Verification Interface☆145Mar 6, 2026Updated 2 weeks ago
- Part of paper: Massively Parallel Combinational Binary Neural Networks for Edge Processing☆12Jun 27, 2019Updated 6 years ago
- A simulation framework for modeling efficiency of Graph Neural Network Dataflows☆23Feb 14, 2025Updated last year
- VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …☆20Nov 18, 2019Updated 6 years ago
- Ieee754 floating point routines, load and save ieee 754 even on non-ieee 754 hardware.☆20Sep 10, 2016Updated 9 years ago
- ☆35Nov 4, 2024Updated last year
- ☆15Apr 17, 2022Updated 3 years ago
- a Haskell clone for the JVM☆12Jul 9, 2015Updated 10 years ago
- Chisel Fixed-Point Arithmetic Library☆18Dec 15, 2025Updated 3 months ago
- "mmult" example using SDSoC for PYNQ board☆11Feb 23, 2017Updated 9 years ago
- AI Chip project☆34Jul 14, 2021Updated 4 years ago
- My notes for getting ROS2 running on raspberry pi zero w☆12Aug 10, 2018Updated 7 years ago
- Constrained RAndom Verification Enviroment (CRAVE)☆18Nov 23, 2023Updated 2 years ago
- A Rust library for high performance directory walking using libc fts.☆18Dec 12, 2023Updated 2 years ago
- Generate and tune custom architectures for sparse linear algebra☆15Jan 20, 2018Updated 8 years ago
- UVM testbench environment consisting of an APB driver, high level SPI controller model, and SPI verification testbench based upon an LPC2…☆15Dec 23, 2024Updated last year
- ☆10Jun 3, 2020Updated 5 years ago
- 🌍✈️A full-stack AI-driven travel app built with Flutter, Go, and gRPC for personalized travel suggestions, rich insights, and offline ac…☆12Aug 26, 2023Updated 2 years ago
- Arch Linux ARM for Xilinx Zynq UltraScale+ devices☆13Jul 21, 2024Updated last year
- Fork of the gem5 simulator with Garnet2.0 and DSENT extensions☆12Jan 28, 2019Updated 7 years ago
- Unit testing for cocotb☆11Aug 6, 2023Updated 2 years ago
- Hardware Implementation of Sigmoid Function using verilog HDL☆16Dec 16, 2019Updated 6 years ago
- ☆11Jul 12, 2023Updated 2 years ago
- SoftFloat release 3☆326Mar 7, 2025Updated last year
- implementation of winograd minimal convolution algorithm on Intel Architecture☆39Dec 4, 2017Updated 8 years ago
- ☆368Sep 12, 2025Updated 6 months ago
- SystemVerilog compiler and language services☆985Updated this week
- Implementation of a circular queue in hardware using verilog.☆17Mar 22, 2019Updated 6 years ago
- Tiny electronic dice based on ATtiny10☆21Dec 17, 2018Updated 7 years ago
- Little RISC-V 3-stage Pipeline CPU☆16Jun 14, 2021Updated 4 years ago
- ☆30Oct 16, 2022Updated 3 years ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Nov 13, 2023Updated 2 years ago
- A random generator of Lua programs☆12Mar 5, 2026Updated 2 weeks ago
- Kernel source build instructions and scripts for the ARK Jetson Carrier☆15Mar 12, 2026Updated last week
- ☆20May 13, 2025Updated 10 months ago