Please use this identifier to cite or link to this item: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/1432
Title: Верификация эквивалентности цифровых схем с использованием стратегии симуляции отжига
Authors: Иванов, Дмитрий Евгениевич
Keywords: цифровая схема
верификация эквивалентности
алгоритм симуляции отжига
эволюционные вычисления
Issue Date: 2009
Publisher: «Науковий вісник Чернівецького університету»
Citation: Иванов Д.Е., Зуауи Р. Верификация эквивалентности цифровых схем с использованием стратегии симуляции отжига // «Науковий вісник Чернівецького університету». Випуск №479. Комп’ютерні системи та компоненті», 2009.- С.33-41
Abstract: В статье предложен новый алгоритм верификации эквивалентности цифровых последова-тельностных схем. Он основан на эволюционной стратегии симуляции отжига, которая исполь-зует итеративное улучшение свойств одной входной последовательности. Для оценки качества строящихся решений используется исправное моделирование цифровых схем. Эффективность предлагаемого алгоритма показана путём апробации на схемах из каталога 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
Appears in Collections:Наукові статті кафедри автоматизованих систем управління

Files in This Item:
File Description SizeFormat 
06_Ivanov_Zououi_SA_equivalence_verification.pdf368,62 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.