✖


Jump to content

Асинхронная схема

(Перенаправлено из логики соглашения о сне )
«Последовательный» перенаправляется сюда. Для перечисляемых последовательностей см. sequential . Об условном утверждении см. sequent . Соответствующий тип формальной логической аргументации см. в секвенциальном исчислении .
Дополнительную информацию см. в разделе Асинхронная система .

Асинхронная схема ( бестактовая или самосинхронная схема ) [1] : Лекция 12 [примечание 1] [2] : 157–186  представляет собой последовательную цифровую логическую схему , которая не использует глобальную тактовую схему или генератор сигналов для синхронизации своих компонентов. [1] [3] : 3–5  Вместо этого компоненты управляются схемой квитирования связи, которая указывает на завершение набора инструкций. Рукопожатие работает по простым протоколам передачи данных . [3] : 115  Многие синхронные схемы были разработаны в начале 1950-х годов как часть более крупных асинхронных систем (например, ORDVAC ). Асинхронные схемы и их теория являются частью нескольких этапов проектирования интегральных схем , области цифровой электроники .

Асинхронные схемы отличаются от синхронных схем , в которых изменения значений сигналов в схеме запускаются повторяющимися импульсами, называемыми тактовыми сигналами . Большинство цифровых устройств сегодня используют синхронные схемы. Однако асинхронные схемы потенциально могут быть намного быстрее, иметь меньший уровень энергопотребления, электромагнитных помех и лучшую модульность в больших системах. Асинхронные схемы являются активной областью исследований в области проектирования цифровой логики . [4] [5]

Лишь в 1990-е годы жизнеспособность асинхронных схем была продемонстрирована на реальных коммерческих продуктах. [3] : 4 

Обзор

[ редактировать ]

Все цифровые логические схемы можно разделить на комбинационную логику , в которой выходные сигналы зависят только от текущих входных сигналов, и последовательную логику , в которой выход зависит как от текущего входа, так и от прошлых входов. Другими словами, последовательная логика — это комбинационная логика с памятью . Практически все практические цифровые устройства требуют последовательной логики. Последовательную логику можно разделить на два типа: синхронную логику и асинхронную логику.

Синхронные схемы

[ редактировать ]

В синхронных логических схемах электронный генератор генерирует повторяющуюся серию равноотстоящих друг от друга импульсов, называемую тактовым сигналом . Тактовый сигнал подается на все компоненты ИС. Триггеры переворачиваются только при срабатывании фронта тактового импульса, поэтому изменения логических сигналов во всей схеме начинаются одновременно и через равные промежутки времени. Выходные данные всех элементов памяти в схеме называются состоянием схемы. Состояние синхронной схемы меняется только по тактовому импульсу. Изменения сигнала требуют определенного времени для распространения через комбинационные логические элементы схемы. Это время называется задержкой распространения .

По состоянию на 2021 год определение времени создания современных синхронных ИС потребует значительных инженерных усилий и использования сложных инструментов автоматизации проектирования . [6] Конструкторам приходится следить за тем, чтобы прибытие часов не было неисправным. Учитывая постоянно растущий размер и сложность микросхем (например, ASIC ), это становится сложной задачей. [6] В огромных цепях сигналы, передаваемые по тактовой распределительной сети, часто оказываются в разное время в разных частях. [6] Эта проблема широко известна как « перекос часов ». [6] [7] : xiv

Максимально возможная тактовая частота ограничена логическим путем с наибольшей задержкой распространения, называемым критическим путем. Из-за этого пути, которые могут работать быстро, большую часть времени простаивают. Широко распределенная тактовая сеть рассеивает много полезной энергии и должна работать независимо от того, получает ли схема входные данные или нет. [6] Из-за такого уровня сложности тестирование и отладка синхронных схем занимает более половины времени разработки во всех измерениях. [6]

Асинхронные схемы

[ редактировать ]

Асинхронным схемам не нужны глобальные часы, и состояние схемы меняется, как только изменяются входные сигналы. Локальные функциональные блоки по-прежнему могут использоваться, но с проблемой перекоса тактовой частоты все еще можно мириться. [7] : xiv [3] : 4 

Поскольку асинхронным схемам не нужно ждать тактового импульса, чтобы начать обработку входных данных, они могут работать быстрее. Их скорость теоретически ограничена только задержками распространения логических элементов и других элементов. [7] : xiv

Однако асинхронные схемы сложнее проектировать, и они подвержены проблемам, которых нет в синхронных схемах. Это связано с тем, что результирующее состояние асинхронной схемы может быть чувствительным к относительному времени поступления входных сигналов на вентили. Если переходы на два входа поступают почти одновременно, схема может перейти в неправильное состояние в зависимости от небольших различий в задержках распространения вентилей.

Это называется состоянием гонки . В синхронных схемах эта проблема менее серьезна, поскольку условия гонки могут возникать только из-за входных данных извне синхронной системы, называемых асинхронными входными данными .

Хотя были созданы некоторые полностью асинхронные цифровые системы (см. ниже), сегодня асинхронные схемы обычно используются в некоторых критических частях синхронных систем, где скорость имеет большое значение, например, в схемах обработки сигналов.

Теоретическая основа

[ редактировать ]

Оригинальная теория асинхронных цепей была создана Дэвидом Э. Мюллером в середине 1950-х годов. [8] Эта теория была представлена ​​позже в известной книге Рэймонда Миллера «Теория переключения». [9]

Термин «асинхронная логика» используется для описания различных стилей проектирования, в которых используются различные предположения о свойствах схемы. [10] Они варьируются от объединенной модели задержки , в которой используются «обычные» элементы обработки данных с завершением, указываемым локально сгенерированной моделью задержки, до нечувствительной к задержке конструкции, в которой могут быть учтены произвольные задержки через элементы схемы. Последний стиль имеет тенденцию создавать схемы, которые больше, чем реализации связанных данных, но которые нечувствительны к компоновке и параметрическим изменениям и, таким образом, являются «правильными по замыслу».

Асинхронная логика

[ редактировать ]

Асинхронная логика — это логика , необходимая для проектирования асинхронных цифровых систем. Они функционируют без тактового сигнала , поэтому нельзя полагаться на то, что отдельные логические элементы будут иметь дискретное состояние «истина/ложь» в любой момент времени. Булева (двузначная) логика для этого не подходит, поэтому требуются расширения.

С 1984 года Вадим О. Васюкевич разработал подход, основанный на новых логических операциях, которые он назвал венъюнкцией (с асинхронным оператором « x ∠ y », обозначающим «переключение x на фоне y » или «если x , когда y , то») и секвенцией ( со знаками приоритета « x i ≻ x j » и « x i ≺ x j »). При этом учитывается не только текущее значение элемента, но и его история . [11] [12] [13] [14] [15]

Карл М. Фант разработал другую теоретическую трактовку асинхронной логики в своей работе «Логически детерминированный дизайн» в 2005 году, в которой использовалась четырехзначная логика с нулевым и промежуточным значениями в качестве дополнительных значений. Эта архитектура важна, поскольку она квазинечувствительна к задержкам . [16] [17] Скотт С. Смит и Цзя Ди разработали вариант логики Null Convention Logic со сверхнизким энергопотреблением, включающий многопороговую CMOS . [18] Этот вариант называется многопороговой логикой нулевого соглашения (MTNCL) или, альтернативно, логикой соглашения о сне (SCL). [19]

Сети Петри

[ редактировать ]

Сети Петри — привлекательная и мощная модель для рассуждений об асинхронных схемах (см. Последующие модели параллелизма ). Особенно полезный тип интерпретируемых сетей Петри, называемый графами перехода сигналов (STG), был независимо предложен в 1985 году Леонидом Розенблюмом и Алексом Яковлевым. [20] и Там-Ань Чу. [21] С тех пор СТГ широко изучались в теории и на практике. [22] [23] что привело к разработке популярных программных средств для анализа и синтеза асинхронных схем управления, таких как Petrify [24] и ремесло. [25]

После сетей Петри были разработаны другие модели параллелизма, которые могут моделировать асинхронные схемы, включая модель актера и вычисления процессов .

Преимущества

[ редактировать ]

Асинхронные схемы продемонстрировали множество преимуществ. Обе схемы квазинечувствительны к задержкам (QDI) (обычно считаются наиболее «чистой» формой асинхронной логики, сохраняющей вычислительную универсальность) [ нужна ссылка ] и менее чистые формы асинхронных схем, которые используют временные ограничения для более высокой производительности и меньшей площади и мощности, представляют несколько преимуществ.

  • Надежная и дешевая метастабильности арбитров обработка .
  • Производительность в среднем случае: среднее время (задержка) работы не ограничивается наихудшим временем завершения работы компонента (ворота, провода, блока и т. д.), как это происходит в синхронных схемах. [7] : xiv [3] : 3  Это приводит к улучшению задержки и пропускной способности. [26] : 9  [3] : 3  Примеры включают спекулятивное завершение. [27] [28] который был применен для разработки параллельных сумматоров префиксов быстрее, чем синхронные, и высокопроизводительного сумматора двойной точности с плавающей запятой. [29] который превосходит ведущие синхронные конструкции.
    • Раннее завершение : выходные данные могут быть сгенерированы заранее, когда результат обработки входных данных предсказуем или неактуален.
    • Неотъемлемая эластичность: переменное количество элементов данных может появиться во входных данных конвейера в любое время (конвейер означает каскад связанных функциональных блоков). Это способствует высокой производительности при корректной обработке переменных скоростей ввода и вывода из-за задержек несинхронизированных этапов конвейера (функциональных блоков) (однако перегрузки все еще возможны, и следует также учитывать задержку вентилей ввода-вывода). [30] : 194  ). [26]
    • Также нет необходимости в согласовании времени между функциональными блоками. Хотя учитывая разные модели задержки (прогнозирование времени задержки затвора/провода), это зависит от фактического подхода к реализации асинхронной схемы. [30] : 194 
    • Свобода от постоянно возрастающих трудностей, связанных с распространением высокочастотного и чувствительного к времени тактового сигнала.
    • Скорость цепи адаптируется к изменяющимся условиям температуры и напряжения, а не фиксируется на скорости, требуемой наихудшим предположением. [ нужна ссылка ] [ нечеткий ] [3] : 3 
  • Более низкое энергопотребление по требованию; [7] : xiv [26] : 9  [3] : 3  нулевое энергопотребление в режиме ожидания. [3] : 3  В 2005 году Epson сообщила о снижении энергопотребления на 70% по сравнению с синхронной конструкцией. [31] Также можно удалить драйверы часов, что может значительно снизить энергопотребление. Однако при использовании определенных кодировок асинхронные схемы могут потребовать большей площади, добавляя аналогичные накладные расходы по мощности, если основной процесс имеет плохие свойства утечки (например, процессы глубокого субмикрометра, используемые до введения диэлектриков с высоким κ ).
    • Нет необходимости в согласовании мощности между локальными асинхронными функциональными областями схемы. Синхронные схемы имеют тенденцию потреблять большой ток непосредственно на фронте тактовой частоты и вскоре после этого. Количество переключений узлов (и, следовательно, количество потребляемого тока) быстро падает после фронта тактового сигнала, достигая нуля непосредственно перед следующим фронтом тактового сигнала. В асинхронной схеме время переключения узлов не коррелирует таким образом, поэтому потребление тока имеет тенденцию быть более равномерным и менее пульсирующим.
  • Устойчивость к изменениям от транзистора к транзистору в процессе передачи производства (что является одной из наиболее серьезных проблем, с которыми сталкивается полупроводниковая промышленность по мере сжатия кристаллов), изменениям напряжения питания, температуры и параметров производственного процесса. [3] : 3 
  • Менее серьезные электромагнитные помехи (EMI). [3] : 3  Синхронные схемы создают большое количество электромагнитных помех в полосе частот, соответствующей (или очень близкой) их тактовой частоте и ее гармоникам; асинхронные схемы генерируют шаблоны электромагнитных помех, которые гораздо более равномерно распределены по спектру. [3] : 3 
  • Модульность конструкции (многократное использование), повышенная помехоустойчивость и электромагнитная совместимость. Асинхронные схемы более устойчивы к изменениям процесса и внешним колебаниям напряжения. [3] : 4 

Недостатки

[ редактировать ]
  • Издержки области, вызванные дополнительной логикой, реализующей квитирование связи. [3] : 4  В некоторых случаях асинхронный проект может потребовать вдвое больше ресурсов (площадь, скорость цепи, потребляемая мощность) по сравнению с синхронным проектом из-за добавления схем обнаружения завершения и проектирования для тестирования. [32] [3] : 4 
  • По сравнению с синхронным проектированием, по состоянию на 1990-е и начало 2000-х годов не так много людей обучены или имеют опыт проектирования асинхронных схем. [32]
  • Синхронные проекты по своей сути легче тестировать и отлаживать, чем асинхронные. [33] Однако эта позиция оспаривается Фантом, который утверждает, что кажущаяся простота синхронной логики является артефактом математических моделей, используемых в общих подходах к проектированию. [17]
  • Тактовый строб в более традиционных синхронных конструкциях является приближением асинхронного идеала, и в некоторых случаях его простота может перевешивать преимущества полностью асинхронной конструкции.
  • Производительность (скорость) асинхронных схем может быть снижена в архитектурах, требующих полноты ввода (более сложный путь данных). [34]
  • Отсутствие специализированных асинхронных коммерческих инструментов EDA , ориентированных на дизайн . [34] Однако по состоянию на 2006 год ситуация постепенно улучшалась. [3] : х

Коммуникация

[ редактировать ]

Существует несколько способов создания асинхронных каналов связи, которые можно классифицировать по протоколу и кодировке данных.

Протоколы

[ редактировать ]

Существует два широко используемых семейства протоколов, которые различаются способом кодирования сообщений:

  • двухфазное рукопожатие (также известное как двухфазный протокол, кодирование без возврата к нулю (NRZ) или сигнализация перехода): связь представляется любым проводным переходом; переходы от 0 к 1 и от 1 к 0 считаются коммуникациями.
  • четырехфазное рукопожатие (также известное как четырехфазный протокол или кодирование возврата к нулю (RZ): связь представлена ​​проводным переходом, за которым следует сброс; последовательность перехода от 0 к 1 и обратно к 0 считается за один сеанс связи.
Иллюстрация двух- и четырехфазного рукопожатия. Вверху: отправитель и получатель общаются с помощью простых сигналов запроса и подтверждения. Отправитель управляет линией запроса, а получатель управляет линией подтверждения. В центре: временная диаграмма двух, двухфазной связи. Внизу: Временная диаграмма одной, четырехфазной связи.

Несмотря на большее количество переходов на один сеанс связи, схемы, реализующие четырехфазные протоколы, обычно работают быстрее и проще, чем двухфазные протоколы, поскольку сигнальные линии возвращаются в исходное состояние к концу каждого сеанса связи. В двухфазных протоколах реализации схемы должны будут хранить состояние сигнальной линии внутри себя.

Обратите внимание, что эти основные различия не учитывают большое разнообразие протоколов. Эти протоколы могут кодировать только запросы и подтверждения или также кодировать данные, что приводит к популярному многопроводному кодированию данных. Было предложено множество других, менее распространенных протоколов, включая использование одного провода для запроса и подтверждения, использование нескольких значительных напряжений, использование только импульсов или времен балансировки для снятия защелок.

Кодирование данных

[ редактировать ]

В асинхронных схемах широко используются две широко используемые кодировки данных: кодирование связанных данных и многоканальное кодирование.

Другой распространенный способ кодирования данных — использование нескольких проводов для кодирования одной цифры: значение определяется проводом, на котором происходит событие. Это позволяет избежать некоторых предположений о задержке, необходимых при кодировании связанных данных, поскольку запрос и данные больше не разделены.

Кодирование связанных данных

[ редактировать ]

При кодировании связанных данных используется один провод на бит данных с запросом и сигналом подтверждения; это та же самая кодировка, которая используется в синхронных схемах без ограничения на то, что переходы происходят по фронту тактового импульса. Запрос и подтверждение отправляются по отдельным проводам с помощью одного из вышеуказанных протоколов. Эти схемы обычно предполагают модель с ограниченной задержкой, в которой сигналы завершения задерживаются на время, достаточное для проведения вычислений.

В процессе работы отправитель сигнализирует о наличии и достоверности данных с помощью запроса. Затем получатель указывает завершение с подтверждением, указывая, что он может обрабатывать новые запросы. То есть запрос связан с данными, отсюда и название «связанные данные».

Схемы связанных данных часто называют микроконвейерами, независимо от того, используют ли они двухфазный или четырехфазный протокол, даже если этот термин изначально был введен для двухфазных связанных данных.

4-фазная передача пакетных данных. Вверху: отправитель и получатель соединены линиями данных, линией запроса и линией подтверждения. Внизу: временная диаграмма пакетной передачи данных. Когда строка запроса низкая, данные считаются недействительными и могут быть изменены в любое время.

Многоканальное кодирование

[ редактировать ]

Многоканальное кодирование использует несколько проводов без однозначного соотношения между битами и проводами и отдельного сигнала подтверждения. Доступность данных указывается самими переходами по одному или нескольким каналам передачи данных (в зависимости от типа многоканального кодирования), а не сигналом запроса, как при кодировании пакетных данных. Это обеспечивает то преимущество, что передача данных нечувствительна к задержкам. Две распространенные многоканальные кодировки: одна горячая и двойная. Кодирование «один из n» (также известное как «1 из n») представляет число по основанию n с передачей данных по одному из n проводов. Кодирование с двумя шинами использует пары проводов для представления каждого бита данных, отсюда и название «двухканальное»; один провод в паре представляет битовое значение 0, а другой представляет битовое значение 1. Например, двухбитное число, закодированное с помощью двойной шины, будет представлено двумя парами проводов, всего четыре провода. Во время передачи данных связь происходит по одному из каждой пары проводов для обозначения битов данных. В общем случае m n кодировка представляет данные как m слов по основанию n.

Схема двойной железной дороги и связи 1 из 4. Вверху: отправитель и получатель соединены линиями передачи данных и линией подтверждения. В центре: временная диаграмма передачи отправителем значений 0, 1, 2, а затем 3 получателю с кодировкой 1 из 4. Внизу: временная диаграмма передачи отправителем тех же значений получателю с использованием двухканального кодирования. Для этого конкретного размера данных двухканальное кодирование аналогично кодированию 2x1 из 2.

Двухканальное кодирование

[ редактировать ]

Кодирование с двумя рельсами с помощью четырехфазного протокола является наиболее распространенным и также называется кодированием с тремя состояниями , поскольку оно имеет два допустимых состояния (10 и 01, после перехода) и состояние сброса (00). Другое распространенное кодирование, которое приводит к более простой реализации, чем одногорячее, двухфазное двухфазное кодирование, представляет собой кодирование с четырьмя состояниями или двухканальное кодирование с уровнями, и использует бит данных и бит четности для достижения двухфазного кодирования. протокол.

Асинхронный процессор

[ редактировать ]

Асинхронные процессоры — одна из нескольких идей радикального изменения конструкции процессора .

В отличие от обычного процессора, безтактовый процессор (асинхронный ЦП) не имеет центрального тактового генератора для координации прохождения данных по конвейеру. Вместо этого этапы ЦП координируются с помощью логических устройств, называемых «управлением конвейером» или «секвенсорами FIFO». По сути, контроллер конвейера синхронизирует следующий этап логики, когда существующий этап завершен. Таким образом, центральные часы не нужны. На самом деле может быть даже проще реализовать высокопроизводительные устройства с асинхронной, а не с тактовой логикой:

  • компоненты могут работать на асинхронном процессоре с разной скоростью; все основные компоненты тактируемого ЦП должны оставаться синхронизированными с центральными часами;
  • традиционный процессор не может «работать быстрее», чем ожидаемая производительность самого медленного этапа/инструкции/компонента в худшем случае. Когда асинхронный ЦП завершает операцию быстрее, чем ожидалось, следующий этап может немедленно начать обработку результатов, не дожидаясь синхронизации с центральными часами. Операция может завершиться быстрее, чем обычно, из-за атрибутов обрабатываемых данных (например, умножение может быть очень быстрым при умножении на 0 или 1, даже при выполнении кода, созданного простым компилятором) или из-за наличия более высокого напряжения. или установленная скорость шины, или температура окружающей среды ниже «нормальной» или ожидаемой.

Сторонники асинхронной логики полагают, что эти возможности будут иметь следующие преимущества:

  • более низкая рассеиваемая мощность для данного уровня производительности и
  • максимально возможная скорость выполнения.

Самым большим недостатком безтактового ЦП является то, что большинство инструментов проектирования ЦП предполагают наличие тактового ЦП (т. е. синхронной схемы ). Многие инструменты «обеспечивают соблюдение методов синхронного проектирования». [35] Создание процессора без тактовой частоты (разработка асинхронной схемы) включает в себя модификацию инструментов проектирования для работы с безтактовой логикой и проведение дополнительных испытаний, чтобы гарантировать, что конструкция избегает метастабильных проблем. группа, разработавшая АМУЛЕТ , разработала инструмент под названием LARD. Например, [36] справиться со сложной конструкцией AMULET3.

Примеры

[ редактировать ]

Несмотря на все трудности, было построено множество асинхронных процессоров.

ORDVAC . 1951 года был преемником ENIAC и первым когда-либо созданным асинхронным компьютером [37] [38]

ILLIAC II был первым когда-либо созданным полностью асинхронным, независимым от скорости процессором; это был самый мощный компьютер того времени. [37]

Модули передачи регистров DEC PDP-16 (около 1973 г.) позволяли экспериментаторам создавать асинхронные 16-битные обрабатывающие элементы. Задержки для каждого модуля были фиксированными и основаны на времени наихудшего случая.

Калтех

[ редактировать ]

С середины 1980-х годов Калифорнийский технологический институт разработал четыре некоммерческих процессора, пытаясь оценить производительность и энергоэффективность асинхронных схем. [39] [40]

Асинхронный микропроцессор Калифорнийского технологического института (CAM)

В 1988 году асинхронный микропроцессор Калифорнийского технологического института (CAM) стал первым асинхронным микропроцессором, квазинечувствительным к задержке (QDI), созданным Калифорнийским технологическим институтом. [39] [41] Процессор имел 16-битный RISC ISA и отдельную память для инструкций и данных . [39] Он был разработан MOSIS и профинансирован DARPA . Проект курировался Управлением военно-морских исследований , Управлением исследований армии и Управлением научных исследований ВВС . [39] : 12 

Во время демонстраций исследователи загрузили простую программу, которая работала в тесном цикле, подавая импульс на одну из выходных строк после каждой инструкции. Эта выходная линия была подключена к осциллографу. Когда на чип помещалась чашка горячего кофе, частота импульсов (эффективная «тактовая частота») естественным образом замедлялась, чтобы адаптироваться к ухудшению производительности нагретых транзисторов. Когда жидким азотом чип залили , скорость выполнения команд резко возросла без какого-либо дополнительного вмешательства. Кроме того, при более низких температурах напряжение, подаваемое на чип, можно было безопасно увеличить, что также улучшило скорость выполнения инструкций — опять же, без дополнительной настройки. [ нужна ссылка ]

При реализации в арсениде галлия ( HGaAs
3 ) заявлено, что он достиг 100MIPS. [39] : 5  В целом, в исследовательской работе результирующая производительность CAM оценивается как превосходящая коммерческие альтернативы, доступные в то время. [39] : 5 

МиниМИПС

MiniMIPS, экспериментальный асинхронный микроконтроллер на базе MIPS I. В 1998 году был создан Несмотря на то, что прогнозируемая SPICE производительность составляла около 280 MIPS при напряжении 3,3 В, реализация имела несколько ошибок в компоновке (человеческая ошибка), и результаты оказались ниже примерно на 40% (см. Таблицу). [39] : 5 

Лютоний 8051

Созданный в 2003 году, это был квазинечувствительный к задержке асинхронный микроконтроллер, предназначенный для повышения энергоэффективности. [40] [39] : 9  Реализация микроконтроллера следовала Гарвардской архитектуре . [40]

Сравнение производительности процессоров Калифорнийского технологического института (в MIPS ). [примечание 2]
Имя Год Размер слова (биты) Транзисторы (тыс.) Размер (мм) Размер узла (мкм) 1,5 В 2В 3,3 В 5В 10 В
CAM- СКМОП 1988 16 20 Н/Д 1.6 Н/Д 5 Н/Д 18 26
МиниМИПС КМОП 1998 32 2000 8×14 0.6 60 100 180 Н/Д Н/Д
Лутон 8051 КМОП 2003 8 Н/Д Н/Д 0.18 200 Н/Д Н/Д Н/Д 4

Эпсон

[ редактировать ]

В 2004 году компания Epson выпустила первый в мире гибкий микропроцессор под названием ACT11 — 8-битный асинхронный чип. [42] [43] [44] [45] [46] Синхронные гибкие процессоры работают медленнее, поскольку изгиб материала, из которого изготовлен чип, вызывает дикие и непредсказуемые изменения задержек различных транзисторов, для чего везде следует предполагать наихудший сценарий и все должно тактироваться на наихудшей скорости. Процессор предназначен для использования в смарт-картах , размер чипов которых в настоящее время ограничен настолько маленькими, что они могут оставаться абсолютно жесткими.

ИБМ

[ редактировать ]

В 2014 году IBM анонсировала чип, разработанный SyNAPSE , который работает асинхронно и имеет одно из самых высоких чисел транзисторов среди всех когда-либо произведенных чипов. В тестах распознавания образов чип IBM потребляет на несколько порядков меньше энергии, чем традиционные вычислительные системы. [47]

Хронология

[ редактировать ]
  • ОРДВАК и (идентичный) ИЛЛИАК I (1951) [37] [38]
  • Джонниак (1953) [48]
  • ВЕЙЦАК (1955)
  • Киев (1958 г.), советская машина, использующая язык программирования с указателями гораздо раньше, чем они пришли к языку PL/1. [49]
  • ИЛЛИАК II (1962) [37]
  • Манчестерский университет Виктории построил Атлас (1964 г.)
  • Мейнфреймы ICL 1906A и 1906S, входящие в серию 1900 и продаваемые с 1964 года более десяти лет компанией ICL. [50]
  • Польские компьютеры КАР-65 и К-202 (1965 и 1970 годы соответственно)
  • Процессоры Honeywell 6180 (1972 г.) [51] и серия 60, уровень 68 (1981) [52] [53] на котором Multics работал асинхронно
  • Советские побитовые микропроцессорные модули (конец 1970-х гг.) [54] [55] выпускается как К587, [56] К588 [57] и К1883 (U83x в Восточной Германии) [58]
  • Асинхронный микропроцессор Калифорнийского технологического института, первый в мире асинхронный микропроцессор (1988 г.) [39] [41]
  • ARM - реализация АМУЛЕТА (1993 и 2000 гг.)
  • Асинхронная реализация MIPS R3000, получившая название MiniMIPS (1998 г.)
  • Несколько версий процессора XAP экспериментировали с различными стилями асинхронного проектирования: XAP с пакетными данными, XAP «1 из 4» и XAP «1 из 2» (2003?). [59]
  • ARM-совместимый процессор (2003?), разработанный ZC Yu, SB Furber и LA Plana; «разработан специально для изучения преимуществ асинхронного проектирования для приложений, чувствительных к безопасности» [59]
  • SAMIPS (2003), синтезируемая асинхронная реализация процессора MIPS R3000. [60]
  • Процессор «Сетевая асинхронная архитектура» (2005 г.), который выполняет подмножество архитектуры MIPS. набора команд [59]
  • Процессор ARM996HS (2006 г.) от Handshake Solutions
  • Процессор HT80C51 (2007?) от Handshake Solutions. [61]
  • Vortex, суперскалярный процессор общего назначения с архитектурой загрузки/сохранения от Intel (2007 г.); [62] он был разработан как тестовый чип 2 Fulcrum Microsystem и не продавался, за исключением некоторых его компонентов; чип включал в себя DDR SDRAM и интерфейс Ethernet 10 Гбит, связанный через внутрикристальную сеть Nexus с ЦП. [62] [63]
  • процессор SEAforth Многоядерный (2008 г.) от Чарльза Х. Мура [64]
  • GA144 [65] многоядерный процессор (2010) от Чарльза Х. Мура
  • TAM16: 16-битное асинхронное IP-ядро микроконтроллера (Tiempo). [66]
  • Асинхронное ядро ​​Aspida DLX ? [67] асинхронный процессор DLX с открытым исходным кодом (ASPIDA) успешно реализован как в версии ASIC, так и в версии FPGA. [68]

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ глобально асинхронные локально синхронные схемы. Возможны
  2. ^ Дристоун . Также использовался [39] : 4, 8 

Ссылки

[ редактировать ]
  1. ^ Jump up to: а б Горовиц, Марк (2007). «Продвинутая лекция по проектированию схем СБИС» . Стэнфордский университет, Лаборатория компьютерных систем. Архивировано из оригинала 21 апреля 2016 г.
  2. ^ Стаунструп, Йорген (1994). Формальный подход к проектированию аппаратного обеспечения . Бостон, Массачусетс, США: Springer USA. ISBN  978-1-4615-2764-0 . OCLC   852790160 .
  3. ^ Jump up to: а б с д и ж г час я дж к л м н тот п Спарсё, Йенс (апрель 2006 г.). «Учебное пособие по проектированию асинхронных схем» (PDF) . Технический университет Дании.
  4. ^ Новик, С.М.; Сингх, М. (май – июнь 2015 г.). «Асинхронное проектирование. Часть 1: Обзор и последние достижения» (PDF) . Проектирование и тестирование IEEE . 32 (3): 5–18. дои : 10.1109/MDAT.2015.2413759 . S2CID   14644656 . Архивировано из оригинала (PDF) 21 декабря 2018 г. Проверено 27 августа 2019 г.
  5. ^ Новик, С.М.; Сингх, М. (май – июнь 2015 г.). «Асинхронное проектирование. Часть 2: Системы и методологии» (PDF) . Проектирование и тестирование IEEE . 32 (3): 19–28. дои : 10.1109/MDAT.2015.2413757 . S2CID   16732793 . Архивировано из оригинала (PDF) 21 декабря 2018 г. Проверено 27 августа 2019 г.
  6. ^ Jump up to: а б с д и ж «Почему асинхронное проектирование?» . Галуа, Инк . 15 июля 2021 г. Проверено 4 декабря 2021 г.
  7. ^ Jump up to: а б с д и Майерс, Крис Дж. (2001). Асинхронное проектирование схем . Нью-Йорк: Дж. Уайли и сыновья. ISBN  0-471-46412-0 . OCLC   53227301 .
  8. ^ Мюллер, Делавэр (1955). Теория асинхронных цепей, Доклад №. 66 . Лаборатория цифровых компьютеров, Университет Иллинойса в Урбана-Шампейн.
  9. ^ Миллер, Раймонд Э. (1965). Теория переключения, Vol. II . Уайли.
  10. ^ ван Беркель, Швейцария; Джозефс, МБ; Новик, С.М. (февраль 1999 г.). «Применение асинхронных схем» (PDF) . Труды IEEE . 87 (2): 234–242. дои : 10.1109/5.740016 . Архивировано из оригинала (PDF) 03 апреля 2018 г. Проверено 27 августа 2019 г.
  11. ^ Васюкевич, Вадим О. (1984). «Когда соединение как логическая/динамическая операция. Определение, реализация и приложения». Автоматическое управление и информатика . 18 (6): 68–74. (Примечание. В этой публикации функция по-прежнему вызывалась Whenjunction вместо venjunction .)
  12. ^ Васюкевич, Вадим О. (1998). «Монотонные последовательности двоичных наборов данных и их идентификация с помощью венъюнктивных функций». Автоматическое управление и информатика . 32 (5): 49–56.
  13. ^ Васюкевич, Вадим О. (апрель 2007 г.). «Декодирование асинхронных последовательностей». Автоматическое управление и информатика . 41 (2). Аллертон Пресс: 93–99. дои : 10.3103/S0146411607020058 . ISSN   1558-108X . S2CID   21204394 .
  14. ^ Васюкевич, Вадим О. (2009). «Асинхронные логические элементы. Венъюнкция и секвенция» (PDF) . Архивировано (PDF) из оригинала 22 июля 2011 г. (118 страниц)
  15. ^ Васюкевич, Вадим О. (2011). Написано в Риге, Латвия. Асинхронные операторы последовательной логики: венъюнкция и секвенция — анализ и проектирование цифровых схем . Конспект лекций по электротехнике. Том. 101 (1-е изд.). Берлин / Гейдельберг, Германия: Springer-Verlag . дои : 10.1007/978-3-642-21611-4 . ISBN  978-3-642-21610-7 . ISSN   1876-1100 . LCCN   2011929655 . (xiii+1+123+7 страниц) (Обратите внимание: на задней обложке этой книги ошибочно указан том 4, хотя на самом деле это том 101.)
  16. ^ Фант, Карл М. (февраль 2005 г.). Логически детерминированный дизайн: проект безтактовой системы с логикой соглашения NULL (NCL) (1-е изд.). Хобокен, Нью-Джерси, США: Wiley-Interscience / John Wiley and Sons, Inc. ISBN  978-0-471-68478-7 . LCCN   2004050923 . (xvi+292 страницы)
  17. ^ Jump up to: а б Фант, Карл М. (август 2007 г.). Переосмысление информатики: модель вызова выражения процесса (1-е изд.). Хобокен, Нью-Джерси, США: Wiley-Interscience / John Wiley and Sons, Inc. ISBN  978-0-471-79814-9 . LCCN   2006052821 . Проверено 23 июля 2023 г. (xix+1+269 страниц)
  18. ^ Смит, Скотт С.; Ди, Цзя (2009). Проектирование асинхронных схем с использованием условной логики NULL (NCL) (PDF) . Обобщающие лекции по цифровым схемам и системам. Издательство Morgan & Claypool [ d ] . стр. 61–73. eISSN   1932-3174 . ISBN  978-1-59829-981-6 . ISSN   1932-3166 . Лекция №23 . Проверено 10 сентября 2023 г .; Смит, Скотт С.; Ди, Цзя (2022) [23 июля 2009 г.]. Проектирование асинхронных схем с использованием условной логики NULL (NCL) . Обобщающие лекции по цифровым схемам и системам. Университет Арканзаса , Арканзас, США: Springer Nature Switzerland AG . дои : 10.1007/978-3-031-79800-9 . eISSN   1932-3174 . ISBN  978-3-031-79799-6 . ISSN   1932-3166 . Лекция №23 . Проверено 10 сентября 2023 г. (x+86+6 страниц)
  19. ^ Смит, Скотт С.; Ди, Цзя. «US 7 977 972 Проектирование многопороговой асинхронной схемы сверхмалой мощности» . Проверено 12 декабря 2011 г.
  20. ^ Розенблюм, Л. Я.; Яковлев А.В. (июль 1985 г.). «Сигнальные графики: от самосинхронных к синхронизированным. Материалы международного семинара по синхронизированным сетям Петри» (PDF) . Турин, Италия: IEEE CS Press. стр. 199–207. Архивировано (PDF) из оригинала 23 октября 2003 г.
  21. ^ Чу, Т.-А. (1 июня 1986 г.). «О моделях проектирования асинхронных цифровых систем СБИС» . Интеграция . 4 (2): 99–113. дои : 10.1016/S0167-9260(86)80002-5 . ISSN   0167-9260 .
  22. ^ Яковлев, Александр; Лаваньо, Лучано; Санджованни-Винсентелли, Альберто (1 ноября 1996 г.). «Единая модель графа перехода сигналов для синтеза асинхронных схем управления» . Формальные методы проектирования систем . 9 (3): 139–188. дои : 10.1007/BF00122081 . ISSN   1572-8102 . S2CID   26970846 .
  23. ^ Кортаделла, Дж.; Кишиневский, М.; Кондратьев А.; Лаваньо, Л.; Яковлев, А. (2002). Логический синтез для асинхронных контроллеров и интерфейсов . Серия Springer в области передовой микроэлектроники. Том. 8. Берлин/Гейдельберг, Германия: Springer Berlin Heidelberg. дои : 10.1007/978-3-642-55989-1 . ISBN  978-3-642-62776-7 .
  24. ^ «Petrify: Публикации по теме» . www.cs.upc.edu . Проверено 28 июля 2021 г.
  25. ^ «Старт – Мастерство» . сайт Workcraft.org . Проверено 28 июля 2021 г.
  26. ^ Jump up to: а б с Новик, С.М.; Сингх, М. (сентябрь – октябрь 2011 г.). «Высокопроизводительные асинхронные конвейеры: обзор» (PDF) . IEEE Проектирование и тестирование компьютеров . 28 (5): 8–22. дои : 10.1109/mdt.2011.71 . S2CID   6515750 . Архивировано из оригинала (PDF) 21 апреля 2021 г. Проверено 27 августа 2019 г.
  27. ^ Новик, С.М.; Юн, Кентукки; Берел, Пенсильвания; Дупли, AE (март 1997 г.). «Предполагаемое завершение проектирования высокопроизводительных асинхронных динамических сумматоров» (PDF) . Труды Третьего международного симпозиума по перспективным исследованиям в области асинхронных цепей и систем . стр. 210–223. дои : 10.1109/ASYNC.1997.587176 . ISBN  0-8186-7922-0 . S2CID   1098994 . Архивировано из оригинала (PDF) 21 апреля 2021 г. Проверено 27 августа 2019 г.
  28. ^ Новик, С.М. (сентябрь 1996 г.). «Проектирование асинхронного сумматора с малой задержкой с использованием спекулятивного завершения» (PDF) . Труды IEE - Компьютеры и цифровая техника . 143 (5): 301–307. дои : 10.1049/ip-cdt:19960704 . Архивировано из оригинала (PDF) 22 апреля 2021 г. Проверено 27 августа 2019 г.
  29. ^ Шейх, Б.; Манохар, Р. (май 2010 г.). «Асинхронный сумматор с плавающей запятой двойной точности IEEE 754, оптимизированный для операндов» (PDF) . Труды Международного симпозиума IEEE по асинхронным схемам и системам («Асинхронные») : 151–162. Архивировано из оригинала (PDF) 21 апреля 2021 г. Проверено 27 августа 2019 г.
  30. ^ Jump up to: а б Сасао, Цутому (1993). Логический синтез и оптимизация . Бостон, Массачусетс, США: Springer USA. ISBN  978-1-4615-3154-8 . OCLC   852788081 .
  31. ^ «Epson разрабатывает первый в мире гибкий 8-битный асинхронный микропроцессор» [ постоянная мертвая ссылка ] 2005
  32. ^ Jump up to: а б Фербер, Стив. «Принципы проектирования асинхронных схем» (PDF) . Стр. 232 . Архивировано из оригинала (PDF) 26 апреля 2012 г. Проверено 13 декабря 2011 г.
  33. ^ «Сохраняйте строгую синхронность: попрощайтесь с проблемами асинхронной логики». Новости персональной инженерии и приборостроения, ноябрь 1997 г., страницы 53–55. http://www.fpga-site.com/kiss.html
  34. ^ Jump up to: а б ван Леувен, ТМ (2010). Реализация и автоматическое создание асинхронного запланированного графа потока данных . Делфт.
  35. ^ Крюгер, Роберт (15 марта 2005 г.). «Реалити-шоу для инженеров-проектировщиков ПЛИС!» . eetimes.com . Проверено 11 ноября 2020 г.
  36. ↑ LARD. Архивировано 6 марта 2005 г., в Wayback Machine.
  37. ^ Jump up to: а б с д «В 1950 и 1960-х годах асинхронный дизайн использовался во многих ранних мейнфреймах, включая ILLIAC I и ILLIAC II…». Краткая история проектирования асинхронных схем
  38. ^ Jump up to: а б «Illiac — это двоичный параллельный асинхронный компьютер, в котором отрицательные числа представлены как дополнения до двух». - окончательное резюме «Методов дизайна Illiac», 1955 г.
  39. ^ Jump up to: а б с д и ж г час я дж Мартин, Эй Джей; Нистром, М.; Вонг, CG (ноябрь 2003 г.). «Три поколения асинхронных микропроцессоров» . IEEE Проектирование и тестирование компьютеров . 20 (6): 9–17. дои : 10.1109/MDT.2003.1246159 . ISSN   0740-7475 . S2CID   15164301 .
  40. ^ Jump up to: а б с Мартин, Эй Джей; Нистром, М.; Пападантонакис, К.; Пензес, ИП; Пракаш, П.; Вонг, К.Г.; Чанг, Дж.; Ко, КС; Ли, Б.; Оу, Э.; Пью, Дж. (2003). «Лютоний: субнаноджоульный асинхронный микроконтроллер 8051» . Девятый международный симпозиум по асинхронным схемам и системам, 2003 г. Материалы (PDF) . Ванкувер, Британская Колумбия, Канада: IEEE Comput. Соц. стр. 14–23. дои : 10.1109/ASYNC.2003.1199162 . ISBN  978-0-7695-1898-5 . S2CID   13866418 .
  41. ^ Jump up to: а б Мартин, Ален Дж. (6 февраля 2014 г.). «25 лет назад: первый асинхронный микропроцессор» . Технические отчеты по информатике. Калифорнийский технологический институт. дои : 10.7907/Z9QR4V3H . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )
  42. ^ «Seiko Epson предлагает гибкий процессор с помощью технологии TFT». Архивировано 1 февраля 2010 г. в Wayback Machine Марком ЛаПедусом, 2005 г.
  43. ^ «Гибкий асинхронный микропроцессор 8b на основе низкотемпературной поликремниевой TFT-технологии» Караки и др. 2005. Аннотация: «Гибкий 8b асинхронный микропроцессор ACTII… Уровень мощности составляет 30% от синхронного аналога».
  44. ^ «Введение в исследования и разработки TFT в Seiko Epson Corporation» Тацуи Симода (2005?) содержит изображение «Гибкого 8-битного асинхронного микропроцессора, ACT11»
  45. ^ «Epson разрабатывает первый в мире гибкий 8-битный асинхронный микропроцессор»
  46. ^ «Seiko Epson подробно описывает гибкий микропроцессор: листы электронной бумаги формата А4 в стадии разработки, Пол Каллендер, 2005 г.
  47. ^ «Программа SyNAPSE разрабатывает усовершенствованный чип, вдохновленный мозгом». Архивировано 10 августа 2014 г. в Wayback Machine . 07 августа 2014 г.
  48. ^ История Джонниака, написанная в 1968 году.
  49. ^ В.М. Глушков и Е.Л. Ющенко. Математическое описание компьютера "Киев". УССР, 1962 г. (на русском языке)
  50. ^ «Компьютерное воскресение, выпуск 18» .
  51. ^ «Полностью асинхронно, его сотни с лишним досок рассылали запросы, отмечали результаты для кого-то другого, перехватывали чужие сигналы или данные и наносили друг другу удары в спину всевозможными забавными способами, которые иногда терпели неудачу (таймер «операция не завершена»). сработает и вызовет неисправность). ... [Там] не было никакого намека на организованную стратегию синхронизации: различные импульсы «теперь готово», «ок, иди», «возьми цикл» просто проносились через огромную заднюю панель с логическим И. с соответствующим состоянием и задушил следующего парня. Не без своего очарования, эта, казалось бы, специальная технология способствовала значительной степени перекрытия... а также [сегментации и пейджинга] механизма адресации Multics в существующей архитектуре 6000. гениальный, модульный и удивительный способ... Однако модификация и отладка процессора не принесли удовольствия». «Глоссарий Multitics: ... 6180»
  52. ^ «10/81 ... ЦП DPS 8/70M» Хронология Multics
  53. ^ «Серия 60, уровень 68 была просто переупаковкой 6180». Характеристики оборудования Multics: Серия 60, уровень 68
  54. ^ A. A. Vasenkov, V. L. Dshkhunian, P. R. Mashevich, P. V. Nesterov, V. V. Telenkov, Ju. E. Chicherin, D. I. Juditsky, "Microprocessor computing system," Patent US4124890, Nov. 7, 1978
  55. ↑ Глава 4.5.3 в биографии Д. И. Юдицкого (на русском языке)
  56. ^ "Серия 587 - Коллекция экс-СССР Чипа" . Архивировано из оригинала 17 июля 2015 г. Проверено 16 июля 2015 г.
  57. ^ "Серия 588 - Коллекция экс-СССР Чипа" . Архивировано из оригинала 17 июля 2015 г. Проверено 16 июля 2015 г.
  58. ^ "Серия 1883/У830 - Коллекция бывшего СССР Чипа" . Архивировано из оригинала 22 июля 2015 г. Проверено 19 июля 2015 г.
  59. ^ Jump up to: а б с «Сетевая асинхронная архитектура для криптографических устройств» , Лиляна Спадавеккья, 2005 г., в разделе «4.10.2 Анализ побочных каналов асинхронных архитектур с двумя рельсами» и разделе «5.5.5.1 Набор команд»
  60. ^ Чжан, Цяньи; Теодоропулос, Георгиос (2003). «На пути к асинхронному процессору MIPS» . В Омонди Амос; Седухин, Станислав (ред.). Достижения в архитектуре компьютерных систем . Конспекты лекций по информатике. Берлин, Гейдельберг: Springer. стр. 137–150. дои : 10.1007/978-3-540-39864-6_12 . ISBN  978-3-540-39864-6 .
  61. ^ «Handshake Solutions HT80C51» «Handshake Solutions HT80C51 — это асинхронная реализация 80C51 с низким энергопотреблением, использующая технологию установления связи, совместимая со стандартным набором инструкций 8051».
  62. ^ Jump up to: а б Лайнс, Эндрю (март 2007 г.). «The Vortex: суперскалярный асинхронный процессор» . 13-й Международный симпозиум IEEE по асинхронным схемам и системам (ASYNC'07) . стр. 39–48. дои : 10.1109/ASYNC.2007.28 . ISBN  978-0-7695-2771-0 . S2CID   33189213 .
  63. ^ Линии, А. (2003). «Nexus: асинхронное перекрестное межсоединение для синхронных систем на кристалле» . 11-й симпозиум по высокопроизводительным межсоединениям, 2003 г. Материалы . Стэнфорд, Калифорния, США: IEEE Comput. Соц. стр. 2–9. дои : 10.1109/CONECT.2003.1231470 . ISBN  978-0-7695-2012-4 . S2CID   1799204 .
  64. ^ Обзор SEAforth. Архивировано 2 февраля 2008 г. на Wayback Machine «... асинхронная схема по всему чипу. Не существует центрального тактового генератора с миллиардами тупых узлов, рассеивающих бесполезную мощность. ... ядра процессора сами по себе асинхронны».
  65. ^ «GreenArrayChips» «Многокомпьютерные чипы со сверхмалым энергопотреблением и встроенной периферией».
  66. ^ Tiempo: Асинхронный IP-адрес ядра TAM16
  67. ^ «ASPIDA sync/async DLX Core» . OpenCores.org . Проверено 5 сентября 2014 г.
  68. ^ «Асинхронный процессор DLX с открытым исходным кодом (ASPIDA)» .

Дальнейшее чтение

[ редактировать ]
[ редактировать ]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Asynchronous_circuit&oldid=1230374882#SCL"
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 597c7922b3a2f03cfe53d95857e2df46__1719041100
URL1:https://arc.ask3.ru/arc/aa/59/46/597c7922b3a2f03cfe53d95857e2df46.html
Заголовок, (Title) документа по адресу, URL1:
Asynchronous circuit - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)