Hi! I'm read about the manticore project in slashdot. I'm very interested and would like to participate. However, I'ts been a while since I did anything in vhdl. I was wondering what tools do you use to write and simulate the project. thanks!