Анализ моделей функционирования программируемых логических интегральных схем авт