Таблица ожидаемых строк

Страница «Тест-кейсы» позволяет описать ожидаемое поведение обычной текстовой таблицей — по столбцу на каждый вход и выход, по строке на каждую комбинацию, которую нужно проверить, используя 0, 1 или x для «неважно». Каждая строка прогоняется через свою собственную независимую симуляцию: перечисленные входы задаются, перечисленные выходы сверяются, и любая несовпавшая строка немедленно помечается.

Это ровно та же таблица истинности, только написанная от руки

Таблица тест-кейсов — это не более чем таблица истинности, которую вы ожидаете от своей схемы, записанная заранее вместо того, чтобы генерироваться автоматически постфактум, — полезно в тот момент, когда схема становится достаточно большой, чтобы разглядывание автоматически сгенерированной таблицы истинности перестало быть надёжным способом поймать ошибку.

Почему последовательностные схемы получают предупреждение, а не блокировку

Каждая строка вычисляется независимо, без какого-либо понятия тактового фронта между строками — нет способа сказать «переключи такт, затем проверь выход». Если схема содержит хоть один элемент с состоянием (триггеры, REG4, SHIFT4, любой счётчик), страница показывает предупреждение, что построчное тестирование описывает только комбинационное поведение; это не мешает всё равно протестировать комбинационную часть, поскольку предупреждение носит информационный характер, а не является жёстким ограничением.

Попробуйте сами

Напишите небольшую таблицу тест-кейсов для полусумматора в редакторе схем — четыре строки, покрывающие все комбинации A и B, — убедитесь, что она проходит, затем намеренно поменяйте местами два столбца выходов, чтобы увидеть, как страница сообщит о несовпадении.