| Трассировка битовых элементов памяти с автоматическим построением ограничений на границах ячеек |
|
 |
|
|
| Авторы |
| | Рыженко Н.В. |
| | Быков С.А. |
| | Сорокин А.А. |
| Год публикации |
| | 2016 |
| УДК |
| | 519.688 |
|
| Аннотация |
| | В массивах памяти ячейки упакованы в плотные структуры, каждая ячейка имеет своим соседом ячейку такого же типа. В данной работе представлен алгоритм трассировки битовых ячеек памяти, который трассирует одновременно нескольких идентичных ячеек, составляющих блок. Границы между ячейками в данном блоке моделируют все возможные варианты границ в массиве памяти произвольного размера. Электрические цепи ячеек трассируются независимо, но накладывается ограничение: топологии всех ячеек должны быть идентичны друг другу. Данный подход позволяет одновременно построить трассировку битовой ячейки и удовлетворить требованиям на топологию на её границах. Ключевыми компонентами алгоритма являются: представление топологических правил с помощью булевых выражений и использование задачи булевой выполнимости для поиска решения с заданными ограничениями. Экспериментальные результаты показали применимость предложенного подхода для синтеза промышленных ячеек памяти. |
| Ключевые слова |
| | ячейка памяти, трассировка, булева выполнимость. |
| Ссылка на статью |
| | Рыженко Н.В., Быков С.А., Сорокин А.А. Трассировка битовых элементов памяти с автоматическим построением ограничений на границах ячеек // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. № 1. С. 144-150. |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2016/pdf/D103.pdf |
