Please use this identifier to cite or link to this item: http://hdl.handle.net/123456789/20040
Title: Мінімізація алгоритмічного процесу проектування інтегральних схем методом кремнієвої компіляції за часово-ймовірнісним критерієм
Authors: Атаманюк, Роман Богданович
Новосядлий, Степан Петрович
Keywords: кремнієва компіляція
інтегральні схеми
оптимізація
верифікація
Issue Date: 2007
Publisher: Прикарпатський національний університет імені Василя Стефаника
Citation: Атаманюк Р. Б., Новосядлий С. П. Мінімізація алгоритмічного процесу проектування інтегральних схем методом кремнієвої компіляції за часово-ймовірнісним критерієм // Вісник Прикарпатського університету. Серія: Математика. Фізика. - Івано-Франківськ. - 2007. - Вип. 3. – С. 84-89.
Abstract: Запропоновано вдосконалення методу кремнієвої компіляції через оптимальний покроковий вибір операторів та логічних умов за критеріями часу та ймовірності правильного виконання з дотриманням КТО. Введено поняття достовірних операторів та гарантованих умов. Суть алгоритму оптимізації - у відсіканні на кожному кроці кремнієвої компіляції неперспективних варіантів реалізації операторів та логічних умов.
URI: http://hdl.handle.net/123456789/20040
Appears in Collections:№ 3

Files in This Item:
File Description SizeFormat 
Р.Б. Атаманюк, С.П. Новосядлий С.84-89.pdf339.52 kBAdobe PDFView/Open


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