Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/1433
Название: Параллельный генетический алгоритм верификации эквивалентности цифровых схем для двухядерных систем
Авторы: Иванов, Дмитрий Евгениевич
Ключевые слова: цифровая схема
генетический алгоритм
параллельные вычисления
верификация эквивалнтности
Дата публикации: 2009
Издательство: Вісник Хмельницького національного університету
Библиографическое описание: Д.Е. Иванов Параллельный генетический алгоритм верификации эквивалентности цифровых схем для двухядерных систем // Вісник Хмельницького національного університету, 2009.- №4.- с.92-99.
Краткий осмотр (реферат): В статті розглянуто одну з центральних задач технічної діагностики – верифікацію еквівалентності цифрових пристроїв. Для алгоритму верифікації, який описано авторами раніше, запропановано модифікацію для двоядерних систем. Паралельна версія алгоритму дозволяє суттєво підвищити завантаження ядер процесору та швидкодію роботи всього алгоритму. Наведено результати обчислювальних експериментів, які показують підвищення швидкодії в середньому в 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
Располагается в коллекциях:Наукові статті кафедри автоматизованих систем управління

Файлы этого ресурса:
Файл Описание РазмерФормат 
ivanov_parallel_verification.pdf436,45 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.