| Применение SAT подхода к трассировке блоков коммутации для реконфигурируемых систем на кристалле |
|
 |
|
|
| Авторы |
| | Жуков Д.В. |
| | Железников Д.А. |
| | Заплетина М.А. |
| Год публикации |
| | 2020 |
| DOI |
| | 10.31114/2078-7707-2020-1-26-32 |
| УДК |
| | 621.3.049.771.14:621.3.062 |
|
| Аннотация |
| | В статье предлагается метод трассировки коммутационных блоков реконфигурируемых систем на кристалле островного типа на основе SAT подхода. Целью процедуры трассировки является достижение полной разводимости списка межсоединений при стремлении к их минимальной длине и величине задержки. При SAT подходе для каждого блока коммутации создаются два списка ограничений. Базовые ограничения формируются, исходя из схемотехнической конфигурации коммутационного блока. Конфликтные ограничения задаются по мере итерационной трассировки списка цепей, назначенных на блок коммутации по завершению глобального этапа трассировки. Впоследствии ограничения обоих видов транслируются в булеву систему уравнений, передаваемую в SAT решатель. Задача детальной трассировки была решена для коммутационных блоков двух типов связности. На основании вычислительных экспериментов показано, что предложенный алгоритм, реализованный на языке программирования C, отвечает требованиям полноты трассируемости и способствует минимизации времени, затрачиваемого на процедуру трассировки. |
| Ключевые слова |
| | реконфигурируемая система на кристалле, островная архитектура, смешанный граф трассировки, детальная трассировка, SAT |
| Ссылка на статью |
| | Жуков Д.В., Железников Д.А., Заплетина М.А. Применение SAT подхода к трассировке блоков коммутации для реконфигурируемых систем на кристалле // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2020. Выпуск 1. С. 26-32. doi:10.31114/2078-7707-2020-1-26-32 |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2020/pdf/D041.pdf |
