Рассматривается вопрос использования языка SF для решения задач реализации дискретных автоматов КМОП-схемами с памятью. Предлагается новый формат FSM, предназначенный для представления моделей
абстрактных дискретных автоматов. Приводится пример использования программ конвертации
FSM-описания и алгоритма энергосберегающего кодирования, позволивших получить SF-описание автомата в виде комбинационной части, представленной в матричном виде и регистра памяти на D-триггерах.