#90: Kansas Lava
-------------------------+-------------------------------------------------
Reporter: | Owner: shakthimaan
shakthimaan | Status: new
Type: task | Milestone: Fedora 13
Priority: major | Version: devel
Component: FEL | Keywords: Hardware, verification, formal,
Resolution: | logic
Blocked By: | Blocking:
-------------------------+-------------------------------------------------
Comment (by shakthimaan):
Kansas-Lava is available at:
http://hackage.haskell.org/package/kansas-lava-0.2.4
Dependencies (netlist, netlist-to-vhdl, dotgen, data-reify) need to be
packaged first.
--
Ticket URL: <
https://fedorahosted.org/fedora-electronic-lab/ticket/90#comment:1>
Free Electronic Lab <
https://fedorahosted.org/fedora-electronic-lab>
Design, Simulate and Program electronics.