Пошук академічних текстів

Інформація × Реєстраційний номер 2108U002272, Матеріали видань та локальних репозитаріїв Категорія Опубліковано, Стаття Назва роботи ГЕНЕТИЧНИЙ ПІДХІД ПЕРЕВІРКИ ЕКВІВАЛЕНТНОСТІ ПОСЛІДОВНИХ СХЕМ Автор Іванов Д. Є.Ivanov D. Ye. Дата публікації 12-09-2008 Постачальник інформації Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") Першоджерело https://ric.zp.edu.ua/article/view/23613 Видання National University "Zaporizhzhia Polytechnic" Опис Під час проектування сучасних цифрових пристроїв перед розробником часто виникає проблема верифікації еквівалентності двох схем. Це пов'язано, перед усім, із використанням різноманітних оптимізуючих процедур. В даній статті запропоновано алгоритм рішення такої задачі, заснований на генетичному програмуванні. Наведені експериментальні результати на схемах ISCAS-89, що доводять ефективність запропонованого підходу. Додано в НРАТ 2026-02-15 Закрити