11 / 36 · Теория
Тесты, выявляющие ошибки
Выберите случаи для проверки выбора и выборки.
Уроки доступны бесплатно. Запишитесь, чтобы сохранять прогресс.
Цели урока
- Выберите случаи для проверки выбора и выборки.
Тесты, которые не скрывают ошибки
Если a и b всегда совпадают, сломанный селектор выглядит исправным. Сначала меняйте sel при a=0,b=1, затем при a=1,b=0. Рассчитывайте ожидания до изменения входного файла, а не после результата. Различайте исходные и изменённые файлы.
| Цель | Входное условие | Сравнение |
|---|---|---|
| Направление выбора | a != b; переключить sel | y |
| Невыбранный вход | Сохранить выбранный вход, менять другой | y остаётся стабильным |
| Хранение | Менять sel между фронтами | y и sampled_y |
| Все комбинации | 8 комбинаций a,b,sel | Таблица истинности |
Первое расхождение
Запишите первый неверный момент и входы. Если неверен y, проверьте выбор и соединения; если только sampled_y — сначала начальное значение и фронты. Восемь комбинаций проверяют 0/1 выбор и хранение этого RTL, но не все электрические свойства чипа.
Попробуйте сами
y верен, но sampled_y сдвинут на один фронт. Что проверить первым?
Прочитать объяснение
Сравните начальный sampled_y, время изменения входов и первый фронт, прежде чем менять выражение выбора.