Повторно используемые задачи-проверяющие

Часть раздела Проектирование и верификация RTL путешествия по Verilog на Coddy. Урок 27 из 38.

Конструкция task в Verilog объединяет процедурные действия и может возвращать результаты через аргументы output или inout. Задачи тестового окружения помогают сократить дублирование проверок. В отличие от комбинационной function, task при необходимости может содержать элементы управления временем, однако эти задачи-проверки выполняют только сравнения, не занимающие времени. Используй автоматические задачи, если отдельным параллельным вызовам требуется независимое локальное хранилище; приведённые здесь вызовы выполняются последовательно.

Соответствующий фрагмент; окружающие объявления и соединения предоставлены в задании.

task check_value;
    input [7:0] actual,expected;
    output ok;
    begin ok = (actual === expected); end
endtask

Вызывающая сторона получает результат проверки через явный выходной аргумент.

Определите направления аргументов task и сбросьте переменные результатов перед каждым вызовом, прежде чем собирать сбои.

Задание

Средне

Реализуйте check_value так, чтобы ok принимал значение one, если actual и expected совпадают при равенстве с четырьмя состояниями, и значение zero в противном случае. Этот модуль содержит предназначенную только для симуляции task, вызываемую заблокированным тестбенчем. Столбцы вывода: ok.

Завершите design.v и сохраните имена его модулей и портов. Заблокированный testbench.v подаёт изменения входных данных и выводит результаты после их установления. Он выбирает сценарий с помощью аргумента симулятора, например +CASE=1; стандартный ввод не требуется. Оставьте вывод и управление сценарием в заблокированном тестбенче; реализуйте только тело task. Ожидаемый вывод — одна строка десятичных значений для каждого наблюдения, разделённых одним пробелом и завершающихся символом новой строки.

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

module dut;
    task check_value;
        input [7:0] actual,expected;
        output ok;
        begin
            // Завершите задачу проверки.
            ok=0;
        end
    endtask
endmodule