Бинарное, Грея и One-Hot кодирование: практическое руководство для FPGA конечных автоматов

Подробное сравнение бинарного, Грея и one-hot кодирований при реализации конечных автоматов (FSM) на FPGA. Понимание того, как инструменты синтеза оценивают и потенциально трансформируют эти кодировки, необходимо для достижения оптимальной производительности и энергоэффективности.

Конечные автоматы повсюду в цифровом дизайне. Инструменты синтеза регулярно анализируют ваш RTL для обнаружения FSM и могут переписывать кодировки состояний для выполнения тайминговых, площадных или энергетических целей. Даже если вы вручную назначаете коды состояний, инструмент может подставить другие значения — иногда с другой разрядностью — на основе своей стратегии оптимизации.

Для обновления знаний по построению FSM на Verilog см. мою статью Creating Finite State Machines in Verilog.

Варианты кодирования: бинарное, Грея, One-Hot

Три наиболее распространенных FSM кодирования — бинарное, Грея и one-hot. Каждое предлагает уникальные компромиссы.

Бинарное кодирование

Бинарное кодирование присваивает минимально возможное число бит для представления всех состояний. Это наиболее пространственно-эффективный выбор, но переходы состояний могут включать изменение нескольких бит, что может увеличить динамическую мощность.

Кодирование Грея

Код Грея гарантирует, что между последовательными состояниями меняется только один бит. Когда FSM следует предсказуемой последовательности, кодирование Грея может снизить коммутационную активность и уменьшить динамическую мощность.

One-Hot кодирование

One-hot кодирование представляет каждое состояние выделенным битом триггера. Хотя оно потребляет больше логических ресурсов и вводит множество невалидных комбинаций, оно устраняет необходимость в декодировании состояний, упрощая комбинационную логику и часто улучшая тайминг на высоких частотах.

Для более глубоких идей о кодировании состояний в VHDL обратитесь к Encoding the States of a Finite State Machine in VHDL от Steve Arar.

Выбор правильного кодирования

Определение оптимального кодирования контекстно-зависимо и подразумевает баланс между площадью, таймингом и мощностью. Общие рекомендации включают:

• Если ваш дизайн мал и различия в производительности незначительны, сохраните исходное кодирование, которое вы задали.
• Для FSM, проходящих состояния в фиксированном последовательном порядке — например, счетчиков — код Грея часто выгоден.
• Когда FSM имеет произвольные переходы или должен работать на высоких частотах, one-hot кодирование может обеспечить лучшее замыкание по таймингу.

Поскольку компромиссы нюансированы, я рекомендую позволять инструменту синтеза выбирать кодирование. Тем не менее, я провел сравнительные эксперименты на трех основных тулчейнах и трех разных автоматах, чтобы проиллюстрировать, как каждое кодирование работает на практике. Результаты обсуждаются в моей следующей статье.