Search academic texts

Information × Registration Number 2108U002272, Article popup.category Опубліковано, Стаття Title GENETIC APPROACH TO THE VERIFYING OF THE SEQUENTIAL CIRCUITS popup.author Іванов Д. Є.Ivanov D. Ye. popup.publication 12-09-2008 popup.source_user Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") popup.source https://ric.zp.edu.ua/article/view/23613 popup.publisher National University "Zaporizhzhia Polytechnic" Description Під час проектування сучасних цифрових пристроїв перед розробником часто виникає проблема верифікації еквівалентності двох схем. Це пов'язано, перед усім, із використанням різноманітних оптимізуючих процедур. В даній статті запропоновано алгоритм рішення такої задачі, заснований на генетичному програмуванні. Наведені експериментальні результати на схемах ISCAS-89, що доводять ефективність запропонованого підходу. popup.nrat_date 2026-02-15 Close