Насчет счетчика и всех асинхронно/синхронных дел
Если посмотреть на то, из какаих ЛЯ состоит ваша ЦПЛД, то можно увидеть что у вас есть тригеры, которые можно сбрасывать либо асинхронно, либо синхронно.
Если реализовать оба вида сброса на одном и том же элементе, то будет использована дополнительная логика общего применения и то что вы хотите займет больше места на чипе. но вам как я понял это не критично.
Имхо счетчик на ЦПЛД лучше сделать на обычных тригерах, не используя суматор + тригеры (как на ФПГА), но здесь нужно внимательно посмотреть на струкутру ЛЯ. и тогда у вас получиться описать так, что бы синтезатор вас понял.
Насчет КА, вам решать какой способ описания использовать, но если уж учиться то нужно учиться делать хорошо

)
а если вам потребуеться автомат на 50 состояний ?
Рекомендую почиать вам xst.pdf(раздел HDL coding styles), cfg.pdf (документация на ISE).
и доку на симплифай, там расписанно что такое констрейны и с чем их едят