|
eaDonNTU, Donetsk >
Факультет компьютерных наук и технологий (до 2021) >
Кафедра автоматизированных систем управления >
Научные статьи кафедры автоматизированных систем управления >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/handle/123456789/1432
|
| Название: | Верификация эквивалентности цифровых схем с использованием стратегии симуляции отжига |
| Авторы: | Иванов, Д.Е.
Зуауи, Р. |
| Ключевые слова: | цифровая схема
верификация эквивалентности
алгоритм симуляции отжига
эволюционные вычисления |
| Дата публикации: | 2009 |
| Издатель: | Науковий вісник Чернівецького університету |
| Библиографическое описание: | Иванов Д.Е. Верификация эквивалентности цифровых схем с использованием стратегии симуляции отжига/ Д.Е. Иванов, Р. Зуауи// Комп’ютерні системи та компоненті: Науковий вісник Чернівецького університету.- 2009.- Вип.- №479.- С.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 |
| Другие идентификаторы: | УДК 681.518 |
| Располагается в коллекциях: | Научные статьи кафедры автоматизированных систем управления
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
