Spade Hardware Description Language

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  1. clash-ghc

    Haskell to VHDL/Verilog/SystemVerilog compiler

    I thought that this was about the hardware description language Clash developed by some ex-colleagues, but it appeared to be something else. Clash [1] is based on the functional programming language Haskell and it can output to VHDL, Verilog, or SystemVerilog.

    Although the last official release mentioned on the website is from 2021, it is still actively developed on GitHub [2]. See also contranomy [3] for a non-pipelined RV32I RISC-V core written in Clash.

    [1] https://clash-lang.org/

    [2] https://github.com/clash-lang/clash-compiler

    [3] https://github.com/christiaanb/contranomy

  2. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  3. contranomy

    I thought that this was about the hardware description language Clash developed by some ex-colleagues, but it appeared to be something else. Clash [1] is based on the functional programming language Haskell and it can output to VHDL, Verilog, or SystemVerilog.

    Although the last official release mentioned on the website is from 2021, it is still actively developed on GitHub [2]. See also contranomy [3] for a non-pipelined RV32I RISC-V core written in Clash.

    [1] https://clash-lang.org/

    [2] https://github.com/clash-lang/clash-compiler

    [3] https://github.com/christiaanb/contranomy

  4. hardcaml

    Hardcaml is an OCaml library for designing hardware.

    Sorry hardcaml and amaranth were my examples of things with baked in sim features.

    Also great work with spade. I love to hate, but the hardware industry needs folks like you pushing it forward. I just fear most people are making toys or focusing a ton of effort on the wrong issues (how to write HDL in a different way) instead of solving industry issues like verification, wrangling hand written modules with enormous I/O, stitching IP together, targeting real FPGAs, auto generating memory maps, etc. some of that is a tough solve because it’s proprietary.

    [1] https://github.com/janestreet/hardcaml/blob/master/docs/wave...

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Clash: A Functional Hardware Description Language

    2 projects | news.ycombinator.com | 27 Dec 2023
  • Clash (Haskell) for ASIC design

    1 project | /r/chipdesign | 7 Oct 2023
  • Building a Networked Key-Value-Store on an FPGA

    1 project | news.ycombinator.com | 19 Jun 2023
  • Ask HN: Choice of HDL for an FPGA Project

    1 project | news.ycombinator.com | 8 Feb 2023
  • Baud rate 1.5% lower than expected, is this normal?

    1 project | /r/FPGA | 19 Dec 2022