Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида "если - то". Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Predlagaetsya ispolzovat produktsionno-freymovuyu model predstavleniya znaniy dlya upravleniya protsessami logicheskogo proektirovaniya diskretnykh ustroystv. Marshruty proektirovaniya opisyvayutsya v vide strategiy, predstavlyayushchikh soboy sovokupnosti produktsiy vida "esli - to". Privoditsya bolshoe chislo primerov ierarkhicheski organizovannykh strategiy, opisyvayushchikh kombinirovannye marshruty tekhnologicheski nezavisimoy optimizatsii, sinteza i verifikatsii proektov logicheskikh skhem. Predlozhennaya model predstavleniya znaniy polozhena v osnovu sistemy avtomatizirovannogo logicheskogo proektirovaniya funktsionalnykh blokov tsifrovykh sverkhbolshikh integralnykh skhem. Eksperimenty i praktika proektirovaniya pokazali, chto sovmestnoe ispolzovanie razrabotannoy sistemy i promyshlennykh sistem proektirovaniya pozvolyaet effektivnee reshat zadachi sinteza logicheskikh skhem v razlichnykh tekhnologicheskikh bazisakh. Rasschitana na nauchnykh sotrudnikov, razrabotchikov sistem avtomatizirovannogo proektirovaniya, aspirantov i studentov sootvetstvuyushchikh spetsialnostey.
