Проверка проекта: эквивалентность выбора и момент наблюдения

Прочитайте условия и нарисуйте временной порядок

Комбинационный выход $y=\overline s a+sb$, а sampled_y сохраняет y на положительном фронте^{iПоложительный фронт — момент перехода такта из 0 в 1. Его следует отличать от уровня, означающего весь интервал CLK=1. Подробнее}. Предположим, при $a=1,b=0,s=0$ значение уже один раз сохранено. Затем между фронтами s меняется на 1.

Вопрос ниже касается значений после стабилизации входа и комбинационной задержки, но до следующего положительного фронта. Эквивалентность функционального выражения и момент наблюдения регистра^{iРегистр хранит многобитное состояние. Синхронные регистры в этом курсе записывают определённый вход на фронте тактового сигнала. Подробнее} — отдельные пункты проверки.

Ниже показан порядок наблюдения условий задачи при a=1, b=0. На интервале различия комбинационного и сохранённого выходов объясните, какой сигнал показывает текущий вход, а какой — предыдущий захват.

Дополнительные задачи проектирования

1. Докажите по восьми комбинациям, что схема y=(a & ~s) | (b & s) эквивалентна однобитному MUX^{iМультиплексор — комбинационная схема, соединяющая один из нескольких входов с выходом по сигналу выбора. Соответствие битов выбора и номеров входов должно быть задано явно. Подробнее}.
2. При удалении sampled_y функциональное выражение сохраняется. Объясните, какое временное свойство исчезает.
3. Объясните, почему при слишком близких переключении s и положительном фронте идеальные значения RTL не гарантируют поведение реального оборудования.