Writing The Testbench
Parte de la sección Fundamentos del Journey de Verilog de Coddy. Lección 45 de 90.
Desafío
Ahora necesitamos probar si el sumador de medio bit funciona correctamente. Añade el código de prueba dentro del bloque initial.
Importante: Antes de añadir la prueba, debes cambiar los puertos del módulo para que la prueba funcione correctamente.
Qué hacer:
Paso 1: Cambiar las declaraciones de los puertos
- Cambia
input a, bporreg a, b(usa el punto y coma) - Cambia
output sum, carryporwire sum, carry(usa el punto y coma) - Elimina por completo los puertos del módulo (el módulo no debe tener
( ))
Paso 2: Añadir el código de prueba
- Añade un bloque
initial begin - Dentro del bloque, añade:
$display("a b | sum carry");
a = 0; b = 0; #1 $display("%d %d | %d %d", a, b, sum, carry);
a = 0; b = 1; #1 $display("%d %d | %d %d", a, b, sum, carry);
a = 1; b = 0; #1 $display("%d %d | %d %d", a, b, sum, carry);
a = 1; b = 1; #1 $display("%d %d | %d %d", a, b, sum, carry);
- Añade
$finish;para finalizar la prueba - Añade
endpara cerrar el bloque initial
Pruébalo tú mismo
module half_adder (
input a,
input b,
output sum,
output carry
);
assign sum = a ^ b;
assign carry = a & b;
endmoduleTodas las lecciones de Fundamentos
1Introducción
Qué es VerilogHardware frente a softwareTu primer móduloComentariosNiveles de abstracción del diseño4Operators Part 1
Arithmetic OperatorsModulo OperatorComparison OperatorsRecap - Simple MathBitwise Operators7Assign And Gates
Continuous AssignmentAssign With OperatorsBuilt In Gate PrimitivesAND OR NOT GatesXOR XNOR GatesRecap - Logic Gate Circuit10Decision Making
If StatementIf - ElseRecap - Simple ComparatorCase StatementCasex And CasezRecap - ALU Design5Operators Part 2
Logical OperatorsReduction OperatorsShift OperatorsConcatenation OperatorConditional OperatorRecap - Operator Challenge3Number System
Binary RepresentationSized NumbersUnsized NumbersNegative NumbersSpecial Values X And ZRecap - Number Formats6Modules
Module StructureInput And Output PortsInout PortsModule InstantiationPort Mapping By NamePort Mapping By OrderRecap - Build A Module9Procedural Blocks
Always BlockInitial BlockSensitivity ListBlocking AssignmentNon Blocking AssignmentRecap - Always vs Initial15Traffic Light Controller
Defining The StatesState Machine LogicPractica por tu cuenta: Compilador de Verilog online