![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
vakТакое ощущение, что грядёт тихая революция в области цифровой логики: переход на асинхронный дизайн. Любопытный, но малоизвестный факт: в 2012 году Интел предоставил стартапу Achronix свои заводы для производства асинхронных FPGA-чипов.
Есть несколько методологий асинхронного дизайна. Одна из них, под названием Null Convention Logic (сокращённо NCL), в качестве базового элемента использует так называемый пороговый вентиль. Обозначается он так:
Как и традиционный логический вентиль типа И или ИЛИ, он имеет несколько входов, один выход и, возможно, инверсию выхода. Кроме того, у него есть параметр M - порог срабатывания. К примеру, вентиль с порогом 2 переходит в активное состояние, когда как минимум два входа активны. В неактивное состояние пороговый вентиль переходит, когда все входы неактивны. Заметьте: вентиль с порогом M>1 обладает гистерезисом. Пока количество активных входов меньше порога, он сохраняет предыдущее состояние.
Из таких вентилей, применяя dual-rail протокол, можно строить цифровые логические схемы произвольной сложности. Например, так выглядит однобитный полный сумматор:
Для сравнения, полный сумматор на традиционной логике:
А теперь самое интересное. Знаете ли вы, как устроен нейрон, элементарный кирпичик нервной системы и мозга? Он имеет несколько отростков-дендритов (входов) и один аксон (выход). Для возбуждения нейрона нужно раздражение от нескольких дендритов (порог). Очень похоже на NCL-вентиль, не так ли?
Представьте, что через некоторое время, усилиями биохимиков и генетиков, можно будет выращивать "живые" нейронные сети заданной конфигурации. Если вы помните, в известной новелле Азимова про три закона робототехники, всё начиналось с изобретения позитронного мозга. Возможно, не так долго осталось ждать.
До сих пор разработка асинхронных логических схем осложнялась отсутствием возможности прототипирования и отладки их с использованием FPGA. Чипы Achronix могут поправить ситуацию.
Есть несколько методологий асинхронного дизайна. Одна из них, под названием Null Convention Logic (сокращённо NCL), в качестве базового элемента использует так называемый пороговый вентиль. Обозначается он так:
Как и традиционный логический вентиль типа И или ИЛИ, он имеет несколько входов, один выход и, возможно, инверсию выхода. Кроме того, у него есть параметр M - порог срабатывания. К примеру, вентиль с порогом 2 переходит в активное состояние, когда как минимум два входа активны. В неактивное состояние пороговый вентиль переходит, когда все входы неактивны. Заметьте: вентиль с порогом M>1 обладает гистерезисом. Пока количество активных входов меньше порога, он сохраняет предыдущее состояние.
Из таких вентилей, применяя dual-rail протокол, можно строить цифровые логические схемы произвольной сложности. Например, так выглядит однобитный полный сумматор:
Для сравнения, полный сумматор на традиционной логике:
А теперь самое интересное. Знаете ли вы, как устроен нейрон, элементарный кирпичик нервной системы и мозга? Он имеет несколько отростков-дендритов (входов) и один аксон (выход). Для возбуждения нейрона нужно раздражение от нескольких дендритов (порог). Очень похоже на NCL-вентиль, не так ли?
Представьте, что через некоторое время, усилиями биохимиков и генетиков, можно будет выращивать "живые" нейронные сети заданной конфигурации. Если вы помните, в известной новелле Азимова про три закона робототехники, всё начиналось с изобретения позитронного мозга. Возможно, не так долго осталось ждать.
До сих пор разработка асинхронных логических схем осложнялась отсутствием возможности прототипирования и отладки их с использованием FPGA. Чипы Achronix могут поправить ситуацию.
no subject
Date: 2016-04-30 04:36 (UTC)no subject
Date: 2016-04-30 05:19 (UTC)no subject
Date: 2016-04-30 05:26 (UTC)no subject
Date: 2016-04-30 05:33 (UTC)no subject
Date: 2016-04-30 05:43 (UTC)https://users.soe.ucsc.edu/~scott/papers/NCL2.pdf
no subject
Date: 2016-04-30 05:55 (UTC)Например чтобы передать целое число в диапазоне до миллиарда, в dual-rail логике нужно 60 проводов:
log(1000000000)/log(2)*2 = 59.8
В 3-rail логике достаточно 57 проводов:
log(1000000000)/log(3)*3 = 56.6
no subject
Date: 2016-04-30 06:10 (UTC)no subject
Date: 2016-04-30 06:20 (UTC)Да и на кремнии нынче как-то хреновато стало. Закон Мура больше не действует. Неспроста Интел взялся продвигать этот стартап.
NCL изобрели только в 2005 вроде. До этого были С-вентили Мюллера и dual-rail logic, смешанная с обычными регистрами и линиями задержки.
no subject
Date: 2016-04-30 06:38 (UTC)На первой странице там © 1997.
no subject
Date: 2016-04-30 06:50 (UTC)no subject
Date: 2016-04-30 07:03 (UTC)no subject
Date: 2016-04-30 07:13 (UTC)https://youtu.be/RZQgxYSMIz0
no subject
Date: 2016-04-30 07:17 (UTC)Я откопал ссылку на патент - вроде ещё раньше.
Karl M. Fant and Scott A. Brandt, NULL Convention Logic™ System, US patent 5,305,463
April 19, 1994.
Сколько в U.S. патент действителен?
Не пора ему протухнуть?
no subject
Date: 2016-04-30 07:41 (UTC)no subject
Date: 2016-04-30 08:24 (UTC)Acronix кстати предлагает обычные синхронные ПЛИС, ну по крайней мере их можно купить и струменты поддерживают, а асинхронные (HP что-ли), для пеара у него, по-моему
no subject
Date: 2016-04-30 10:00 (UTC)А нейроны интересны тем, что они растут сами. То есть, важна переконфигурация схемы во время обучения.
no subject
Date: 2016-04-30 14:49 (UTC)no subject
Date: 2016-04-30 14:51 (UTC)no subject
Date: 2016-04-30 16:18 (UTC)Это неправда. См. диаграмму на стр. 19 (http://www.xilinx.com/support/documentation/user_guides/ug474_7Series_CLB.pdf), выбор FF/latch конфигурируется битом, и так у Xilinx отродясь было.
no subject
Date: 2016-04-30 20:14 (UTC)no subject
Date: 2016-04-30 20:25 (UTC)Насколько помню, наиболее выгодная схема деления - это сочетание элементов с двумя и тремя состояниями. Можно будет перейти на двенадцатеричную систему.
no subject
Date: 2016-04-30 20:29 (UTC)Я тут задумываюсь, нельзя ли организовать устойчивые логические процессы в газообразной среде.
В смысле, возможна ли жизнь в магнитосфере Солнца, к примеру, или в "пузырях" на границе гелиосферы.
http://www.gazeta.ru/science/2011/06/17_a_3664677.shtml
no subject
Date: 2016-04-30 21:17 (UTC)да и в 7 Ксайлинсах
из 8 "элементов" только 4 могут быть ff/latch, я уже не говорю про LUT-ы, которые могут в сдвиговые регистры превращаться
причем экономят они не какие-то внутренние гейты слайса/le, а конфигурационный бит в образе. то есть настолько ненужными считают latch-и
no subject
Date: 2016-04-30 23:34 (UTC)Back to Babylon!!!
no subject
Date: 2016-04-30 23:36 (UTC)no subject
Date: 2016-04-30 23:37 (UTC)Вопрос по ПЛИС - там можно соединять любой вентиль с любым вентилем?
no subject
Date: 2016-05-01 06:32 (UTC)На этом основаны оптические иллюзии.
no subject
Date: 2016-05-02 03:50 (UTC)Мне больше интересно про то, почему в мозгах от 4-х до 9-ти регистров. Вы что-то буркнули в прошлый раз про 2-3 дерево, но я, хоть убей, не понимаю, как получается 4-9.
Это слои 2-3 дерева с 1-го по 3-ий? Но тогда второй слой - это уже 3 узла, а 3-ий - до 9-ти. Или это просто третий слой, который тогда может иметь от 4-х до 9-ти узлов?
no subject
Date: 2016-05-02 05:47 (UTC)* / \ * * /\ /\ * * * * * / | \ / | \ / | \ * * * /|\ /|\ /|\ * * * * * * * * *И это не слои, а деревья в сети. Насколько понимаю, любая точка может иметь контакты с иерархией в другом дереве.
И деление - это вывод из синергетики. Что там в голове - будет намного сложнее.
no subject
Date: 2016-05-02 17:13 (UTC)судя по виду сумматора, проводков в новом заметно больше
и это плохо влияет на энергопотребление.
no subject
Date: 2016-05-02 18:03 (UTC)no subject
Date: 2016-05-02 18:06 (UTC)Аналоговые манипуляции мышкой преобразуются в аналоговое свечение пикселей на экране.
no subject
Date: 2016-05-02 18:10 (UTC)no subject
Date: 2016-05-02 18:22 (UTC)no subject
Date: 2016-05-03 18:34 (UTC)а утечки разве не по проводкам идут?
no subject
Date: 2016-05-03 18:55 (UTC)no subject
Date: 2016-05-04 14:51 (UTC)no subject
Date: 2016-05-05 21:20 (UTC)