Verilog:挑出一个数组中的非零数据并按原顺序排列

刘中凯lzk

挑出一个数组中的非零数据并按原顺序排列，要求使用组合逻辑在一个周期内实现，例：一个数组input wire[7:0]array[0:7]=[0,1,0,3,0,5,0,7]，得到[7:0]new_array[0:7]=[1,3,5,7,0,0,0,0]。常规操作，首先得到原始数组的对应非零数据的下标（如：indix[i]），再对原始数组进行取数存到另一个新数组（如：new_array[j]=array[indix[i]]）。
问题1：怎么实现？generate-for方法？
问题2：更好的实现方法？

刘中凯lzk

挑出一个数组中的非零数据并按原顺序排列

IC.Michael

提供一个思路，尚未编译，仅供参考。

1. module ARRAY_SORT #(
   
2.         parameter W = 8,
   
3.         parameter N = 8
   
4. )(
   
5.         input  wire                clk      ,// Clk
   
6.         input  wire [N-1:0][W-1:0] array    ,// Packed Array
   
7.         output reg  [N-1:0][W-1:0] array_new // Packed Array
   
8. );
   
9. 
   
10. localparam CNT_W = $clog2(N);
    
11. 
    
12. //==================================================================
    
13. wire [N-1:0] nonzero_sts;
    
14. generate
    
15.         genvar i;
    
16.         for (i=0; i<N; i=i+1) begin : GEN_NONZERO_STS
    
17.                 assign nonzero_sts[i] = |array[i];
    
18.         end
    
19. endgenerate
    
20. 
    
21. //==================================================================
    
22. wire [N-1:0][CNT_W:0] location_ptr;
    
23. assign location_ptr[0] = nonzero_sts[0];
    
24. generate
    
25.         genvar j;
    
26.         for (j=1; j<N; j=j+1) begin : GEN_LOCATION_PTR
    
27.                 assign location_ptr[j] = location_ptr[j-1] + nonzero_sts[j];
    
28.         end
    
29. endgenerate
    
30. 
    
31. //==================================================================
    
32. generate
    
33.         genvar k;
    
34.         for (k=0; k<N; k=k+1) begin : GEN_ARRAY_NEW
    
35.                 always @(posedge clk) begin
    
36.                         if (nonzero_sts[k]) array_new[location_ptr[k]-1] <= array[k];
    
37.                 end
    
38.         end
    
39. endgenerate
    
40. 
    
41. //==================================================================
    
42. endmodule
    

复制代码

刘中凯lzk

IC.Michael 发表于 2020-11-25 00:48
提供一个思路，尚未编译，仅供参考。

非常感谢，看来只能从原数组或新数组的下标入手，通过下标转换解决。

黄宇皓

IC.Michael 发表于 2020-11-25 00:48
提供一个思路，尚未编译，仅供参考。

厉害厉害！

刘中凯lzk

还有其他方法吗？各位小朋友

PaulDE

看你想用多大的面积来做了。譬如上面的例子，八路输入八路输出。每路输出都来自一个八路复用器。每个复用器的输入就是前面的八路，选择控制则是来自一个译码器。译码器的输入是原八路输入的投射（非零为1，零为0，这样得到一个八位数，然后去译码），译码器的逻辑用真值表自己画个卡诺图很快出来了。大致思路如此。

小兔子宝宝哒

IC.Michael 发表于 2020-11-25 00:48
提供一个思路，尚未编译，仅供参考。

由于 每个元素的 array_new 都在不同的 always 块中赋值，这可能会导致多个 always 块同时尝试驱动 array_new ，从而引发多驱动问题