Please use this identifier to cite or link to this item: http://hdl.handle.net/123456789/20043
Full metadata record
DC FieldValueLanguage
dc.contributor.authorАтаманюк, О. Б.-
dc.date.accessioned2024-07-24T07:34:18Z-
dc.date.available2024-07-24T07:34:18Z-
dc.date.issued2007-
dc.identifier.citationАтаманюк О. Б. Верифікація процесу кремнієвої компіляції топології інтегральних схем // Вісник Прикарпатського університету. Серія: Математика. Фізика. - Івано-Франківськ. - 2007. - Вип. 3. – С. 102-107.uk_UA
dc.identifier.urihttp://hdl.handle.net/123456789/20043-
dc.description.abstractЗадача верифікації процесу кремнієвої компіляції, що моделюється ймовірнісним графом, зводиться до скорочення цього графа, а далі - до знаходження всіх графів, що задовольняють часово-ймовірнісний критерій; використовуються стрічкові матриці та метод вилучення проміжних вершин.uk_UA
dc.language.isouk_UAuk_UA
dc.publisherПрикарпатський національний університет імені Василя Стефаникаuk_UA
dc.subjectкремнієва компіляціяuk_UA
dc.subjectстрічкові матриціuk_UA
dc.subjectметод вилучення проміжних вершинuk_UA
dc.titleВерифікація процесу кремнієвої компіляції топології інтегральних схемuk_UA
dc.typeArticleuk_UA
Appears in Collections:№ 3

Files in This Item:
File Description SizeFormat 
О Б. Атаманюк С.102-107.pdf338.58 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.