[fedora-electronic-lab] [Fedora Electronic Lab] #90: Kansas Lava

[fedora-badges]

#90: Kansas Lava
---------------------------------------------------+------------------------
 Reporter:  shakthimaan                            |       Owner:  shakthimaan
     Type:  task                                   |      Status:  new        
 Priority:  major                                  |   Milestone:  Fedora 13  
Component:  FEL                                    |     Version:  devel      
 Keywords:  Hardware, verification, formal, logic  |  
---------------------------------------------------+------------------------
 Package Kansas Lava:

http://www.ittc.ku.edu/csdl/fpg/KansasLava

This is expected to have better writeVhdl features, than Chalmers Lava
 2000. Release expected last week of 2009.

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