Вот те на, это synplify мутит воду! vm80a получился на 906 LUT, переключил на родной говиндовский синтезатор, вышло 658. Свою микромашину проверить увы не могу - родной синтезатор на ней падает. Надо попробовать Yosys.