Комментарии: Верификация проблем с пересечением тактовых сигналов в ПЛИС с помощью ALINT-PRO

Вопрос весьма актуален.  Стоит внимания! Хочу въехать в  ALINT-PRO

Мне кажется на рис. 8 на регистр valid_sync должен подаваться clkb.

1. да, исправьте рис. 8, на регистр valid_sync должен приходить clkb.
2. в конфигурации на рис. 8 перед синхронизатором появилась комбинаторная логика - а это вызывает глитчи. В соответсвии с первой частью статьи пакет ALINT-PRO должен был это отловить. 
Почему ошибка при анализе CDC не обнаружилась?  Из-за ошибочного подключения clka на вход valid_sync анализ некорректно отработал?

Пока что не получается исправить картинку в статье, интерфейс не позволяет.
Однако я решил сначала обратиться к первоисточнику, уточню у компании ALDEC, и вернуть сюда с ответом.
Спасибо вам за внимательное прочтение статьи!

Спасибо за материал! Первоисточник - это Aldec или какая-то её статья? Если статья, то какая?

Исправили картинку! Спасибо!