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

[fedora-badges]

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