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