Operadores Lógicos

Parte da seção Fundamentos do Journey de Verilog da Coddy — lição 24 de 90.

Operadores lógicos funcionam em valores inteiros e retornam um único resultado: 1 (verdadeiro) ou 0 (falso). Ao contrário dos operadores bitwise que funcionam bit a bit, operadores lógicos tratam o valor inteiro como verdadeiro (diferente de zero) ou falso (zero).

Tipo	Exemplo	Resultado
Bitwise AND	`4'b1010 & 4'b1100`	`4'b1000` (múltiplos bits)
Logical AND	`(4'b1010 && 4'b1100)`	`1` (único bit)

Operadores Lógicos Disponíveis

Operador	Significado	Descrição
`&&`	AND lógico	Verdadeiro se ambos os operandos forem verdadeiros (não-zero)
`\|\|`	OR lógico	Verdadeiro se pelo menos um operando for verdadeiro
`!`	NOT lógico	Verdadeiro se o operando for falso (zero)

Como Eles Funcionam

AND Lógico (&&):

(5 && 3)   // 1 (ambos não-zero)
(5 && 0)   // 0 (o segundo é zero)
(0 && 0)   // 0 (ambos zero)

OR Lógico (||):

(5 || 3)   // 1 (pelo menos um não-zero)
(5 || 0)   // 1 (primeiro não-zero)
(0 || 0)   // 0 (ambos zero)

NOT Lógico (!):

!5         // 0 (não-zero se torna falso)
!0         // 1 (zero se torna verdadeiro)

Exemplo de Código

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

Saída:

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

Uso Comum

Operadores lógicos são usados em instruções if e condições:

if (a && b)           // Verdadeiro se ambos a e b forem diferentes de zero
  $display("Both true");

if (a || b)           // Verdadeiro se pelo menos um for diferente de zero
  $display("At least one true");

if (!reset)           // Verdadeiro quando reset é 0
  $display("Reset is inactive");

Desafio

Escreva as expressões lógicas corretas para cada tarefa.

O que fazer:

Verifique se value1 E value2 são ambos verdadeiros e armazene em and_out
Verifique se value1 OU value2 é verdadeiro e armazene em or_out
Verifique se value1 é falso e armazene em not_out

Experimente você mesmo

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