Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/1444
Название: Генетический подход проверки эквивалентности последовательностных схем
Авторы: Иванов, Дмитрий Евгениевич
Ключевые слова: цифровая схема
верификация эквивалентности
генетический алгоритм
эволюционные вычисления
Дата публикации: 2009
Издательство: «Радіоелектроніка. Інформатика. Управління»
Библиографическое описание: Д.Е. Иванов Генетический подход проверки эквивалентности последовательностных схем // «Радіоелектроніка. Інформатика. Управління».- Запоріжжя, ЗНТУ.- 2009.- №1(20).- С.118-123.
Краткий осмотр (реферат): При проектировании современных цифровых схем перед разработчиком часто возникает задача верификации эквивалентности двух схем, что связано с применением различных оптимизационных процедур. В данной статье предлагается алгоритм решения данной задачи, основанный на генетическом программировании. Приведены результаты экспериментов на схемах 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
Располагается в коллекциях:Наукові статті кафедри автоматизованих систем управління



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