Related question - is there an FGPA simulator / designer which works on OS X?

This one is written in Java:

https://github.com/hneemann/Digital

You can export your project as a Verilog file that can be used in the various FPGA tools.