Генетический подход проверки эквивалентности последовательностных схем
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Генетический подход проверки эквивалентности последовательностных схем
|
|
| Creator |
Иванов, Дмитрий Евгениевич
|
|
| Subject |
цифровая схема
верификация эквивалентности генетический алгоритм эволюционные вычисления |
|
| Description |
При проектировании современных цифровых схем перед разработчиком часто возникает задача верификации эквивалентности двух схем, что связано с применением различных оптимизационных процедур. В данной статье предлагается алгоритм решения данной задачи, основанный на генетическом программировании. Приведены результаты экспериментов на схемах 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. |
|
| Date |
2011-10-12T06:47:37Z
2011-10-12T06:47:37Z 2009 |
|
| Type |
Article
|
|
| Identifier |
Д.Е. Иванов Генетический подход проверки эквивалентности последовательностных схем // «Радіоелектроніка. Інформатика. Управління».- Запоріжжя, ЗНТУ.- 2009.- №1(20).- С.118-123.
http://ea.donntu.edu.ua/handle/123456789/1444 |
|
| Publisher |
«Радіоелектроніка. Інформатика. Управління»
|
|