Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/1432
Название: Верификация эквивалентности цифровых схем с использованием стратегии симуляции отжига
Авторы: Иванов, Дмитрий Евгениевич
Ключевые слова: цифровая схема
верификация эквивалентности
алгоритм симуляции отжига
эволюционные вычисления
Дата публикации: 2009
Издательство: «Науковий вісник Чернівецького університету»
Библиографическое описание: Иванов Д.Е., Зуауи Р. Верификация эквивалентности цифровых схем с использованием стратегии симуляции отжига // «Науковий вісник Чернівецького університету». Випуск №479. Комп’ютерні системи та компоненті», 2009.- С.33-41
Краткий осмотр (реферат): В статье предложен новый алгоритм верификации эквивалентности цифровых последова-тельностных схем. Он основан на эволюционной стратегии симуляции отжига, которая исполь-зует итеративное улучшение свойств одной входной последовательности. Для оценки качества строящихся решений используется исправное моделирование цифровых схем. Эффективность предлагаемого алгоритма показана путём апробации на схемах из каталога ISCAS-89. In this paper new algorithm for the verification of the equivalence of the sequential digital circuits is proposed. It is based on the new evolutionary strategy of the simulating annealing. This approach uses an iterative improvement of the properties of the one input sequence. Fault-free simulation of the digital circuits is used for the estimating the quality of the potential solutions. The effectiveness of the proposed algorithm is shown by its approbation on the ISCAS-89 benchmarks.
URI (Унифицированный идентификатор ресурса): http://ea.donntu.edu.ua/handle/123456789/1432
Располагается в коллекциях:Наукові статті кафедри автоматизованих систем управління

Файлы этого ресурса:
Файл Описание РазмерФормат 
06_Ivanov_Zououi_SA_equivalence_verification.pdf368,62 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.