[hpsdr] Verilog tools?

[stevew at intrinsix.com]

Hi All,

I just found hpsdr.org last week and am trying to come up to speed on what
has been done so far.  Let me quickly introduce myself. I'm a professional
Chip designer working in the System-On-A-Chip area where I lately seem to
be specializing in ARM/AMBA related designs.  I use verilog extensively
and hope to contribute in some small way in that manner.

What I wanted to ask was - what Verilog simulators is the project using
right now?

Thanks!!!

73 de Steve Wilson KA6S