Логическое проектирование цифровых систем на основе программируемых логических интегральных схем