OS-VVM (Диплом)/Спецификация микросхемы Mifare Ultralight

Ссылки сюда (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 *

Описание входных/выходных протоколов

Требования, предъявляемые к временным ограничениям сигналов

• частота (fc) 13,56 МГц ± 7 кГц
• длительность паузы 27/fc - 41/fc (2-3 мкс)
• защитный интервал блока 1172/fc - 1236/fc (86,43 - 91,15 мкс)
• длительность передачи одного бита 128/fc (9,44 мкс)

Представление и кодирование бит при передаче от ридера к карте

Определены следующие последовательности:

• X: после времени 64/fc (4,72 мкс) должна быть "пауза"
  
• Y: для всей длительности бита 128/fc (9,44 мкс) модуляции не должно быть
  
• Z: в начале длительности бита должна быть "пауза".
  

              Z    Y    X
           –|_–––|––––|––_–|–

Данные последовательности используются для кодирования следующей информации:

• логическая "1" последовательность Х
• логический "0" последовательность Y со следующими двумя исключениями:
  • а) если два или более смежных (граничащих) "0", то последовательность Z должна быть использована для следующего "0"
  • б) если первым битом после старта кадра является "0", последовательность Z должна быть использована для представления этого и любых "0"-ей, которые следуют прямо после этого.
• старт передачи: последовательность Z
  
• конец передачи: логический "0" следует с последовательностью Y
  
• нет информации: по крайней мере две последовательности Y.
  

Представление и кодирование бит при передаче от карты к ридеру

Биты кодируются Манчестерским кодом со следующими определениями:

последовательность D: несущая модулируется поднесущей для первой половины (50%) длительности бита
последовательность E: несущая модулируется поднесущей для второй половины (50%) длительности бита
последовательность F: несущая не модулируется поднесущей для длительности одного бита

логическая "1" последовательность D
логический "0" последовательность E
старт передачи: последовательность D
конец передачи: последовательность F
нет информации: нет поднесущей.

Анализ команд и ответов ИМС

7 бит:

• Команда REQA (запрос карты ) 0х26, ответ ATQA 0х0044
  

• Команда WUPA (запрос всех карт)0х52, ответ ATQA 0х0044
  

2 байта:

• Команда Антиколлизия каскадного уровня 1 0х93 + аргумент 0х20-0х67, ответ Часть UID + BCC1
  

• Команда Антиколлизия каскадного уровня 2 0х95 + аргумент 0х20-0х67, ответ Часть UID + BCC2
  

4 байта:

• Команда READ (чтение) 0х30 + Адрес + CRC, ответ 16 байт данных + CRC
  

• Команда HALT (остановка) 0х50 + аргумент 0х00 + CRC, ответ Пассивный AK или NAK
  

Команды переменной длины:

• Команда WRITE (запись) 0хA2 + аргумент Адрес + 4 байта данных + CRC, ответ AK или NAK
  

• Команда COMPATIBILITY WRITE (совместимая запись) 0хA0 + аргумент Адрес + CRC, ответ AK или NAK, 16 байт данных + CRC, ответ AK или NAK

• Команда Выбор каскадного уровня 1 0х93 + аргумент 0х70 + UID каскадный уровень 1 + BCC1 + CRC, ответ SAK ('04') + CRC

• Команда Выбор каскадного уровня 2 0х95 + аргумент 0х70 + UID каскадный уровень 2 + BCC2 + CRC, ответ SAK ('00') + CRC

Команда					Ответ
Код	Аргумент	Формат	Размер	Описание	Код	Формат	Размер	Описание
0х26	-	s7ee	7+3	REQA (запрос карты)	0х0044	s8p8pe	16+4	ATQA
0х26	-	s7ee	7+3	WUPA (запрос всех карт)	0х0044	s8p8pe	16+4	ATQA
0х93	0х20-0х67	s8p8pee	16+5	Антиколлизия каскадного уровня 1	UID + BCC1	s8p...8pe	>0 <47	Часть UID + BCC1
0х95	0х20-0х67	s8p8pee	16+5	Антиколлизия каскадного уровня 2	UID + BCC2	s8p...8pe	>0 <47	Часть UID + BCC2