| Номер документа в системі: | 160687 |
| Автор: | Иванов Д.Е. |
| Назва документа: | Генетический подход проверки эквивалентности последовательностных схем |
| Мова документу | Російська |
| Аннотація | При проектировании современных цифровых схем перед разработчиком часто возникает задача верификации эквивалентности двух схем, что связано с применением различных оптимизационных процедур. В данной статье предлагается алгоритм решения данной задачи, основанный на генетическом программировании. Приведены результаты экспериментов на схемах ISCAS-89, показывающие эффективность предложенного подхода. |
| Кількість сторінок | С. 118-123. |