[_pmf_]

I've used QUCS for this purpopse, which allows inclusion of Verilog/VHDL modules via FreeHDL.