[free-electronic-lab] [Free Electronic Lab] #90: Kansas Lava
Free Electronic Lab
trac at fedorahosted.org
Thu Feb 16 11:27:48 UTC 2012
#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.
More information about the electronic-lab
mailing list