在期望得到正确输出时获取 Z 值。

huangapple go评论56阅读模式
英文:

Getting Z values when expecting a proper output

问题

以下是您的代码的翻译部分:

module ECE228_2(
    input [7:0] A,
    input [3:0] B,
    input [3:0] C,
    output [4:0] Out
    );
    
    wire Odds, XEvens, Evens;
    wire [3:0] Bit4AddOut, Bit4AddCarry, Bit4SubOut, Bit4SubCarry, NotC;
    wire [4:0] EvenMuxOut;
    
    //C inversion for 2's Complement Subtraction
    not xC0(NotC[0], C[0]);
    not xC1(NotC[1], C[1]);
    not xC2(NotC[2], C[2]);
    not xC3(NotC[3], C[3]);
    
    //Generate The Xor of the Odd Positions to check for odd # of 1's
    xor xo0(Odds, A[1], A[3], A[5], A[7]);
    
    //Generate the Xor of the Even Positions and reverse it to check for even # of 1's
    xor xo1(XEvens, A[0], A[2], A[4], A[6]);
    not evenflip(Evens, XEvens);
    
    //4 Bit Add of B and C in case it is desired output
    FullAdd FA0(B[0], C[0], 1'b0, Bit4AddOut[0], Bit4AddCarry[0]);
    FullAdd FA1(B[1], C[1], Bit4AddCarry[0], Bit4AddOut[1], Bit4AddCarry[1]);
    FullAdd FA2(B[2], C[2], Bit4AddCarry[1], Bit4AddOut[2], Bit4AddCarry[2]);
    FullAdd FA3(B[3], C[3], Bit4AddCarry[2], Bit4AddOut[3], Bit4AddCarry[3]);
    
    //4 Bit Subtract of B and C in case it is desired output
    FullAdd FAS0(B[0], NotC[0], 1'b1, Bit4SubOut[0], Bit4SubCarry[0]);
    FullAdd FAS1(B[1], NotC[1], Bit4SubCarry[0], Bit4SubOut[1], Bit4SubCarry[1]);
    FullAdd FAS2(B[2], NotC[2], Bit4SubCarry[1], Bit4SubOut[2], Bit4SubCarry[2]);
    FullAdd FAS3(B[3], NotC[3], Bit4SubCarry[2], Bit4SubOut[3], Bit4SubCarry[3]);
    
    //2:1 Mux with even positions check as sel and (A-B) as true cases and 00000 as false case (5 Bits)
    MUX2_1 EvenMux0(Bit4SubOut[0], 1'b0, Evens, EvenMuxOut[0]);
    MUX2_1 EvenMux1(Bit4SubOut[1], 1'b0, Evens, EvenMuxOut[1]);
    MUX2_1 EvenMux2(Bit4SubOut[2], 1'b0, Evens, EvenMuxOut[2]);
    MUX2_1 EvenMux3(Bit4SubOut[3], 1'b0, Evens, EvenMuxOut[3]);
    MUX2_1 EvenMux4(Bit4SubCarry[3], 1'b0, Evens, EvenMuxOut[4]);
    
    //2:1 Mux with odd positions check as sel and (A+B) as true case and even check as false case
    MUX2_1 OddMux0(Bit4AddOut[0], EvenMuxOut[0], Odds, Out[0]);
    MUX2_1 OddMux1(Bit4AddOut[1], EvenMuxOut[1], Odds, Out[1]);
    MUX2_1 OddMux2(Bit4AddOut[2], EvenMuxOut[2], Odds, Out[2]);
    MUX2_1 OddMux3(Bit4AddOut[3], EvenMuxOut[3], Odds, Out[3]);
    MUX2_1 OddMux4(Bit4AddCarry[3], EvenMuxOut[4], Odds, Out[4]);
endmodule

//需要一个2:1 MUX模块
module MUX2_1(
    input MuxTrue,
    input MuxFalse, 
    input MuxSel,   
    output MuxOut
    );

    wire MuxA1, MuxA2, XMuxSel;
    
    //选择器取反
    not XSel(XMuxSel, MuxSel);
    
    //当Sel为1时
    and MATrue(MuxA1, MuxTrue, MuxSel);
    
    //当Sel为0时
    and MAFalse(MuxA2, MuxFalse, XMuxSel);
    
    //这两种情况的或
    or MuxOr(MuxOut, MuxA1, MuxA2);
endmodule

//需要一个全加器模块
module FullAdd(
    input FAin1,
    input FAin2,
    input FACin,
    output FAOut,
    output FACout
    );
    
    wire FAWHA1Out, FAWHA1Cout, FAWHA2Cout;
    
    //两次半加器调用
    HalfAdd FA_HA1(FAin1, FAin2, FAWHA1Cout, FAWHA1Out);
    HalfAdd FA_HA2(FAWHA1Out, FACin, FAWHA2Cout, FAOut);
    or FAOr(FACout, FAWHA1Cout, FAWHA2Cout);
endmodule

//需要一个半加器模块
module HalfAdd(
    input HAin1,
    input HAin2,
    output HACout,
    output HAOut
    );
    
    //半加器的门设计
    //相加但在进位条件下输出0
    xor HAXOR(HAOut, HAin1, HAin2);
    //检查进位条件
    and HAAND(HACout, HAin1, HAin2);
endmodule

这是测试台的一部分:

module ECE228_2_test;
    reg [7:0] A;
    reg [3:0] B;
    reg [3:0] C;
    wire [4:0] Out;

    ECE228_2 uut (
        .A(A),
        .B(B),
        .C(C),
        .Out(Out)
    );

    initial
    begin
        B = 

<details>
<summary>英文:</summary>

Below is my code. It was supposed to output the addition of B+C when &#39;Odds&#39; is true, and the subtraction of B-C when &#39;Evens&#39; is true and &#39;Odds&#39; is false. And then 0 when neither are true. I am getting ZZZ for the output of my full adder below - although all of the logic should be correct. I have checked multiple times...If you can help identify why my code is working that would be greatly appreciated.


module ECE228_2(
input [7:0] A,
input [3:0] B,
input [3:0] C,
output [4:0] Out
);

wire Odds, XEvens, Evens;
wire [3:0]Bit4AddOut, Bit4AddCarry, Bit4SubOut, Bit4SubCarry, NotC;
wire [4:0]EvenMuxOut;
//C inversion for 2&#39;s Complement Subtraction
not xC0(NotC[0],C[0]);
not xC1(NotC[1],C[1]);
not xC2(NotC[2],C[2]);
not xC3(NotC[3],C[3]);
//Generate The Xor of the Odd Positions to check for odd # of 1&#39;s
xor xo0(Odds,A[1],A[3],A[5],A[7]);
//Generate the Xor of the Even Positions and reverse it to check for even # of 1&#39;s
xor xo1(XEvens,A[0],A[2],A[4],A[6]);
not evenflip(Evens,XEvens);
//4 Bit Add of B and C in case it is desired output
FullAdd FA0(B[0],C[0],1&#39;b0,Bit4AddOut[0],Bit4AddCarry[0]);
FullAdd FA1(B[1],C[1],Bit4AddCarry[0],Bit4AddOut[1],Bit4AddCarry[1]);
FullAdd FA2(B[2],C[2],Bit4AddCarry[1],Bit4AddOut[2],Bit4AddCarry[2]);
FullAdd FA3(B[3],C[3],Bit4AddCarry[2],Bit4AddOut[3],Bit4AddCarry[3]);
//4 Bit Subtract of B and C in case it is desired output
FullAdd FAS0(B[0],NotC[0],1&#39;b1,Bit4SubOut[0],Bit4SubCarry[0]);
FullAdd FAS1(B[1],NotC[1],Bit4SubCarry[0],Bit4SubOut[1],Bit4SubCarry[1]);
FullAdd FAS2(B[2],NotC[2],Bit4SubCarry[1],Bit4SubOut[2],Bit4SubCarry[2]);
FullAdd FAS3(B[3],NotC[3],Bit4SubCarry[2],Bit4SubOut[3],Bit4SubCarry[3]);
//2:1 Mux with even positions check as sel and (A-B) as true cases and 00000 as false case (5 Bits)
MUX2_1 EvenMux0(Bit4SubOut[0],1&#39;b0,Evens,EvenMuxOut[0]);
MUX2_1 EvenMux1(Bit4SubOut[1],1&#39;b0,Evens,EvenMuxOut[1]);
MUX2_1 EvenMux2(Bit4SubOut[2],1&#39;b0,Evens,EvenMuxOut[2]);
MUX2_1 EvenMux3(Bit4SubOut[3],1&#39;b0,Evens,EvenMuxOut[3]);
MUX2_1 EvenMux4(Bit4SubCarry[3],1&#39;b0,Evens,EvenMuxOut[4]);
//2:1 Mux with odd positions check as sel and (A+B) as true case and even check as false case
MUX2_1 OddMux0(Bit4AddOut[0],EvenMuxOut[0],Odds,Out[0]);
MUX2_1 OddMux1(Bit4AddOut[1],EvenMuxOut[1],Odds,Out[1]);
MUX2_1 OddMux2(Bit4AddOut[2],EvenMuxOut[2],Odds,Out[2]);
MUX2_1 OddMux3(Bit4AddOut[3],EvenMuxOut[3],Odds,Out[3]);
MUX2_1 OddMux4(Bit4AddCarry[3],EvenMuxOut[4],Odds,Out[4]);

endmodule

//Need a 2:1 MUX Module
module MUX2_1(
input MuxTrue,
input MuxFalse,
input MuxSel,
output MuxOut
);

wire MuxA1, MuxA2, XMuxSel;
//Selector Not
not XSel(XMuxSel,MuxSel);
//When Sel is 1
and MATrue(MuxA1,MuxTrue,MuxSel);
//When Sel is 0
and MAFalse(MuxA2,MuxFalse,XMuxSel);
//Or of the cases
or MuxOr(MuxOut,MuxA1,MuxA2);

endmodule

//Need a Full Adder Module
module FullAdd(
input FAin1,
input FAin2,
input FACin,
output FAOut,
output FACout
);

wire FAWHA1Out,FAWHA1Cout,FAWHA2Cout;
//Both calls to Half Adder
HalfAdd FA_HA1(FAin1,FAin2,FAWHA1Cout,FAWHA1Out);
HalfAdd FA_HA2(FAWHA1Out,FACin,FAWHA2Cout,FAout);
or FAOr(FACout,FAWHA1Cout,FAWHA2Cout);

endmodule

//Need a Half Adder Module
module HalfAdd(
input HAin1,
input HAin2,
output HACout,
output HAOut
);

//Gate design of a half adder
//Add but output 0 for carryover condition
xor HAXOR(HAOut,HAin1,HAin2);
//check for carryover condition
and HAAND(HACout,HAin1,HAin2);

endmodule


Here is the test bench: 

module ECE228_2_test;
reg [7:0]A;
reg [3:0]B;
reg [3:0]C;
wire [4:0]Out;

ECE228_2 uut (
.A(A),
.B(B),
.C(C),
.Out(Out)
);

initial
begin
B = 4'b0111; //B = 7
C = 4'b0011; //C = 3
//Start counting
A = 8'b00000000;
#10 A = 8'b00000001;
#10 A = 8'b00000010;
#10 A = 8'b00000011;
#10 A = 8'b00000100;
#10 A = 8'b00000101;
#10 A = 8'b00000111;
#10 A = 8'b00001000;
//Too many to count - Lets do some random instead
#10 A = 8'b11011000;
#10 A = 8'b00011110;
#10 A = 8'b10100101;
#10 A = 8'b00110101;
#10 A = 8'b11001010;
#10 A = 8'b11100001;
#10 A = 8'b11111111;
#10 A = 8'b01011010;
#10 A = 8'b01110010;
end
endmodule


Here is the output of the objects:
![enter image description here](https://i.stack.imgur.com/bcCoV.png)
</details>
# 答案1
**得分**: 0
Verilog是一种区分大小写的语言。这意味着命名为“FAout”的信号与命名为“FAOut”的信号不同。
“FullAdd”模块的输出端口“FAOut”未连接,这意味着它将具有高阻抗值(`z`)。您可能想要将“FA_HA2”实例的输出连接到“FAOut”端口,而不是命名为“FAout”的信号。
以下是修复后的模块版本:
```verilog
module FullAdd(
input FAin1,
input FAin2,
input FACin,
output FAOut,
output FACout
);
wire FAWHA1Out, FAWHA1Cout, FAWHA2Cout;
// 两次调用半加器
HalfAdd FA_HA1(FAin1, FAin2, FAWHA1Cout, FAWHA1Out);
HalfAdd FA_HA2(FAWHA1Out, FACin, FAWHA2Cout, FAOut);
or FAOr(FACout, FAWHA1Cout, FAWHA2Cout);
endmodule

全加器不再具有z输出。

默认情况下,Verilog不要求您声明所有信号。您还可以更改默认行为,要求显式声明信号,使用此编译指令:

`default_nettype none

这有助于您发现常见的编码错误,如上述所示。

错误-[IND] 未声明的标识符
标识符'FAout'尚未声明。如果不希望出现此错误,请检查是否已将default_nettype设置为none

英文:

Verilog is a case-sensitive language. This means that the signal named FAout is different from the one named FAOut.

The FullAdd module output port, FAOut, is undriven, which means it will have the high-impedance value (z). You likely meant to connect the output of the FA_HA2 instance to the FAOut port instead of the signal named FAout.

Here is the fixed version of the module:

module FullAdd(
input FAin1,
input FAin2,
input FACin,
output FAOut,
output FACout
);
wire FAWHA1Out,FAWHA1Cout,FAWHA2Cout;
//Both calls to Half Adder
HalfAdd FA_HA1(FAin1,FAin2,FAWHA1Cout,FAWHA1Out);
HalfAdd FA_HA2(FAWHA1Out,FACin,FAWHA2Cout,FAOut);
or FAOr(FACout,FAWHA1Cout,FAWHA2Cout);
endmodule    

The full adder no longer has z output.

By default, Verilog does not require you to declare all signals. You could also change the default behavior and require explicitly declared signals using this compiler directive:

`default_nettype none

This helps you find common coding mistakes like this.

Error-[IND] Identifier not declared
Identifier &#39;FAout&#39; has not been declared yet. If this error is not expected,
please check if you have set `default_nettype to none.

huangapple
  • 本文由 发表于 2023年2月20日 00:47:20
  • 转载请务必保留本文链接:https://go.coder-hub.com/75501746.html
匿名

发表评论

匿名网友

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen:

确定