События приёма и стабильность при остановках

Передача требует обоих сигналов на фронте

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

Когда valid высок, а ready низок, сохраняйте valid и все полезные данные стабильными. Наше соглашение позволяет отменить это обязательство только сбросом или явной очисткой. Если источник ждёт ready перед установкой valid, а приёмник ждёт valid перед установкой ready, оба могут ждать бесконечно. Предлагайте подготовленный элемент независимо от ready. Эти принципы подтверждения передачи и стабильности документированы в спецификации AMBA AXI от Arm, раздел A3. Этот небольшой поток не реализует полный интерфейс AXI.

Tag4 должен оставаться неизменным во время остановки. После его передачи на фронте 2 источник может предъявить tag5. Один ready на фронте 4 не создаёт транзакцию. Подсчёт только valid может терять входы; чтение только данных может дублировать выходы.

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