[free-electronic-lab] [Free Electronic Lab] #90: Kansas Lava

[Free Electronic Lab]

#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.