Выполнить оптимизацию числа состояний и логического преобразователя заданного синхронного автомата-распознавателя кода («кодового замка») и убедиться в правильности оптимизации путём моделирования в системе схемотехнического моделирования Electronics Workbench или Multisim 10.1 и в системе Quartus II фирмы Altera.
Выполнить проверку результатов оптимизации в системе схемотехнического моделирования Electronics Workbench или Multisim 10.1
Выполнить проверку результатов оптимизации в системе Quartus II фирмы Altera с использованием автоматического синтеза по графу состояний с настройкой оптимального кодирования. Программный продукт находится на сайте фирмы
Altera.com.