"Lava is an experimental system design to aid the digital design of circuits by providing a powerful library for composing structural circuit descriptions." This version from Satnam Singh outputs Xilinx EDIF netlists.
IVI is a graphical front-end for various simulators. IVI allows the user to control simulation and view signal waveforms as the data is produced by the simulation.