Средств HDL немного недостаточно, чтобы их правильно описать. Для них важно:

1. Подавление оптимизации. Нужно констрейнить, чтобы триггера не размножались и чтобы внутрь оптимизатора не переносилась логика с его выхода.

2. По хорошему нужно кострейнить еще и максимальное время прохождения сигнала от первого триггера до второго, так как в синхронизаторе к нему добавляются связанные с метастабильностью дополнителдьные задержки, про которые временной анализатор по умолчанию ничего не знает.

PS Интересно, это только меня кнопка "Скачать" выкидывает на главную страницу webfile.ru, ничего не скачивая.