ГЕНЕТИЧЕСКИЙ ПОДХОД ПРОВЕРКИ ЭКВИВАЛЕНТНОСТИ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ
Анотація
При проектировании современных цифровых схем перед разработчиком часто возникает задача верификации эквивалентности двух схем, что связано с применением различных оптимизационных процедур. В данной статье предлагается алгоритм решения данной задачи, основанный на генетическом программировании. Приведены результаты экспериментов на схемах ISCAS-89, показывающие эффективность предложенного подхода
Повний текст:
PDF
Адреса редакції журналу:
Редакція журналу «РІУ», Запорізький національний технічний університет,
вул. Жуковського, 64, м. Запоріжжя, 69063, Україна.
Телефон: 0 (61) 769-82-96 – редакційно-видавничий відділ
E-mail: rvv@zntu.edu.ua
При повному або частковому використаннi матерiалiв посилання на журнал є обов’язковим.