Finite State Machines (FSMs) have long been a cornerstone of digital system design, and continuing advancements in logic synthesis have enabled increasingly optimised implementations.