описанная структура конечного автомата после синтеза переставала быть таковой. Исходник и тестбенч писал на Верилоге. Для интереса тот же код прогонял через Пресижн 2006а и компилятор Квартуса 7.0. В обоих последних случаях синтез проходил адекватно. Syn 8.6.2 стояла крякнутая (как, впрочем, и Пресижн), для кряка использовал "метод Дружина" - установка NodeLocked лицензии и пропатчивание файлов synbatch.exe и synplify.exe