Мажоритарная логическая схема

Таким образом, если маркер приходит на каждую входную дугу слабого предшествования к узлу (если ни одна из этих дуг изначально не отмечена маркерами или открытыми циклами), он будет запускаться только однажды, и может делать это, как только прибудет первый маркер. Нарушение гипотезы Маллера приводит к нарушению причинной обусловленности поведения, являющейся логической основой самосинхронизации. Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC) 1998, pp. 194-204. Отчёты и книги[править | править вики-текст] D. E. Muller, Theory of asynchronous circuits. При такой реализации все чистые инверторы в каждом канале заменяются перекрестными связями, так как каждому выходу элемента некоторого яруса соответствует выход элемента в том же ярусе инверсного канала.

Самый простой класс STG — STG/MG соответствует классу маркированных графов сетей Петри. Базис из элементов: И, ИЛИ, НЕ называется основным. При этом широко используют следующие приёмы: прибавление одного или нескольких членов, входящих в СДНФ, поскольку X ∨ X ∨ X = X; выделение членов, содержащих множитель ; использование правила склеивания и др.
Асинхронные последовательностные схемы, Наука, 1977, 400с. А. Фридман и П. Менон, Логические элементы с неограниченными задержками, § 4.9 в кн. Наконец, STG имеет одноцикловые переходы, если каждое имя сигнала в STG появляется в точно одном растущем и одном падающем переходе. Получающаяся в результате минимизации алгебраическая формула называется тупиковой. Conference (COMPCON) 1972, pp. 223—226. ↑ M. T. Moreira, J. J. H. Pontes, N. L. V. Calazans, «Tradeoffs between RTO and RTZ in WCHB QDI asynchronous design, » IEEE Int. Результатом этого будет остановка работы или наоборот, генерация пачки импульсов. Symposium on Asynchronous Circuits and Systems (ASYNC) 2010, pp. 3-14. S. Chaudhuri, W. Zhao, J.-O. Klein, C. Chappert, P. Mazoyer, «High density asynchronous LUT based on non-volatile MRAM technology, » IEEE Int.

Похожие записи:

Comments are closed, but trackbacks and pingbacks are open.