Abstract

Abstract

Описываются проблемы, связанные с автоматизированным синтезом строго самосинхронных схем с памятью. Проводится абстрактный синтез строгосамосинхронного микропрограммного устройства управления. Рассматриваются особенности самосинхронных цифровых автоматов с памятью с точки зрения разработки программы синтеза в унифицированном базисе. Изучается возможность использования разработанных методик синтеза в функционально-полном толерантном базисе для автоматизации синтеза строгосамосинхронных схем. Определяется место синхронизации как этапа синтеза устройства управления. Предлагается алгоритм автоматической синхронизации для строгосамосинхронных схем, проектируемых с применением САПР. Формулируются и актуализируются задачи для дальнейшего исследования возможности применения концепции функционально-полных толерантных элементов при проектировании строгосамосинхронных комбинационных схем и цифровых автоматов с памятью.

Full Text

В работах Д.Е. Маллера были предложены схемы, поведение которых не зависит от скорости элементов [1]. Эти идеи впоследствии были развиты в работах профессора В.И. Варшавского, который впервые предложил использовать расщепление переходного процесса на две фазы с целью фиксации окончания переходного процесса в каждой фазе [2]. В статьях [3, 4] описывается современное состояние самосинхронных методов проектирования. Самосинхронные схемы функционируют независимо от задержек элементов, также они потребляют меньше электроэнергии и обладают высоким быстродействием. Индикаторы строгосамосинхронных схем фиксируют все однократные константные отказы выходов, это свойство может быть использовано при построении отказоустойчивых цифровых устройств и аппаратуры управления. Ранее нами был предложен строгосамосинхронный функционально-полный толерантный базис [5]. Самосинхронный ФПТ-базис, обладая преимуществами строгосамосинхронных схем, позволяет снизить избыточность, вносимую блоками спейсера и индикации. Также становится возможным решить задачу автоматизированного синтеза за счет применения унифицированного базиса. Одной из проблем применения самосинхронных методик является отсутствие средств автоматизации, позволяющих проводить полный цикл проектирования. Все строгосамосинхронные схемы сейчас проектируются вручную с применением программ для синхронных схем вместе со специально разработанными программами анализа на принадлежности спроектированных схем к классу полумодулярных по Маллеру. В статье будут рассмотрены особенности синтеза строгосамосинхронных схем с памятью, а также исследованы возможности применения СС ФПТ-базиса для решения поставленных задач. Абстрактный синтез микропрограммного устройства управления При синтезе синхронного микропрограммного устройства управления (МПУУ) синхронизация не выделяется как этап, а реализуется стандартным способом. Если речь идет о самосинхронном МПУУ, необходимо учитывать сигналы спейсера и индикаторов еще на этапе синтеза. Самосинхронная схема может находиться в трех состояниях: спейсер (null) и два информационных состояния (Data1,Data0). Тогда переход между вершинами графа должен происходить только в состояниях DATA, когда на выходе комбинационных схем находятся данные. Для построения графа управляющего автомата необходимо дополнить все переходы парой спейсер-индикатор, передающейся по отдельному каналу. В состоянии NULL автомат хранит текущее состояние, и никакие микрооперации не выдаются. В состоянии DATA, в зависимости от условий, происходит переход между вершинами графа (рис. 1) и таблица. Рис. Граф управляющего автомата Обобщенная таблица переходов-выходов СС МПУУ SI 01--11--11----0000 1000~~11~~01101000 010111101101100000 1001~~10~~11000100 011111001111000000 10110~001~00110000 101110000101100000 101111000010010010 011011011101100000 1010~~01~~00110001 Таким образом, для корректного синтеза самосинхронного МПУУ необходимо: 1) учитывать пару сигналов спейсер-индикатор, как одно из условий перехода; 2) использовать специальные самосинхронные триггеры, для индикации окончания переходного процесса, либо использовать методы квази-самосинхронных схем (буфер); 3) использовать регистр триггеров для учета сигнала индикатора при формировании команд. Алгоритм синхронизации комбинационных схем в составе устройства управления В общем случае можно свести задачу синтеза микропрограммного устройства управления к следующей последовательности шагов, после задания графа управляющего автомата: - получаем обобщенную таблицу переходов выходов; - добавляем заданное число триггеров; - добавляем заданное число выходов; - для каждого входа триггера и выхода получаем переключательную функцию в СДНФ; - осуществляем синтез комбинационных схем по СДНФ; - проверяем полученное устройство. Рис. 2. Самосинхронное микропрограммное устройство управления Алгоритм синхронизации представляет собой последовательность шагов по разделению схемы на отдельные блоки, а затем синхронизацию их парой сигналов запрос-ответ. Алгоритм выполняется на этапе синтеза комбинационных схем. Предлагается следующий алгоритм: – все элементы разделяются на линии, в пределах одной линии входы-выходы элементов должны быть независимы, первую линию составляют элементы с внешним/замкнутым источником управляющего сигнала; – выходы всех индикаторов в пределах одной линии объединяются Г-триггером; – если вход элемента зависит от сигнала предыдущего элемента, на вход «S» подключается выход Г-триггера соответствующей линии. Поясним алгоритм на примере части проектируемого микропрограммного устройства управления (рис. 2). Состав устройства на рис. 2: 2 СС ФПТ-элемента, 3 D-триггера, 1 Г-триггер, контакты входов-выходов, 6 инвертеров. В соответствии с предложенным алгоритмом разобьем элементы на линии. К первой линии относится СС ФПТ-элемент управляющим переключением D-триггеров Y2,Y1. Линия содержит только 1 элемент, поэтому Г-триггеры не используются. Вторая линия содержит элементы, состояние которых зависит от элементов первой линии. Сюда относятся 2 D-триггера Y2Y1, выходы индикаторов, которые объединяются Г-триггером. Третья линия содержит элементы, состояние которых зависит от элементов второй линии. В нашем примере это второй СС ФПТ-элемент. На вход S элементов третьей линии подключается выход Г-триггера. Последний D-триггер просто фиксирует данные схемы на выходе Z1, его вход разрешения подключается к выходу индикатора 3-й линии. Для иллюстрации была использована модель СС МПУУ из САПР Quartus2. САПР предназначен для проектов синхронных ПЛИС и не подходит для моделирования СС схем, однако обладает удобной системой визуализации и возможностью проверить правильность функционирования, что и было использовано в ходе работы над СС МПУУ. Для программы автоматизированного синтеза в СС ФПТ-базисе необходимо: создать описание СС ФПТ-базиса, создать описание самосинхронных триггеров, адаптировать программу синтеза комбинационных схем в ФПТ-базисе для самосинхронного метода. Создать подпрограмму проверки на полумодулярность полученных схем. На данный момент созданы: полное описание СС ФПТ-базиса, полные описания самосинхронных триггеров [6], методика синтеза в ФПТ-базисе комбинационных схем, алгоритм синхронизации. Целесообразно в дальнейших исследованиях создание программы анализа полумодулярности синтезируемой схемы по VHDL описанию, так как существующие на данный момент программы анализа самосинхронности создаваемых схем не могут работать в составе САПР, а также устарели и не работают на современных ОС [7]. Таким образом, был проведен абстрактный синтез строгосамосинхронного микропрограммного устройства управления. Выделены основные отличия проектирования строгосамосинхронных цифровых устройств, определено место синхронизации как этапа синтеза. Предложен алгоритм синхронизации. Работа алгоритма проверена на примере синтеза МПУУ в строгосамосинхронном функционально-полном толерантном базисе. Актуальными задачами для дальнейших исследований являются: - оптимизация базисного элемента (СС ФПТ); - исследование отказоустойчивости СС ФПТ-базиса, свойства сохранения функциональной полноты при однократных константных отказах входов; - оценка эффективности применения унифицированного базиса в самосинхронной аппаратуре; - создание методик автоматизированного синтеза самосинхронных устройств; - создание программы анализа полумодулярности по VHDL описанию; - создание САПР самосинхронных схем.