rewire-backend-2.8: A Haskell-to-Verilog/VHDL compiler, the Hyle backend

The ReWire backend. The Hyle bit-level IR, its checker, optimizer, interpreter, and parser, and the Verilog, VHDL, and Cryptol RTL backends. Builds on rewire-base for shared utilities.

Modules

rewire-backend-2.8

ReWire
Submodules
- Cryptol
  Submodules
  - ReWire.Cryptol.Syntax
- Hyle
  Submodules
- VHDL
  Submodules
  - ReWire.VHDL.Helpers
  - ReWire.VHDL.Syntax
- Verilog
  Submodules
  - ReWire.Verilog.Syntax