Верификация эквивалентности цифровых схем с использованием стратегии симуляции отжига
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Верификация эквивалентности цифровых схем с использованием стратегии симуляции отжига
|
|
| Creator |
Иванов, Дмитрий Евгениевич
|
|
| Subject |
цифровая схема
верификация эквивалентности алгоритм симуляции отжига эволюционные вычисления |
|
| Description |
В статье предложен новый алгоритм верификации эквивалентности цифровых последова-тельностных схем. Он основан на эволюционной стратегии симуляции отжига, которая исполь-зует итеративное улучшение свойств одной входной последовательности. Для оценки качества строящихся решений используется исправное моделирование цифровых схем. Эффективность предлагаемого алгоритма показана путём апробации на схемах из каталога 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. |
|
| Date |
2011-10-11T14:10:07Z
2011-10-11T14:10:07Z 2009 |
|
| Type |
Article
|
|
| Identifier |
Иванов Д.Е., Зуауи Р. Верификация эквивалентности цифровых схем с использованием стратегии симуляции отжига // «Науковий вісник Чернівецького університету». Випуск №479. Комп’ютерні системи та компоненті», 2009.- С.33-41
http://ea.donntu.edu.ua/handle/123456789/1432 |
|
| Publisher |
«Науковий вісник Чернівецького університету»
|
|