Logical Operators

Часть раздела Основы путешествия по Verilog на Coddy. Урок 24 из 90.

Логические операторы работают с целыми значениями и возвращают один результат: 1 (истина) или 0 (ложь). В отличие от побитовых операторов, которые работают побитно, логические операторы рассматривают всё значение либо как истинное (non-zero), либо как ложное (zero).

Тип	Пример	Результат
Bitwise И	`4'b1010 & 4'b1100`	`4'b1000` (multiple bits)
Logical И	`(4'b1010 && 4'b1100)`	`1` (single bit)

Доступные логические операторы

Оператор	Значение	Описание
`&&`	Логическое И	Истина, если both операнда истинны (non-zero)
`\|\|`	Логическое ИЛИ	Истина, если истинно at least one из операндов
`!`	Логическое НЕ	Истина, если операнд ложен (zero)

Как это работает

Логическое AND (&&):

(5 && 3)   // 1 (оба ненулевые)
(5 && 0)   // 0 (второй равен нулю)
(0 && 0)   // 0 (оба нулевые)

Логическое OR (||):

(5 || 3)   // 1 (хотя бы одно ненулевое)
(5 || 0)   // 1 (первое ненулевое)
(0 || 0)   // 0 (оба нуля)

Логическое НЕ (!):

!5         // 0 (ненулевое становится false)
!0         // 1 (ноль становится true)

Пример кода

module logical_demo;
  reg [3:0] a, b;
  reg and_res, or_res, not_res;
  
  initial begin
    a = 5;
    b = 0;
    
    and_res = (a && b);   // 5 && 0 = 0
    or_res  = (a || b);   // 5 || 0 = 1
    not_res = !a;         // !5 = 0
    
    $display("5 && 0 = %d", and_res);
    $display("5 || 0 = %d", or_res);
    $display("!5     = %d", not_res);
    $finish;
  end
endmodule

Вывод:

5 && 0 = 0
5 || 0 = 1
!5     = 0

Распространённое применение

Логические операторы используются в операторах if и условиях:

if (a && b)           // Истинно, если оба a и b ненулевые
  $display("Both true");

if (a || b)           // Истинно, если хотя бы один ненулевой
  $display("At least one true");

if (!reset)           // Истинно, когда reset равен 0
  $display("Reset is inactive");

Задание

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

Что нужно сделать:

Check, являются ли value1 И value2 both истинными, и сохраните результат в and_out
Check, является ли value1 ИЛИ value2 истинным, и сохраните результат в or_out
Check, является ли value1 ложным, и сохраните результат в not_out

Попробуйте сами

module logical_challenge;
  reg [3:0] value1, value2;
  reg and_out, or_out, not_out;
  
  initial begin
    value1 = 4'd12;
    value2 = 4'd5;
    
    and_out = ______;   // value1 && value2
    or_out  = ______;   // value1 || value2
    not_out = ______;   // !value1
    
    $display("%d && %d = %d", value1, value2, and_out);
    $display("%d || %d = %d", value1, value2, or_out);
    $display("!%d     = %d", value1, not_out);
    $finish;
  end
endmodule