Автор статьи сам легонько плавает в теме. Особенно умиляет вывод 5. Засунул голову в песок, и нет проблемы.

Плавает, конечно. Не плавают те, кто постит в IEEE, а не хабр Да и то не факт
По пункту 5 - пост все же о метастабильности, а не STA. Хороший гайд по STA+CDC получится объемом не меньше, а может быть даже больше. Есть желающие написать? Я бы почитал

p.s. Вы просили спайс модели - там в комментах есть ссылки на FreePDK 45

Да-да, я заметил. Пойду качать.
А вот поставить параллельно два триггера, и объединить выходы. Лучше три. Тоже вероятность получить неопределенное состояние значительно уменьшится. Особенно, если на вход данных подать сигналы с разными подтяжками. А такт не теряем. ?


http://www.alterawiki.com/wiki/Timing_Constraints
http://www.alterawiki.com/wiki/File:TimeQuest_User_Guide.pdf

Или чуть-чуть задержать данные по-разному.

Всех с наступившим! Родился у меня вопрос про вероятность появления метастабильного состояния. Что будет надежнее при приеме асинхронного сигнала, цепочка из 2-х Д триггеров работающая на частоте CLK, или цепочка из 3-х или может 4-х Д триггеров работающая на частоте CLK*2?

Я думаю, что самый простой и надежный способ узнать ответ -- это подставить числа в формулу и посчитать.

Судя по графикам -- на 4-х триггерах будет надежнее.

Вероятность сбоя на выходе синхронизатора мультипликативна - при добавлении в синхронизатор дополнительного триггера, она умножается на вероятность сбоя этого триггера. Судя по формулам, вероятность сбоя при удвоенной частоте на входе и 4х триггерах такая же, как при ординарной частоте входного сигнала и двух триггерах в синхронизаторе. Об этом кстати явно написано в статье по ссылке выше.

Есть достаточно надежный способ полностью избежать проблем при синхронизации, но требуется простейший TA (время-амплитуда) конвертер или иной способ оценки коротких интервалов времени. Делается два синхронизатора - один по положительному фронту одного из сигналов, другой - по отрицательному. Один из них всегда даст надежный отсчет, важно лишь определить - какой. Это делается измерением времени между фронтами (TA конвертер) и выбором того канала, задержка которого ближе к правде.

Это проверено, сбои исчезли полностью.