Please use this identifier to cite or link to this item: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/1444
Title: Генетический подход проверки эквивалентности последовательностных схем
Authors: Иванов, Дмитрий Евгениевич
Keywords: цифровая схема
верификация эквивалентности
генетический алгоритм
эволюционные вычисления
Issue Date: 2009
Publisher: «Радіоелектроніка. Інформатика. Управління»
Citation: Д.Е. Иванов Генетический подход проверки эквивалентности последовательностных схем // «Радіоелектроніка. Інформатика. Управління».- Запоріжжя, ЗНТУ.- 2009.- №1(20).- С.118-123.
Abstract: При проектировании современных цифровых схем перед разработчиком часто возникает задача верификации эквивалентности двух схем, что связано с применением различных оптимизационных процедур. В данной статье предлагается алгоритм решения данной задачи, основанный на генетическом программировании. Приведены результаты экспериментов на схемах ISCAS-89, показывающие эффективность предложенного подхода Під час проектування сучасних цифрових пристроїв перед розробником часто постає проблема верифікації еквівалентності двох схем Це пов’язано, перед усім, із використанням різноманітних оптимізуючих процедур. В даній статі запропоновано алгоритм рішення такої задачі, заснований на генетичному програмуванні. Наведено результати машинних експериментів на схемах ISCAS-89, що доводять ефективність запропонованого підходу. Under the life cycle of the development of the modern digital circuits a problem of verification of two circuits is arise. It is caused, for example, by using several optimization procedures. In this paper a genetic algorithm of solving this problem is proposed. Reported experimental results on the ISCAS-89 benchmarks confirm the efficient of the proposed algorithm.
URI: http://ea.donntu.edu.ua/handle/123456789/1444
Appears in Collections:Наукові статті кафедри автоматизованих систем управління



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