Binaire, Gray en One-Hot Encoding: Een praktische gids voor FPGA state machines

Dit artikel biedt een gedetailleerde vergelijking van binaire, Gray en one-hot encodings bij het implementeren van finite state machines (FSMs) op FPGA's. Begrijpen hoe synthesis-tools deze encodings evalueren en potentiël transformeren is essentieel voor optimale prestaties en stroomverbruik.

Finite state machines zijn alomtegenwoordig in digital design. Synthesis-tools analyseren routinematig uw RTL om FSM's te detecteren en kunnen state encodings herschrijven om timing, area of power doelen te halen. Zelfs als u handmatig state codes toewijst, kan de tool andere waarden substitueren – soms met een andere bitbreedte – gebaseerd op haar optimalisatiestrategie.

Voor een refresher over het bouwen van FSM's in Verilog, zie mijn artikel Creating Finite State Machines in Verilog.

Encoding-opties: Binaire, Gray en One-Hot

De drie meest voorkomende FSM-encodings zijn binaire, Gray en one-hot. Elke biedt distincte trade-offs.

Binaire Encoding

Binaire encoding wijst de minste mogelijke bits toe om alle staten weer te geven. Het is de meest ruimte-efficiënte keuze, maar state transitions kunnen meerdere bitwijzigingen omvatten, wat dynamisch vermogen kan verhogen.

Een voorbeeld van binaire encoding. Afbeelding door Steve Arar

Gray Encoding

Gray code zorgt ervoor dat slechts één bit verandert tussen opeenvolgende staten. Wanneer de FSM een voorspelbare sequentie volgt, kan Gray encoding schakelactiviteit reduceren en dynamisch vermogen verlagen.

Het Gray code wiel. Afbeelding van Marie Christiano

One-Hot Encoding

One-hot encoding vertegenwoordigt elke state met een toegewijde flip-flop bit. Hoewel het meer logic resources verbruikt en veel ongeldige combinaties introduceert, elimineert het de noodzaak voor state decoding, wat combinatoire logica vereenvoudigt en vaak timing verbetert bij hoge klokfrequenties.

Een voorbeeld van one-hot encoding. Afbeelding door Steve Arar

Voor diepere inzichten in state encoding in VHDL, raadpleeg Encoding the States of a Finite State Machine in VHDL door Steve Arar.

De juiste encoding kiezen

Het bepalen van de optimale encoding is context-afhankelijk en omvat het balanceren van area, timing en power. Algemene richtlijnen omvatten:

• Als uw ontwerp klein is en prestatieverschillen verwaarloosbaar, behoud de oorspronkelijke encoding die u specificerde.
• Voor FSM's die staten in een vaste, sequentiële volgorde doorlopen – zoals tellers – is Gray code vaak voordelig.
• Wanneer een FSM willekeurige transitions heeft of op hoge frequenties moet opereren, kan one-hot encoding de beste timing closure bieden.

Omdat de trade-offs genuanceerd zijn, raad ik aan om de synthesis-tool de encoding te laten kiezen. Toch heb ik vergelijkende experimenten uitgevoerd over drie grote development tools en drie distincte state machines om te illustreren hoe elke encoding in de praktijk presteert. De resultaten worden besproken in mijn volgende artikel.