| Параллельный алгоритм поиска критических путей и циклов в задаче статического временного анализа цифровых схем с последовательностной логикой |
|
 |
|
|
| Авторы |
| | Князев Н.А. |
| | Малинаускас К.К. |
| Год публикации |
| | 2012 |
| УДК |
| | 004.942 |
|
| Аннотация |
| | Поиск критических путей является одним из ключевых этапов статического временного анализа и временной верификации цифровых схем. Для содержащих несколько миллионов транзисторов СБИС время работы алгоритмов временного анализа может достигать нескольких суток, что существенно осложняет разработку схем. В данной работе предлагается параллельный алгоритм, позволяющий, с использованием многоядерных ЭВМ, на порядок ускорить поиск критических путей в СБИС. При этом поддерживается анализ последовательностной логики и обнаружение критических циклов, что расширяет предложенный ранее авторами параллельный алгоритм для комбинационных схем. Используемая асинхронная параллелизация позволяет сбалансировать нагрузку на вычислительные ресурсы. Нам удалось достичь ускорения до 8.9 раз на 16 ядрах относительно последовательной реализации. |
| Ключевые слова |
| | параллельные алгоритмы, поиск критических путей в графе, статический временной анализ |
| Ссылка на статью |
| | Князев Н.А., Малинаускас К.К. Параллельный алгоритм поиска критических путей и циклов в задаче статического временного анализа цифровых схем с последовательностной логикой // Проблемы разработки перспективных микро- и наноэлектронных систем - 2012. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2012. С. 43-48. |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2012/pdf/D147.pdf |
