sarachour / legno-compiler
a compiler for the Apollo project that targets the HCDCv2 Analog Device
☆30Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for legno-compiler
- FPGA synthesis tool powered by program synthesis☆38Updated this week
- Time-sensitive affine types for predictable hardware generation☆134Updated 4 months ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆12Updated 3 years ago
- ☆13Updated last year
- A formally verified high-level synthesis tool based on CompCert and written in Coq.☆88Updated 5 months ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆142Updated 2 months ago
- CoreIR Symbolic Analyzer☆61Updated 4 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- ☆41Updated 3 years ago
- A Modeling and Verification Platform for SoCs using ILAs☆75Updated 4 months ago
- A core language for rule-based hardware design 🦑☆140Updated last month
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- An advanced header-only exact synthesis library☆23Updated 2 years ago
- The source code to the Voss II Hardware Verification Suite☆53Updated 2 months ago
- A circuit toolkit☆96Updated 4 years ago
- The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, mod…☆75Updated 4 years ago
- Designs, infrastructure, and experiments around Race Logic☆23Updated 4 years ago
- A formal semantics of the RISC-V ISA in Haskell☆155Updated last year
- Pono: A flexible and extensible SMT-based model checker☆82Updated last month
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 5 months ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆86Updated 2 months ago
- Formal specification and verification of hardware, especially for security and privacy.☆124Updated 2 years ago
- ACT hardware description language and core tools.☆101Updated this week
- PyLog: An Algorithm-Centric FPGA Programming and Synthesis Flow☆60Updated last year
- ☆25Updated 2 years ago
- ☆101Updated 2 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆56Updated 4 years ago
- A Language for Closed-form High-level ARchitecture Modeling☆19Updated 4 years ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆35Updated 4 months ago
- Search-based compiler for high-performance DSP programming☆61Updated 3 weeks ago