Writing The Testbench
جزء من قسم الأساسيات في رحلة Verilog على Coddy. الدرس 45 من 90.
التحدي
نحتاج الآن إلى اختبار ما إذا كان الجامع النصفي يعمل بشكل صحيح. أضف كود الاختبار داخل كتلة initial.
مهم: قبل إضافة الاختبار، يجب تغيير منافذ module حتى يعمل الاختبار بشكل صحيح.
ما يجب فعله:
الخطوة 1: تغيير تصريحات المنافذ
- غيّر
input a, bإلىreg a, b(استخدم الفاصلة المنقوطة) - غيّر
output sum, carryإلىwire sum, carry(استخدم الفاصلة المنقوطة) - أزل منافذ module بالكامل (يجب ألا تحتوي module على
( ))
الخطوة 2: إضافة كود الاختبار
- أضف كتلة
initial begin - أضف داخل الكتلة ما يلي:
$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);
- أضف
$finish;لإنهاء الاختبار - أضف
endلإغلاق كتلة initial
جرّب بنفسك
module half_adder (
input a,
input b,
output sum,
output carry
);
assign sum = a ^ b;
assign carry = a & b;
endmoduleجميع دروس الأساسيات
4Operators 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 Logicتدرّب بنفسك: مترجم Verilog عبر الإنترنت