Проектирование логики
Часть раздела Основы путешествия по Verilog на Coddy — урок 44 из 90.
Задание
Проектирование логики означает определение уравнений, необходимых схеме на основе таблицы истинности.
Таблица истинности:
| a | b | sum | carry |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 |
Шаг 2: Найдите закономерность для sum
- sum = 1, когда a=0,b=1 или a=1,b=0
- sum = 1, когда a и b различаются
- Различаются = XOR →
sum = a ^ b
Шаг 3: Найдите закономерность для carry
- carry = 1 только когда a=1 и b=1
- Оба = AND →
carry = a & b
Шаг 4: Напишите уравнения
sum = a ^ b
carry = a & b
Что нужно сделать:
Ваша задача — добавить недостающие логические уравнения внутри модуля.
1. Добавьте оператор assign для sum (a XOR b)
2. Добавьте оператор assign для carry (a AND b)
Попробуйте сами
module half_adder (
input a,
input b,
output sum,
output carry
);
endmoduleВсе уроки раздела Основы
1Введение
Что такое VerilogHardware против SoftwareУровни абстракции проектированияВаш первый модульКомментарии4Операторы. Часть 1
Арифметические операторыОператор остатка от деленияОператоры сравненияПовторение: простая математикаПобитовые операторы7Оператор Assign и логические вентили
Непрерывное присваиваниеAssign с операторамиВстроенные примитивы вентилейВентили AND, OR, NOTВентили XOR, XNORИтоги: Схемы на логических вентилях10Принятие решений
Оператор ifКонструкция if - elseПовторение: простой компараторОператор caseОператоры casex и casezПовторение: проектирование ALU5Операторы. Часть 2
Логические операторыОператоры редукцииОператоры сдвигаОператор конкатенацииУсловный операторПовторение — Испытание по операторам
3Системы счисления
Двоичное представлениеЧисла с заданным размеромЧисла без заданного размераОтрицательные числаСпециальные значения X и ZИтоги — форматы чисел6Модули
Структура модуляВходные и выходные портыПорты InoutИнстанцирование модуляПодключение портов по имениПодключение портов по порядкуИтоги: создание модуля9Процедурные блоки
Блок alwaysБлок initialСписок чувствительностиБлокирующее присваиваниеНеблокирующее присваиваниеИтоги: always против initial