0

一种特定类型的位级操作包括在给定索引和新值的情况下设置或清除多位值中的单个位。此操作可以通过具有以下接口的 BitSet 电路在硬件中实现：

  • 输入 x 是一个 4 位值，表示原始值。
  • 输出 y 是一个 4 位值，表示在位设置操作之后的修改值。
  • 输入索引是一个 2 位的值，范围从 0 到 3，表示要修改的位的索引。
  • 输入值是设置为 0 或 1 的 1 位值，表示位索引应在输出 y 中取的值。y 中的每个其他位都应与 x 中的相应位匹配。

这是我从课堂示例中获取的代码：

module BitSet(input [3:0]x,
         input [1:0]index,
         input value,
         output [3:0]y);
   always@(x,index,value);
   begin
      if (index = 2'b00) 
        y[0] = value;
     if(index = 2'b01)
        y[1]=value;
     if(index = 2'b10)
        y[2]=value;
     if(index=2'b11)
        y[3]=value;
   end
 endmodule

这是测试台：

module BitSet_tb();
    reg [3:0]x;
    reg [1:0]index;
    reg value;
    wire [3:0]y;

    BitSet uut(
      .x(x),
      .index(index),
      .value(value),
      .y(y)
    );

    initial begin
        $monitor ("%d %b %b %b %b", $time, x, index, value, y);
           x=4'b0000;
           index=2'b00;
           value=1'b0;
       #10 x=4'b0001;
           index=2'b01;
           value=1'b0;
       #10 x=4'b1111;
           index=2'b10;
           value=1'b0;
       #10 x=4'b1111;
           index=2'b11;
           value=1'b0;
       #10 $finish;
     end
 endmodule

编译时，我收到以下错误：

bitset.v:10: syntax error
bitset.v:12: error: invalid module item.
bitset.v:13: syntax error
bitset.v:14: error: invalid module item.
bitset.v:15: syntax error
bitset.v:16: error: invalid module item.
bitset.v:17: syntax error
bitset.v:18: error: invalid module item.
bitset.v:19: syntax error

我什至不确定这是否可以满足我的要求，但是任何人都可以帮助解决错误或如何修复程序以执行要求的操作吗？

4

1 回答 1

1

不，即使语法错误已修复，这也不会满足您的要求。我将帮助您解决语法错误并尝试为您指出解决问题的正确路径（我认为在 SO 上我们不应该彻底解决硬件问题！）

module BitSet(input  [3:0] x,
              input  [1:0] index,
              input        value,
              output reg [3:0] y); // y needs to be of type reg if you're
                                   // going to use it in a procedural block
                                   // (like an always block)

   // The * infers the sensitivity list, no need to list out each signal.
   // Also, you can't have a semicolon here.
   always@(*) 
   begin
     // Like in C, a single "=" is an assignment, while a compare is "==".
     // You want to compare index to 2'b00, not assign it that value, 
     if (index == 2'b00) 
        y[0] = value;
     if (index == 2'b01)
        y[1] = value;
     if (index == 2'b10)
        y[2] = value;
     if (index == 2'b11)
        y[3] = value;
   end
 endmodule

现在，要获得正确的功能......你几乎就在那里，实际上可以用一条额外的线来完成。我对你的问题是：在你的代码中，y 中应该取 x 的直接值而不被改变的位会发生什么？您的代码是否准确地处理了这个问题？如果没有，需要做些什么来处理这个问题？

只是为了好玩，这里有一个更新了 SystemVerilog 语法的版本：

module BitSet(input  [3:0] x,
              input  [1:0] index,
              input        value,
              output logic [3:0] y); // "logic" type can be used as a wire or reg

   // Just like always @(*), but directly indicates that this
   // is combinational logic. Tools will throw an error if you
   // accidentally encode a latch (which you have done!)
   always_comb 
   begin
     if (index == 2'b00)
        y[0] = value;
     if (index == 2'b01)
        y[1] = value;
     if (index == 2'b10)
        y[2] = value;
     if (index == 2'b11)
        y[3] = value;
   end
endmodule
于 2016-02-04T05:24:25.693 回答