Встановлення існування необхідних умов еквівалентності схем

Loading...
Thumbnail Image

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 назв.

Endorsement

Review

Supplemented By

Referenced By