Встановлення існування необхідних умов еквівалентності схем
No Thumbnail Available
Files
Date
2007
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Національного університету “Львівська політехніка”
Abstract
Розглянуті можливі шляхи встановлення існування необхідних умов еквівалентності схем РЕА під час розв’язання задач верифікації і функціональної декомпозиції схем. У першому випадку необхідно реалізувати класифікатор схемних елементів.
Інший варіант розв’язання задачі – реалізація класифікатора схемних ланцюгів. Some possible ways to determine scheme equivalence necessary conditions have been considered. Scheme equivalence is to be checked while solving the problems of verification or functional decomposition of schemes. In the first case, a scheme element classifier is to be realized. Another solution variant applies net classifier.
Description
Keywords
необхідні умови, еквівалентність схем, схеми РЕА, реалізація класифікатора схемних ланцюгів
Citation
Білаль Аль-Забі Встановлення існування необхідних умов еквівалентності схем / Білаль Аль-Забі, А. Б. Керницький, С. П. Ткаченко // Вісник Національного університету "Львівська політехніка". – 2007. – № 591 : Комп'ютерні системи проектування. Теорія і практика. – С. 87–90. – Бібліографія: 5 назв.