OS-VVM (Диплом)/Описание тестовой программы

Ссылки сюда (23) →

Проект Диплом

• Спецификация ИМС
• Тестовый план
• Описание тестовой программы

---

Литература

• Ссылки
• Книги
• Стандарт ISO 14443

---

Coverage Cookbook (en)

• Метрики и процессы покрытия (en)
  • Метрики покрытия кода (en)
  • Метрики функционального покрытия (en)
  • Specification to testplan (en)
    • Executable Testplan Format (en)
  • Testplan to functional coverage (en)
    • Coding for analysis (en)
• Coverage Examples (Practice) (en)
• Requirements Writing Guidelines (en)

---

OVM методология

• Layered Organization of Testbenches (en)

---

• Словарь терминов
• Расписание
• Дневник
• История проекта

* OS-VVM *

Архитектура тестбенча

Рисунок 1 — Архитектура тестбенча (edit)

Описание процедур/функций

Driver

Драйвер преобразует последовательность бит, передаваемых ему командой в огибающую.
Интерфейс:

• Входы
  • data_size  : in natural - размер передаваемых данных;
  • data  : in bit_vector - входной сигнал;
• Сигналы
  • signal output  : out std_logic - выходной сигнал (огибающая);

Responder

Респондер преобразует выходной сигнал DUT в последовательность бит. Запускается при получении стартового бита ответа.
Интерфейс:

• Входы
  • —
• Выходы
  • out_data  : out std_logic_vector(1 to 164) - выходная информация респондера;
  • bit_num  : out integer - количество бит, полученных респондером;
• Сигналы
  • signal tdata_mod : in std_logic - сигнал из DUT;

Pause

Pause — ждет ответ DUT и считает периоды. Если по истечению MaxWaitTime сигнал не пришел, выходит из процедуры

Интерфейс:

• Входы
  • MaxWaitTime : out natural — в периодах clk
• Выходы
  • clk_num : out natural - количество периодов. Возвращает 0, если нет ответа после MaxWaitTime-циклов
• Сигналы
  • signal tdata_mod : in std_logic - сигнал из DUT;

Reset

Reset останавливает clock генератор на указанное время.

Интерфейс:

• Входы
  • wait_time : in time - время сброса(при 0 - бесконечно);
• Выходы
  • —
• Сигналы
  • signal stop : out bit - сигнал остановки clock генератора;

Команды

REQWUP

REQA — запрос карты

WUPA — запрос всех карт

• Подаёт соответствующую команду на драйвер (если Mode = 0, то REQA(0х26), если Mode = 1, то WUPA(0х52))
• Контролирует паузу между запросом и ответом
• Принимает ответ и сравнивает его с ожидаемым ответом
• Выдаёт ошибку, если
  • Пауза не соответствует спецификации (Error=1)
  • Ошибка в данных ответа (Error=2)
  • Если нет ошибки, Error=0

Интерфейс:

• Входы
  • Mode : in bit; -- 0 = REQA 1 = WUPA
• Выходы
  • Error : out bit (0..2).
• Сигналы
  • signal tdata_mod : in std_logic - сигнал, идущий с выхода DUT;
  • signal CoilModulation : out std_logic - огибающая;

Anticollision

Anticollision — Антиколлизия и select 1/2 каскадного уровня

• Подаёт соответствующую команду на драйвер (вычисляет код команды, добавляет 0x88 для 1 уровня, добавляет BCC и CRC)
• Контролирует паузу между запросом и ответом
• Принимает ответ и сравнивает его с ожидаемым ответом (используя UID)
• Выдаёт ошибку, если
  • Пауза не соответствует спецификации (Error=1)
  • Ошибка в данных ответа (Error=2)
  • Если нет ошибки, Error=0

Интерфейс:

• Входы
  • Level : in bit — каскадный уровень 1/2 (0=0х93, 1=0х95)
  • Arg  : in natural - аргумент (0х20-0х67)
  • UID  : in integer_vector(6 downto 0) — UID (7 байт, 6-MSB, 0-LSB)
• Выходы
  • Error : out bit (true = ошибка, false= всё Ок).
• Сигналы
  • signal tdata_mod : in std_logic - сигнал, идущий с выхода DUT;
  • signal CoilModulation : out std_logic - огибающая;

READ

READ - чтение

• Подаёт соответствующую команду на драйвер (подаёт код команды 0x30, адрес и вычисляет CRC)
• Контролирует паузу между запросом и ответом
• Принимает ответ и сравнивает его с ожидаемым ответом (используя эталонную модель карточки)
• Выдаёт ошибку (Error=0..3), если
  • 0 – нет ошибки
  • 1 – Пауза не соответствует спецификации
  • 2 – Ошибка в данных ответа
  • 3 – выдала NAK
  • 4 – нет ответа
  • 10 – другое

Интерфейс:

• Входы
  • Arg  : in natural - адрес (0-15)
• Выходы
  • Error : out natural (0..3).
• Сигналы
  • signal tdata_mod : in std_logic - сигнал, идущий с выхода DUT;
  • signal CoilModulation : out std_logic - огибающая;

HALT

HALT — перевод в состояние ожидания

• Подаёт соответствующую команду на драйвер ('50' '00' + CRC)
• Контролирует паузу между запросом и ответом. Если ответа нет, то команда выполнилась успешно.
• Принимает ответ и сравнивает его с ожидаемым ответом (NACK либо ACK(нет ответа))
• Выдаёт ошибку (Error=0..3), если
  • 0 — всё Ок (ответа не было)
  • 1 — получен NACK
  • 2 — Пауза не соответствует спецификации
  • 3 — Ошибка в данных ответа (в NACK)

Интерфейс:

• Входы
  • —
• Выходы
  • Errors : out natural (0..3).
• Сигналы
  • signal tdata_mod : in std_logic - сигнал, идущий с выхода DUT;
  • signal CoilModulation : out std_logic - огибающая;

WRITE

WRITE — запись

• Подаёт соответствующую команду на драйвер (подаёт команду (0xA2), данные, вычисляет четность, добавляет CRC)
• Контролирует паузу между запросом и ответом
• Принимает ответ и сравнивает его с ожидаемым ответом (используя Data)
• Выдаёт ошибку (Error=0..3), если
  • 0 — всё ок
  • 1 — выдала NAK
  • 2 — Пауза не соответствует спецификации
  • 3 — Ошибка в данных ответа

Интерфейс:

• Входы
  • Addr  : in natural - адрес (0-15)
  • Data  : in integer_vector(3 downto 0) — 4 байта
• Выходы
  • Error : out natural (0..3).
• Сигналы
  • signal tdata_mod : in std_logic - сигнал, идущий с выхода DUT;
  • signal CoilModulation : out std_logic - огибающая;

Подумать как задавать ошибки в командах

COMPATIBILITY WRITE

COMPATIBILITY WRITE — совместимая запись

• Подаёт первую часть команды на драйвер (вычисляет код команды, добавляет CRC)
• Контролирует паузу между запросом и ответом
• Подаёт вторую часть команды на драйвер (вычисляет код команды, добавляет CRC)
• Контролирует паузу между запросом и ответом
• Принимает ответ и сравнивает его с ожидаемым ответом (используя UID)
• Выдаёт ошибку (Error=true), если
  • Пауза не соответствует спецификации
  • Ошибка в данных ответа

Интерфейс:

• Входы
  • Arg  : in natural - адрес (0-15)
  • Data  : in integer_vector(4 downto 1) — 4 байта
• Выходы
  • Error : out boolean (true = ошибка, false= всё Ок).
• Сигналы
  • signal tdata_mod : in std_logic - сигнал, идущий с выхода DUT;
  • signal CoilModulation : out std_logic - огибающая;

Эталонная модель метки

Реализуется с помощью защищённого типа EEPROMGoldenModelPType и глобальной общей (shared) переменной EEPROMGoldenModel.

Тип EEPROMGoldenModelPType включает:

• Данные:
  • массив данных Memory
• Методы:
  • процедура Init (FileName) — инициализация массива Memory из файла FileName
  • процедура Write (Addr : 0..15 ; Data : 4 bytes) — запись в массив Memory, начиная с адреса Addr
  • функция Read (Addr : 0..15 ) return 4 bytes; — возвращает 4 байта данных, начиная с адреса Addr
  • + дополнительные функции чтения