Аннотация:В данной работе проводится исследование методов автоматической генерации моделей микропрограмм для ПЛИС с целью ускорения и упрощения процесса разработки систем фильтрации сетевого трафика. Предложен язык для описания функциональных требований и разработано средство, предназначенное для синтеза моделей микропрограмм. Производится экспериментальное исследование полученных реализаций.