drichmond / HOPSLinks
Synthesizable Higher-Order Functions (Patterns) for C++
☆17Updated 7 years ago
Alternatives and similar repositories for HOPS
Users that are interested in HOPS are comparing it to the libraries listed below
Sorting:
- A Vivado HLS Command Line Helper Tool☆36Updated 4 years ago
- Facilitates building open source tools for working with hardware description languages (HDLs)☆66Updated 6 years ago
- FPGA implementation of deflate (de)compress RFC 1950/1951☆63Updated 6 years ago
- ☆59Updated 3 years ago
- Algorithmic C Math Library☆67Updated 3 weeks ago
- Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics☆18Updated 2 years ago
- FPGA tool performance profiling☆105Updated last year
- Determines the modules declared and instantiated in a SystemVerilog file☆50Updated last year
- The Task Parallel System Composer (TaPaSCo)☆116Updated last month
- An open source high level synthesis (HLS) tool built on top of LLVM☆127Updated last year
- hardware library for hwt (= ipcore repo)☆43Updated last month
- FOS - FPGA Operating System☆73Updated 5 years ago
- A SystemVerilog source file pickler.☆60Updated last year
- This store contains Configurable Example Designs.☆51Updated last week
- A Python package for testing hardware (part of the magma ecosystem)☆47Updated last year
- ⛔ DEPRECATED ⛔ RISC-V manycore accelerator for HERO, bigPULP hardware platform☆50Updated 4 years ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆88Updated last year
- Algorithmic C Datatypes☆134Updated 3 weeks ago
- Xilinx Unisim Library in Verilog☆86Updated 5 years ago
- Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats☆51Updated 5 years ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆77Updated 6 months ago
- VHDL/Verilog/SystemC code generator, simulator API written in python/c++☆221Updated last month
- A polyhedral compiler for hardware accelerators☆59Updated last year
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆153Updated 3 weeks ago
- Open Application-Specific Instruction Set processor tools (OpenASIP)☆172Updated this week
- Repository used to support automated builds under PetaLinux tools that use Yocto.☆63Updated 10 months ago
- A collection of big designs to run post-synthesis simulations with yosys☆51Updated 10 years ago
- This repository is compilation of basics of System Verilog Assertions in context of formal verification☆24Updated 6 years ago
- AXI Adapter(s) for RISC-V Atomic Operations☆66Updated last month