Skip to content

ku-fpg/netlist

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

The Haskell Netlist Repository

1 Overview

This repository holds 4 Haskell packages:

  • netlist - An abstract syntax tree (AST) for a very simple hardware description language (HDL) that corresponds to a limited subset of VHDL and Verilog.
  • verilog - An AST, parser, and pretty-printer for Verilog.
  • netlist-to-verilog - A translator from the netlist AST to Verilog AST.
  • netlist-to-vhdl - A translator from the netlist AST to VHDL concrete syntax.

Once these packages are released on Hackage, links to their packages will appear here.

There are 3 forks of the repository on github, pheaver, garrinkimmell, and andygill.

2 Installation

2.1 Install from Hackage

This is not yet possible. Once these packages are released on Hackage, they can be installed like this:

cabal install netlist
cabal install netlist-to-vhdl
cabal install verilog
cabal install netlist-to-verilog

2.2 Install from git repository

Clone one of the aforementioned repositories. For example:

git clone git://github.com/pheaver/netlist-verilog.git

Change directories into the new repository:

cd netlist-verilog

Then, you can install each package like so:

(cd netlist && cabal install)
(cd netlist-to-vhdl && cabal install)
(cd verilog && cabal install)
(cd netlist-to-verilog && cabal install)

3 Todo

  • Release netlist and netlist-to-vhdl packages on hackage.
  • Finish haddock documentation for verilog and netlist-to-verilog, release packages on hackage.

About

Netlist and Verilog Haskell Package

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Haskell 71.6%
  • Verilog 23.6%
  • Coq 4.3%
  • Makefile 0.5%