Верифікація процесу кремнієвої компіляції топології інтегральних схем

Please use this identifier to cite or link to this item: http://hdl.handle.net/123456789/20043

Title:	Верифікація процесу кремнієвої компіляції топології інтегральних схем
Authors:	Атаманюк, О. Б.
Keywords:	кремнієва компіляція стрічкові матриці метод вилучення проміжних вершин
Issue Date:	2007
Publisher:	Прикарпатський національний університет імені Василя Стефаника
Citation:	Атаманюк О. Б. Верифікація процесу кремнієвої компіляції топології інтегральних схем // Вісник Прикарпатського університету. Серія: Математика. Фізика. - Івано-Франківськ. - 2007. - Вип. 3. – С. 102-107.
Abstract:	Задача верифікації процесу кремнієвої компіляції, що моделюється ймовірнісним графом, зводиться до скорочення цього графа, а далі - до знаходження всіх графів, що задовольняють часово-ймовірнісний критерій; використовуються стрічкові матриці та метод вилучення проміжних вершин.
URI:	http://hdl.handle.net/123456789/20043
Appears in Collections:	№ 3

Files in This Item:

File	Description	Size	Format
О Б. Атаманюк С.102-107.pdf		338.58 kB	Adobe PDF	View/Open

DSpace JSPUI