Моменты выборки и причинность на временных диаграммах

Даже внутри одной временной отметки есть порядок

Одинаковая отметка изменения сигналов на диаграмме не означает беспричинной одновременности. В событийном RTL-симуляторе значения устанавливаются после активных событий, неблокирующих обновлений^{iНеблокирующее присваивание обозначается <= в последовательностном RTL. Оно вычисляет правую часть, затем планирует обновление, позволяя регистрам на одном фронте рассчитываться по предыдущему состоянию. Подробнее} и других этапов. Реальные компоненты меняются после clock-to-Q и комбинационной задержки распространения^{iЗадержка распространения — время от изменения входа до установления правильного выхода. Логическая эквивалентность выражений и их временные характеристики — разные вопросы. Подробнее}. Эти модели нужно различать.

В практикуме строим прогноз по этапам: подача входа → комбинационное вычисление → захват положительным фронтом^{iПоложительный фронт — момент перехода такта из 0 в 1. Его следует отличать от уровня, означающего весь интервал CLK=1. Подробнее} → обновление состояния. Уточняйте моменты подачи входов и записи результатов в используемом инструменте.

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

Сначала независимо вычислите ожидания

Для каждого набора вычислите y, затем в отдельном столбце укажите фронт, на котором значение попадёт в q. Первая строка расхождения с результатом сужает поиск до подачи входа, функции выбора или хранения.

Различайте переход и установившееся состояние

Если при смене селектора данные одинаковы, конечный выход должен остаться тем же, но разница задержек внутренних путей может вызвать короткий выброс. При этом нормальный переход к другому значению не следует называть выбросом. Сравнение логических диаграмм и физический временной анализ отвечают на разные вопросы.

В обычном тестбенче изменение воздействий на том же положительном фронте, что и DUT, с немедленным чтением может создать гонку. Разделяйте моменты управления и наблюдения либо используйте явную синхронизацию, например clocking block. Предлагаемый практикум DDS использует входной JSON и правила одного такта инструмента; произвольный тестбенч с #delay не добавляется.