Digital IC hand tearing code -- voting device

subject

Design a voting device , Input as a 5bit Vector , by 1 Agree with , by 0 Express disagreement with , When the number of people who agree is greater than the number of people who do not agree , Voter output is 1, Otherwise 0.
Ideas ： One way is in statistical vectors 1 The number of , If greater than or equal to 3, The output 1, Otherwise output 0. Another way is to consider all possible situations , in fact , As long as the value of three bits is 1, Then the voter outputs 1, Therefore, enumeration can be carried out accordingly （$C_5^3=10$）, Get the final result .

Code

`timescale 1ns / 1ps
//
// Company: 
// Engineer: 
// 
// Create Date: 2022/07/01 15:19:05
// Design Name: 
// Module Name: top
// Project Name: 
// Target Devices: 
// Tool Versions: 
// Description: 
// 
// Dependencies: 
// 
// Revision:
// Revision 0.01 - File Created
// Additional Comments:
// 
//


module top(
input logic clk,
input logic rst,
input [4:0] vote,
output logic r1,
output logic r2
    );
//1
[email protected](posedge clk,posedge rst)
if(rst)
   r1<=0;
else
   r1<=(vote[0]&vote[1]&vote[2])
      |(vote[0]&vote[1]&vote[3])
	  |(vote[0]&vote[1]&vote[4])
	  |(vote[0]&vote[2]&vote[3])
	  |(vote[0]&vote[2]&vote[4])
	  |(vote[0]&vote[3]&vote[4])
	  |(vote[1]&vote[2]&vote[3])
	  |(vote[1]&vote[2]&vote[4])
	  |(vote[1]&vote[3]&vote[4])
	  |(vote[2]&vote[3]&vote[4]);
//2
logic s1;
logic c1;
logic s2;
logic c2;
logic [2:0] sum;
assign {
    c1,s1}=vote[0]+vote[1]+vote[2];
assign {
    c2,s2}=vote[3]+vote[4];
assign sum={
    c1,s1}+{
    c2,s2};
[email protected](posedge clk,posedge rst)
if(rst)
   r2<=0;
else if(sum>=3)
   r2<=1;
else
   r2<=0;
endmodule

Test platform

module test;
logic clk;
logic rst;
logic [4:0] vote;
logic r1;
logic r2;
logic error;
//clk
initial
begin
   clk=0;
   forever
      #5 clk=~clk;
end
//rst
initial
begin
   rst=1;
   #100
   rst=0;
end
//
[email protected](posedge clk,posedge rst)
if(rst)
   vote<=0;
else 
   vote<=$urandom%32;
//
assign error=(r1!=r2)?1:0;

top U(.*
/* input logic clk, input logic rst, input [4:0] vote, output logic r1, output logic r2 */
    );
endmodule

result

summary

about N Input voter （N It's odd ）, We can also use a similar method ：
1. Find by adder 1 The number of , If sum is greater than （N-1）/2, The output of 1
2. Enumerate this N One input （N+1）/2 Combine （ common $C_N^{(N+1)/2}$ term ）, Then put them together .