Please use this identifier to cite or link to this item: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/1433
Title: Параллельный генетический алгоритм верификации эквивалентности цифровых схем для двухядерных систем
Authors: Иванов, Дмитрий Евгениевич
Keywords: цифровая схема
генетический алгоритм
параллельные вычисления
верификация эквивалнтности
Issue Date: 2009
Publisher: Вісник Хмельницького національного університету
Citation: Д.Е. Иванов Параллельный генетический алгоритм верификации эквивалентности цифровых схем для двухядерных систем // Вісник Хмельницького національного університету, 2009.- №4.- с.92-99.
Abstract: В статті розглянуто одну з центральних задач технічної діагностики – верифікацію еквівалентності цифрових пристроїв. Для алгоритму верифікації, який описано авторами раніше, запропановано модифікацію для двоядерних систем. Паралельна версія алгоритму дозволяє суттєво підвищити завантаження ядер процесору та швидкодію роботи всього алгоритму. Наведено результати обчислювальних експериментів, які показують підвищення швидкодії в середньому в 1.88 раза для контрольних схем ISCAS-89. In the paper one of the central problems of the technical diagnostics, verification of the equivalence of digital circuits, is considered. For the algorithm, which was early described by authors, one modification is proposed, that works on the dual-core workstation. The parallel version of the algorithm allows essentially raising the overall speed of work. Experimental results of the calculation experiments show the speed-up of the algorithm approximately 1.88 times for ISCAS-89 benchmarks.
URI: http://ea.donntu.edu.ua/handle/123456789/1433
Appears in Collections:Наукові статті кафедри автоматизованих систем управління

Files in This Item:
File Description SizeFormat 
ivanov_parallel_verification.pdf436,45 kBAdobe PDFView/Open


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