схемотехники
и
архитектура компьютера
Лаб. 1. Программы с
разветвлениями
• Функциональная организация
Лаб. 2. Циклы
ЭВМ.
Лаб. 3. Подпрограммы и стек
• Основные подсистемы ЭВМ.
Лаб. 4. Микрокомандный уровень
• Базовая архитектура МПС.
Лаб. 5. Связь с внешними
устройствами
Электронные ресурсы
1) Курс лекций «Микросхемотехника»
2) Курс лекций «Архитектура ЭВМ»
3) Основы функционирования ЭВМ
М.у. к выполнению лаб. работ № К1 – К5
4) Внешние устройства. М.у. к выполнению лаб. работ № К6
Программное обеспечение
1) EWB 5.0 (EWB 5.12) 11 MB
2) АЛУ-1 0,85 MB
3) АЛУ-R 2,5 MB
4) «Супермодель» 0,5 MB
5) Proteus-8x
() ПТЦА 2019 год 7 / 90
ПТЦА
È Ç Ñ È Ç Ñ
Äèýëåêòðèê
p+ p+ n+ n+
Si
n p
Ïîäëîæêà
В чистом или слабо легированном кремнии, который называют
подложкой, диффузией созданы сильно легированные области
противоположного по сравнению с подложкой типа проводимости. Это
области стока (С) и истока (И). Металлический электрод затвора (3)
(алюминий, молибден, вольфрам или легированный
поликристаллический кремний) изолирован от подложки.
() ПТЦА 2019 год 20 / 90
Семейство статических стоковых характеристик
МДП-транзистора
Ic, mA
Ëèíåéíàÿ îáëàñòü
Ucè íàñ
8 Uçè = 10 Â
Îáëàñòü ïðîáîÿ
6 Uçè = 8 Â
4 Îáëàñòü íàñûùåíèÿ
Uçè = 6 Â
2
Uçè = 4 Â
Ucè, V
0 5 10 15 20 25
+Ucc
Iк R Iк
Uвых
T
Uвх
Uвх
0,4в 2,4в 5в
Лог. “0” Запрещено Лог. “1”
+Ucc +Ucc
R R
Iн
Uвых
T Лог. “1” T Uвых = Ucc - Iн*R
Uвх
Лог. “0”
+Ucc +Ucc
R R
Uвых
T Лог. “0” Uвых = 0
Uвх
Лог. “1”
X 1 × X 2 × . . . × Xn → N,
где x1 ∈ X1 , x2 ∈ X2 , ..., xn ∈ Xn — множества, на которых определены
аргументы.
Логическая функция называется однородной, если она принимает
значения из того же множества, что и все её аргументы, т. е.
X1 = X2 = . . . = Xn = N. Тогда множество однородных логических
функций от n переменных можно рассматривать как отображение
N n → N.
1) Табличный;
2) Аналитический;
3) Графический.
x 0 1 y
y0 0 0 const «0»
y1 0 1 x
y2 1 0 x
y3 1 1 const «1»
x1 0 0 1 1 Наименование
x2 0 1 0 1 функции
y0 0 0 0 0 const «0»
y1 0 0 0 1 конъюнкция: x1 &x2 (x1 ∧ x2 )(x1 · x2 )(x1 x2 )
y2 0 0 1 0 запрет по x2 : x1 &x 2
y3 0 0 1 1 переменная x1
y4 0 1 0 0 запрет по x1 : x 1 &x2
y5 0 1 0 1 переменная x2
y6 0 1 1 0 неравнозначность: x1 ⊕ x2 = x 1 x2 ∨ x1 x 2
y7 0 1 1 1 дизъюнкция: x1 ∨ x2
x1 0 0 1 1 Наименование
x2 0 1 0 1 функции
y8 1 0 0 0 стрелка Пирса: x1 ↓ x2 = x1 ∨ x2
y9 1 0 0 1 равнозначность: x1 ≡ x2 = x1 x2 ∨ x 1 x 2
y10 1 0 1 0 инверсия x2 : x 2
y11 1 0 1 1 импликация x2 → x1
y12 1 1 0 0 инверсия x1 : x 1
y13 1 1 0 1 импликация x1 → x2
y14 1 1 1 0 штрих Шеффера: x1 /x2 = x1 &x2
y15 1 1 1 1 const «1»
y0 = x1 &x1 ;
y4 = x1 &x 2 ;
y 9 = x 1 ≡ x 2 = x 1 x2 ∨ x 1 x 2
y13 = x 1 ∨ x2
x1 ∨ x2 = x 1 &x 2 x1 &x2 = x 1 ∨ x 2
K0 = {y0 , y1 , y2 , y3 , y4 , y5 , y6 , y7 }.
y0 = 0; y3 = x1 ; y5 = x2 ; y6 = x1 ⊕ x 2 ;
|KL | = 2n+1 .
Km = {y0 , y1 , y3 , y7 , y15 }.
f (x1 , x2 ) = f (x 1 , x 2 ).
K0 K1 KL Km Ks
y0 1 0 1 1 0
y1 1 1 0 1 0
y2 1 0 0 0 0
y3 1 1 1 1 1
y4 1 0 0 0 0
y5 1 1 1 0 1
y6 1 0 1 0 0
y7 1 1 0 1 0
y8 0 0 0 0 0
y9 0 1 1 0 0
y10 0 0 1 0 1
y11 0 1 0 0 0
y12 0 0 1 0 1
y13 0 1 0 0 0
y14 0 0 0 0 0
y15 0 1 1 1 0
K0 K1 KL Km Ks
y0 1 0 1 1 0
y1 1 1 0 1 0 конъюнкция
y2 1 0 0 0 0
y3 1 1 1 1 1
y4 1 0 0 0 0
y5 1 1 1 0 1
y6 1 0 1 0 0
y7 1 1 0 1 0 дизъюнкция
y8 0 0 0 0 0
y9 0 1 1 0 0
y10 0 0 1 0 1 инверсия
y11 0 1 0 0 0
y12 0 0 1 0 1 инверсия
y13 0 1 0 0 0
y14 0 0 0 0 0
y15 0 1 1 1 0
K0 K1 KL Km Ks
y0 1 0 1 1 0
y1 1 1 0 1 0 конъюнкция
y2 1 0 0 0 0
y3 1 1 1 1 1
y4 1 0 0 0 0
y5 1 1 1 0 1
y6 1 0 1 0 0 неравнозначность
y7 1 1 0 1 0
y8 0 0 0 0 0
y9 0 1 1 0 0
y10 0 0 1 0 1
y11 0 1 0 0 0
y12 0 0 1 0 1
y13 0 1 0 0 0
y14 0 0 0 0 0
y15 0 1 1 1 0 константа «1»
K0 K1 KL Km Ks
y0 1 0 1 1 0
y1 1 1 0 1 0
y2 1 0 0 0 0
y3 1 1 1 1 1
y4 1 0 0 0 0
y5 1 1 1 0 1
y6 1 0 1 0 0
y7 1 1 0 1 0
y8 0 0 0 0 0 Стрелка Пирса
y9 0 1 1 0 0
y10 0 0 1 0 1
y11 0 1 0 0 0
y12 0 0 1 0 1
y13 0 1 0 0 0
y14 0 0 0 0 0 Штрих Шеффера
y15 0 1 1 1 0
x&x = x ∨x =
x&x = x ∨x =
x&0 = x ∨0=
x&1 = x ∨1=
x&x = x x ∨x =x
x&x = 0 x ∨x =1
x&0 = 0 x ∨0=x
x&1 = x x ∨1=1
x1 &x2 = x 1 ∨ x 2 ; x1 ∨ x2 = x 1 &x 2
Теорема де Моргана является особенно мощным инструментом при
разработке цифровых устройств. Эта теорема поясняет, что инверсия
результата конъюнкции всех термов равно дизъюнкции инверсий
каждого терма. Аналогично инверсия дизъюнкций всех термов равна
результату конъюнкции инверсий каждого терма.
x1 e
e x3 . . . e
x2 e xn , xi ∈ {xi , x i }
где e
В общем случае:
αx ∨ αx = α
где α – терм или произвольное выражение, заключенное в скобки.
СДНФ: y = x 1 x2 x 3 ∨ x 1 x 2 x 3 ∨ x1 x 2 x 3 (K = 12)
x 1 x 2 x3 y Видно, что третий терм этого выражения является
0 0 0 0 соседним как первому, так и второму терму.
0 0 1 0 Учитывая, что x = x ∨ x, выполним эквивалентные
0 1 0 1 преобразования:
0 1 1 0
1 0 0 1 y = x 1 x 2 x 3 ∨ x1 x 2 x 3 ∨ x1 x 2 x 3 =
1 0 1 0
1 1 0 1 = x 1 x 2 x 3 ∨ x1 x 2 x 3 ∨ x1 x 2 x 3 ∨ x1 x2 x 3 =
1 1 1 0 = x2 x 3 (x 1 ∨ x1 ) ∨ x1 x 3 (x 2 ∨ x2 ) = x2 x 3 ∨ x1 x 3 (K = 6)
Х1
Х2
1 1 1
X1X3 X2X3
() ПТЦА 2019 год 52 / 90
Карта Карно для функции четырёх переменных
HEX x1 x2 x3 x4 f
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0 10 11 01 00
3 0 0 1 1
10
4 0 1 0 0
A E 6 2
5 0 1 0 1
6 0 1 1 0
11 B F 7 3
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1 01
A 1 0 1 0 9 D 5 1
B 1 0 1 1
00
C 1 1 0 0 8 C 4 0
D 1 1 0 1
E 1 1 1 0
F 1 1 1 1
y = x2 x4 ∨ x 1 x 2 x 4
y = x2 x4 ∨ x 1 x 2 x 4
1 & 1
Сумматор
Функци Пирса Функци Шеффера по модулю два
1 & M2
x1 y1
x2 y2
x3 y3
. .
. КСх .
. .
xn ym
ñ1 ñ2
a1 a2 a1 a2
õ 1 1 õ
b1 b1
õ õ õ õ õ õ õ õ
b2 õ 1 b2 õ 1
1 õ õ 1
c1 = a1 b 1 b 2 ∨ a2 b2 ∨ a1 a2 b1
c2 = a1 b1 ∨ a2 b 1 b 2 ∨ a1 a2 b2
ñ1 ñ2
a1 a2 a1 a2
õ 1 1 õ
b1 b1
õ õ õ õ õ õ õ õ
b2 õ 1 b2 õ 1
1 õ õ 1
c1 = a1 b 1 b 2 ∨ a2 b2 ∨ a1 a2 b1
c2 = a1 b1 ∨ a2 b 1 b 2 ∨ a1 a2 b2
a1 1
1 3
1 2 6 & 6 & 9
ñ1
3 8 8
a2 10 ñ2
1 4
3 1 1 1
b1 5 7 & 9
5
& 10
1 6
7 2 2
b2 & &
4 4
1 8
5 7
à) á)
C[16:1]
p16
p16 c16 c15 c2 c1
p15 p14 p2 p1
Ñóììàòîð ÎÑ ÎÑ ÎÑ ÎÑ
Описывается системой
17 булевых функций
от 33 переменных!
Обозначим:
A = a1 a2 a3 a4 - первое двоичное число;
B = b1 b2 b3 b4 - второе двоичное число;
β - признак истинности отношения A > B.
(a ≡ b) = ab ∨ ab
Обозначим:
A = a1 a2 a3 a4 - первое двоичное число;
B = b1 b2 b3 b4 - второе двоичное число;
β - признак истинности отношения A > B.
(a ≡ b) = ab ∨ ab
Обозначим:
A = a1 a2 a3 a4 - первое двоичное число;
B = b1 b2 b3 b4 - второе двоичное число;
β - признак истинности отношения A > B.
(a ≡ b) = ab ∨ ab
A 1 Y A
t
Y
t
tpd
tcd
1 0
A & t
1 0
B
1
1 2t
1 0
0 3t
C
& 1 0
Y
1
D
A
1 &
B
1
1
0 t
C
& 1 0
Y
1 0
D
Äåøèôðàòîð -
Äåøèôðàòîð Øèôðàòîð Äåìóëüòèïëåêñîð äåìóëüòèïëåêñîð
à) á) â) ã)
DC yy01 x0 DC
x1
DMS y0
y1
DC yy01
x1 y2 x2 y1 x y2 x1 y2
x2 y3 x3 y2 y3 x2 y3
x3 y4 x4 y3 y4 x3 y4
y5 x5 a1 y5 y5
y6 x6 a2 y6 y6
y7 x7 a3 y7 w y7
Êîìáèíàöèîííûé ÀËÁ
Ìóëüòèïëåêñîð Ñõåìà ñðàâíåíèÿ ç) a1 ALU p4
ä) ñ÷åò÷èê
x0 å) a1 = =
æ) a2
a3
x1 MS a2
CNT a4 c1
x2 a3 a1 c1 b1 c2
x3 > b2
x4 a4 a2 c2 c3
x5 y = b3
x6 b1 a3 c3 b4 c4
x7
b2
< a4 c4 p0
a1 b3 f1
a2 b4 f2
a3 f3
Ìóëüòèïëåêñîð Äåìóëüòèïëåêñîðû
à) á) â)
x1 x x
& & y1 & y1
2
1 1 4
x2 & y2
& 2 & y2
2 2 3
1 y
x3 & y3
& 1 & y3
3 3 4
x4 & y4
& 1 & y4
4 4 3
1 3
1 1 a1 1 2
a1 DC 2
a1 DC 2
a0 3 a0 3
a0 1 4
4 4
0
0 0 1
0 1 1
x1 1 1
1 & 0 1 0 & y
0
1 0
0 1
1 0
& 1 1
0 0
x2 1
Очевидно, y = x1 &x2 .
0
0 0 1
0 1 1
x1 1 1
1 & 0 1 0 & y
0
1 0
0 1
1 0
& 1 1
0 0
x2 1
Очевидно, y = x1 &x2 .
x1 x1
& 1
x2
y
= x2
y
x1
1 x1
&
x2
y
= x2
y
A
1
B
&
C
& Y
D
Y =??
() ПТЦА 2019 год 89 / 90
Пример анализа комбинационной схемы
2. Перемещаем инверсию выходного конъюнктора
A
1
B
&
C
1 Y
D
Y =??
() ПТЦА 2019 год 89 / 90
Пример анализа комбинационной схемы
3. Убираем двойную инверсию
A
1
B
&
C
1 Y
D
Y =??
() ПТЦА 2019 год 89 / 90
Пример анализа комбинационной схемы
4. Перемещаем инверсию с выхода на вход дизъюнктора
A &
B
&
C
1 Y
D
Y =ABC ∨D
() ПТЦА 2019 год 89 / 90
Ещё один анализ цифровой схемы
y1 y2 x1 x2 y1 y2
0 0
0 1
1 0
x1 x2
1 1