Andres, I have been using Alliance 3.2b for Unix systems -- here we have Sparc based workstations, and it provided good results so far. Usually, I start out with a behavioral description of the design in VHDL and "synthesize" the circuit all the way down to (CIF) layout using Alliance. You have to make sure that your VDHL code has the same syntax of Alliance's vst. (See the documentation for vst). Alliance comes with tutorials. One of them lets you synthesize a small microprocessor. Good luck, -Vladimir Lemos