Клоки, Использование нескольких синх. сиг. в пр Опции

[DimaV]

Ситуация: В большом проекте нужно использовать несколько клоков (не кратных). Есть компоненты которые работают синхронно от разных клоков.
Вопрос: Как грамотно соеденить эти компоненты между собой?

[Guest_Guest_*]

есть такое понятие как синхронизаторы (блок из триггеров) нужен вот для чего: если есть схема в которой есть разные тактовые домены работающие на одной частоте но не факт что фазы совпадают,а надо передавать данные из одного в другой и чтоб голова не болела по поводу проскальзываний или метасостояний, то делаем так:
(вых данных, и такты1) -> триггер1
(выход триггер1, такты2) ->триггер2
(выход триггер2, такты2) ->триггер3
с выхода триггера3 уже имеем стабильные данные но нужным нам тактам.

Не помню где читал, пдфка какая-то была...
udofun

[sazh]

есть такое понятие как синхронизаторы (блок из триггеров) нужен вот для чего: если есть схема в которой есть разные тактовые домены работающие на одной частоте но не факт что фазы совпадают,а надо передавать данные из одного в другой и чтоб голова не болела по поводу проскальзываний или метасостояний, то делаем так:
(вых данных, и такты1) -> триггер1
(выход триггер1, такты2) ->триггер2
(выход триггер2, такты2) ->триггер3
с выхода триггера3 уже имеем стабильные данные но нужным нам тактам.

Хочется поговорить об этом. В свете используемого симулятора.
Моделсим определяет временной интервал (симуляция на gate уровне в терминах Альтеры), где при переходе из одного клокового домена в другой не выполняются времена установки и удержания данных. Но эту неопределенность распространяет на всю цепочку триггеров.
В результате по сформированному неопределенному сигналу в нужном временном интервале реакции на входное воздействие не происходит.
Получается, в симуляторе нет анализа метастабильности, и все эти ниже перечисленные статьи - дань научному мировозрению?

Эскизы прикрепленных изображений

 

Прикрепленные файлы

 ________________.zip ( 618.3 килобайт ) Кол-во скачиваний: 24

 

[Intekus]

Поясните пожалуйста, какой именно анализ метастабильности Вы имели в виду:

Моделсим определяет временной интервал (симуляция на gate уровне в терминах Альтеры), где при переходе из одного клокового домена в другой не выполняются времена установки и удержания данных.

Получается, в симуляторе нет анализа метастабильности, и все эти ниже перечисленные статьи - дань научному мировозрению?

То, что Вы упомянули - и есть анализ метастабильности: при её возникновении выход модели триггера переводится в "x" - а дальше он уже распространяется по логике в соответствии с обычными правилами симуляции.

[sazh]

дальше он уже распространяется по логике в соответствии с обычными правилами симуляции.

Все так. И в результате я не получаю соответствия между функциональным и временным моделировании при использовании в проекте сетки входных клоков.
Теперь я понимаю, почему альтерщики при встроенном моделировании пользовали только временное (по умолчанию, по лени), а моделсимщики - только RTL (функциональное).

[Intekus]

Видимо, голова работает в режиме выходного дня - никак не могу уразуметь, что же вы ожидаете от симулятора.

Все так. И в результате я не получаю соответствия между функциональным и временным моделировании при использовании в проекте сетки входных клоков.
Теперь я понимаю, почему альтерщики при встроенном моделировании пользовали только временное (по умолчанию, по лени), а моделсимщики - только RTL (функциональное).

А каким, по-вашему, должно быть в идеале это соответствие? При каждом подозрении на метастабильность делить симуляцию на 2 ветки, соответствующие восприятию состояния "проблемного" триггера как "0" и "1" соответственно, да ещё и рассчитывать вероятности каждого исхода? Точнее даже делить не на 2 ветки, а на 2^n, если выход триггера подключён к n различным цепям.
Или Вам нужно просто, чтоб не появлялись x-ы? Так опция, заставляющая игнорировать при симуляции метастабильность и выдавать на выход строго 0 или 1 может быть установлена (по крайней мере у Xilinx) как для любого триггера индивидуально, так и для проекта в целом.