Readme for kansas-lava-0.2.4.3
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