АППАРАТНОЕ УСКОРЕНИЕ РЕШЕНИЯ ЗАДАЧ ВЫПОЛНИМОСТИ ДЛЯ ПОСТРОЕНИЯ ТЕСТОВ ЦИФРОВЫХ СХЕМ

Скатков, А.В., д-р техн. наук, проф., Севастопольский национальный технический университет; Борисевич, А.В., аспирант, Севастопольский национальный технический университет

Главная
→
Вестник СевГТУ. Информатика, электроника, связь
→
2008 (Выпуск 93)
→
Просмотр элемента

АППАРАТНОЕ УСКОРЕНИЕ РЕШЕНИЯ ЗАДАЧ ВЫПОЛНИМОСТИ ДЛЯ ПОСТРОЕНИЯ ТЕСТОВ ЦИФРОВЫХ СХЕМ

Скатков, А.В., д-р техн. наук, проф., Севастопольский национальный технический университет; Борисевич, А.В., аспирант, Севастопольский национальный технический университет

URI: http://hdl.handle.net/123456789/110

Дата: 2008

Аннотации:

Предложена структура аппаратного средства, реализующего алгоритм стохастического локального поиска WalkSAT для решения задач выполнимости, отличающаяся эффективным использованием трассировочных и логических ресурсов больших программируемых интегральных схем.