The york-lava package
York Lava is library for describing digital circuits. Descriptions can be simulated in Hugs or GHC, and converted to VHDL compatible with XST, the Xilinx Synthesis Tool. It is largely compatible with Chalmers Lava, but omits some features and offers a few new ones. It is haddocked, documented, and has been sucessfully used to create a fairly hefty FPGA design.
Properties
| Versions | 0.1, 0.2 |
|---|---|
| Dependencies | base (<5), containers, haskell98 [details] |
| License | BSD3 |
| Author | Matthew Naylor |
| Maintainer | Matthew Naylor <mfn@cs.york.ac.uk> |
| Stability | provisional |
| Category | Hardware |
| Home page | http://www.cs.york.ac.uk/fp/reduceron/ |
| Uploaded | Tue Sep 8 15:24:23 UTC 2009 by MatthewNaylor |
| Distributions | NixOS:0.2 |
| Downloads | 503 total (4 in the last 30 days) |
| Votes | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |
Downloads
- york-lava-0.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)