En lo que llega mi tarjeta de desarrollo, estuve buscando herramientas para trabajar en Linux, y encontré algo de información sobre herramientas para simular:
http://jenriquez.webpal.info/?q=node/8En cuanto a herramientas de síntesis (no he hecho nada de síntesis ni en Windows pues aún no cuento con una tarjeta de desarrollo), la única disponible es ISE Webpack, aunque en la página sólo está disponible una versión para Redhat (yo uso Ubuntu) y no he podido probarla

.
Saludos,
José Jorge (Geo).