@hackage / kansas-lava

Kansas Lava is a hardware simulator and VHDL generator.

Latest0.2.4.5

About

Metadata

  • Last updated , by GergoErdi
  • License BSD-3-Clause
  • Categories Hardware

  • Maintained by: Andy Gill <andygill@ku.edu>

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    all (off by default)

    Enable full development tree

    unit (off by default)

    Enable unit testing binary

    tools (off by default)

    Enable extra tool binary

Readme

Kansas Lava

Kansas Lava is a Haskell library which allows the specification and simulation of hardware, and hardware level concerns. Haskell functions written in Kansas Lava can be interpreted as having the semantics of a specific circuit, or compiled into VHDL, for compilation and synthesis using standard HDL tools.

To run tests

% cabal configure -fall % cabal build % cd tests % make test -- use 'make test ARGS=--gensim' if you want to generate VHDL % make simulate -- [optional] if you want to test the VHDL using modelsim % make report -- generate test report