Методика исследования способов оптимизации управляющих автоматов в базисе ПЛИС FPGA

Алгоритм исследования метода оптимизации управляющего автомата. Генерация формального описания. Доказательство эквивалентности моделей автоматов. Анализ отчетов верификации и синтеза. Описание метода, основанного на замещении символов входного алфавита.

Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.