nedoPC.org

Community of electronics hobbyists established in 2002

...
Atom Feed | View unanswered posts | View active topics It is currently 21 May 2018 18:22



Reply to topic  [ 48 posts ]  Go to page 1, 2, 3, 4  Next
Троичный сумматор 
Author Message
Supreme God
User avatar

Joined: 21 Oct 2009 09:08
Posts: 7777
Location: Россия
Reply with quote
Вместо эпиграфа... wrote:
"А не замахнуться ли нам на Вильяма, понимаете ли, нашего Шекспира?"

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

Мне кажется, для выбранной нами троичной симметричной системы "правильной" будет
какая-то из вот этих таблицы:
Attachment:
1mod3.gif
1mod3.gif [ 2.91 KiB | Viewed 1797 times ]

Attachment:
2mod3.gif
2mod3.gif [ 1.9 KiB | Viewed 1797 times ]

Вроде как они зеркальные с точностью до инверсии...
Зацените критическим взглядом - какая из них действительно правильная, пока я делать не начал... :wink:
А то наделаю лишнего... 8)

_________________
iLavr


06 Oct 2017 03:46
Profile
Senior

Joined: 21 Mar 2017 13:50
Posts: 185
Location: Spb
Reply with quote
Lavr wrote:
Вроде как они зеркальные с точностью до инверсии...
Зацените критическим взглядом - какая из них действительно правильная, пока я делать не начал... :wink:
А то наделаю лишнего... 8)

Нижняя правильная. И табличка переноса в старший разряд:


Attachments:
2mod3_.gif
2mod3_.gif [ 2.61 KiB | Viewed 1791 times ]
06 Oct 2017 04:23
Profile
Maniac

Joined: 10 Mar 2017 06:30
Posts: 249
Reply with quote
0+1 = 1, так что вторая схема правильная...


06 Oct 2017 04:25
Profile
Senior

Joined: 21 Mar 2017 13:50
Posts: 185
Location: Spb
Reply with quote
Lavr wrote:
"правильной" будет
какая-то из вот этих таблиц

Что-то у меня не хватает мозгов на верхнюю. Какую функцию она реализует всё-же?


06 Oct 2017 13:34
Profile
Supreme God
User avatar

Joined: 21 Oct 2009 09:08
Posts: 7777
Location: Россия
Reply with quote
AlexanderZh wrote:
Что-то у меня не хватает мозгов на верхнюю. Какую функцию она реализует всё-же?

Я посмотрел где я её взял - там минимизировали mod3 аппаратно, якобы он проще, если потом
к выходу применить циклическое отрицание - что-то типа этого...
Но тогда их подпись к рисунку вводит в заблуждение....

_________________
iLavr


06 Oct 2017 15:23
Profile
Senior

Joined: 21 Mar 2017 13:50
Posts: 185
Location: Spb
Reply with quote
Lavr wrote:
там минимизировали mod3 аппаратно, якобы он проще, если потом к выходу применить циклическое отрицание

Мда... а вместе с "циклическим отрицанием" не будет ли больше элементов? Или там несколько функций упрощены?

з.ы. Если не трудно, кинь в ссылку на это?


06 Oct 2017 16:30
Profile
Supreme God
User avatar

Joined: 21 Oct 2009 09:08
Posts: 7777
Location: Россия
Reply with quote
AlexanderZh wrote:
а вместе с "циклическим отрицанием" не будет ли больше элементов? Или там несколько функций упрощены?

А я пока не проверял... сам пока думаю, как обойтсь минимальным числом элементов.

AlexanderZh wrote:
з.ы. Если не трудно, кинь в ссылку на это?

Да не трудно... ссылки же все здесь, в Ternary - сейчас попробую найти.
Если я не ошибаюсь, то эта: http://trilog.narod.ru/4.htm

Я просто обычно пишу себе краткую выжимку прежде чем что-то собирать, придерживаясь правила:
информация из интернета правдива, если повторяется хотя бы в трёх независимых источниках.
А тут у меня даже в двух не повторилась... поэтому обратился за помощью. :wink:

_________________
iLavr


06 Oct 2017 16:38
Profile
Supreme God
User avatar

Joined: 21 Oct 2009 09:08
Posts: 7777
Location: Россия
Reply with quote
Действительно, эти две таблицы, приведенные мной в старте топика, практически "идентичны",
если так можно выразиться, с точностью до правой циклической инверсии.
Attachment:
1_2mod3.gif
1_2mod3.gif [ 7.41 KiB | Viewed 1762 times ]

Впрочем, мне это было и с самого начала видно, почему я и выбрал эти таблицы из всех других.
Приводит ли этот "трюк" к упрощению с точки зрения числа элементов - пока не знаю.

Эти "минимизации и упрощения", как оказалось, штука опасная, и надо быть очень внимательным!
По пути вот выяснил, что выполняя схему как раз правой циклической инверсии, "доминимизировался"
так, что уровень логического нуля оказался "плавающим", и без нагрузки 10 кОм стал уплывать. :osad:
Пришлось вернуться переделать... :-?

Заодно выяснил, что проверять элемент на нагрузочную способность надо, подключая эти 10 кОм
и к +Uпит. и к -Uпит., а то может сложиться ситуация, когда эти 10 кОм, подключенные с выхода
к GND, собственно, и создают уровень логического "0". А без них - он плавающий! :lol:

Сейчас займусь сумматором...


P.S. А чего - все расслабились и празднуют 65-летний юбилей президента Путина В.В., пришедшийся на субботу?
Ну с праздником вас тогда... Как шутит один мой знакомый из Израиля: русские - больше евреи, нежели сами
ортодоксальные евреи, у русских - два дня шаббат!
:mrgreen:

_________________
iLavr


07 Oct 2017 05:41
Profile
Supreme God
User avatar

Joined: 21 Oct 2009 09:08
Posts: 7777
Location: Россия
Reply with quote
Ну и, придерживаясь правильной и одобренной всеми таблицы истинности, я сделал троичный
сумматор по модулю 3 по следующей схеме:
Attachment:
3SUM_MOD3.gif
3SUM_MOD3.gif [ 7.92 KiB | Viewed 1752 times ]

Я, конечно же, предварительно проверил его по таблице истнности, нажимая на кнопочки,
но интересно было посмотреть на процесс суммирования в динамике, поэтому я подключил
свежесобранный сумматор к сделанному ранее двухразрядному троичному счетчику.
Attachment:
3SUM_CNT.gif
3SUM_CNT.gif [ 7.54 KiB | Viewed 1752 times ]

Счетчик как раз наглядно перебирает все аргументы функции, а на осциллограмме видно
где полезли иголки или какие другие артефакты...
Attachment:
3SUM_OSC.gif
3SUM_OSC.gif [ 14.62 KiB | Viewed 1752 times ]

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

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

_________________
iLavr


07 Oct 2017 15:33
Profile
Senior

Joined: 21 Mar 2017 13:50
Posts: 185
Location: Spb
Reply with quote
Похоже, работает! (не смотря на субботу :idea: )
Сравнить бы теперь это с реализацией на тримуксах в транзисторном бюджете бы. В тримуксе (половинке, одном вентиле-мультиплексоре/демультиплексоре) 17 транзисторов и 7 диодов, судя по даташиту.


Attachments:
dg403.png
dg403.png [ 41.47 KiB | Viewed 1751 times ]
07 Oct 2017 16:10
Profile
Senior

Joined: 21 Mar 2017 13:50
Posts: 185
Location: Spb
Reply with quote
Не, надо на 2 умножать. это половинка от одной DG403, как понимаю. Целая - тримукс (2 микросхемки на плате - 2 тримукса в едином "корпусе")


07 Oct 2017 16:15
Profile
Supreme God
User avatar

Joined: 21 Oct 2009 09:08
Posts: 7777
Location: Россия
Reply with quote
В троичном сумматоре по модулю 3 у меня насчиталось 68 транзисторов.

Кстати, спасибо за схему DG403. Интересно взглянуть.
Как-то давно пытался сам найти, но на тот момент - безуспешно...

_________________
iLavr


07 Oct 2017 16:34
Profile
Senior

Joined: 21 Mar 2017 13:50
Posts: 185
Location: Spb
Reply with quote
Ну тогда пару даташитов от разных, на всякий.


Attachments:
dg401-03.pdf [286.45 KiB]
Downloaded 28 times
dg401.pdf [245.28 KiB]
Downloaded 32 times
07 Oct 2017 16:46
Profile
Supreme God
User avatar

Joined: 21 Oct 2009 09:08
Posts: 7777
Location: Россия
Reply with quote
AlexanderZh wrote:
табличка переноса в старший разряд:

Image

Интересная табличка... очень похожа на НЕ XOR.
Если XOR позиционируют как "что-то но не всё", то эта табличка явно: "только всё"!

А точно правильная? С таблицами переноса у меня еще хуже - двух даже примерно похожих нет,
и ни одна не похожа на эту... :-?


P.S. Точно, это практически ОНО и есть. Но в троичной логике называется модно: Consensus
Quote:
In Boolean logic, the inverse of exclusive or is true when the two inputs are the same, and false when they are different. There are several natural extensions of this idea to ternary logic. One of them is the logical consensus of a set of variables, which is true if all are true, false if all are false, and otherwise unknown:
Attachment:
Consensus.gif
Consensus.gif [ 3.69 KiB | Viewed 1740 times ]

Так что вопрос с правильностью таблицы снят. И стало понятно, откуда у меня такое разнообразие таблиц:
разные авторы используют как различные троичные системы, так и разные кодировки.

_________________
iLavr


07 Oct 2017 17:21
Profile
Senior

Joined: 21 Mar 2017 13:50
Posts: 185
Location: Spb
Reply with quote
Lavr wrote:
Но в троичной логике называется модно: Consensus

Логично)) Только единое мнение даст результат!


08 Oct 2017 03:36
Profile
Display posts from previous:  Sort by  
Reply to topic   [ 48 posts ]  Go to page 1, 2, 3, 4  Next

Who is online

Users browsing this forum: No registered users and 2 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB® Forum Software © phpBB Group
Designed by ST Software.