Система высокоуровневого проектирования аппаратного обеспечения HLCCAD: открытый универсальный интерфейс моделируемых электронных компонентов
синтез микропрограммных автоматов:симуляция модели виртуального процессора МПА (микропрограммных автоматов), отладка микропрограмм, генерация схемы микропрограммного автомата с жесткой логикой.