eaDonNTU, Donetsk >
Факультет компьютерных наук и технологий (до 2021) >
Кафедра автоматизированных систем управления >
Научные статьи кафедры автоматизированных систем управления >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/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 |
Располагается в коллекциях: | Научные статьи кафедры автоматизированных систем управления
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|