http://fpga.sunsource.net/index.html
ну и тулзы софтверные все нативные для Solaris-a
интересно, удолось ли кому-нибудь собрать, запустить (в NC-Sim-e или моделсиме)?
скока ресурсов, какой софт... ну много вопросов есть

но нужно заметить, что код, который они дают черт знает какой - структурное описание - FF и логические выражения, то есть разницы с иерархическим нетлистом нету. по первому впечатлению фигня - применить вряд ли получится
типа размышления - да, чуствуется, что большим конторам деньги (рабочее время) девать некуда - судя по коду - руками написано, без применения синтеза