Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида "если - то". Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и...
Predlagaetsja ispolzovat produktsionno-frejmovuju model predstavlenija znanij dlja upravlenija protsessami logicheskogo proektirovanija diskretnykh ustrojstv. Marshruty proektirovanija opisyvajutsja v vide strategij, predstavljajuschikh soboj sovokupnosti produktsij vida "esli - to". Privoditsja bolshoe chislo primerov ierarkhicheski organizovannykh strategij, opisyvajuschikh kombinirovannye marshruty tekhnologicheski nezavisimoj optimizatsii, sinteza i verifikatsii proektov logicheskikh skhem. Predlozhennaja model predstavlenija znanij polozhena v osnovu sistemy avtomatizirovannogo logicheskogo proektirovanija funktsionalnykh blokov tsifrovykh sverkhbolshikh integralnykh skhem. Eksperimenty i praktika proektirovanija pokazali, chto sovmestnoe ispolzovanie razrabotannoj sistemy i promyshlennykh sistem proektirovanija pozvoljaet effektivnee reshat zadachi sinteza logicheskikh skhem v razlichnykh tekhnologicheskikh bazisakh. Rasschitana na nauchnykh sotrudnikov, razrabotchikov sistem avtomatizirovannogo proektirovanija, aspirantov i...
