data/full_repos/permissive/469509877/rtl/SlugRedDetect.v
data/verilator_xmls/6ce0c295-22a2-435b-a84e-f4ddcf31fcb5.xml
module SlugRedDetect(
    input [3:0] Red,
    input [9:0] LowerRange,
    input [9:0] UpperRange,
    input [9:0] Hcount,
    input [3:0] Green,
    output SlugRedDetect
    );
    
    assign SlugRedDetect = (LowerRange <= Hcount) & (Hcount <= UpperRange) & (Green[3] & Red[3]) & (Green[2] & Red[2]) & (Green[1] & Red[1]) & (Green[0] & Red[0]);
    
endmodule
module SlugRedDetect(
    input [3:0] Red,
    input [9:0] LowerRange,
    input [9:0] UpperRange,
    input [9:0] Hcount,
    input [3:0] Green,
    output SlugRedDetect
    );

    
    assign SlugRedDetect = (LowerRange <= Hcount) & (Hcount <= UpperRange) & (Green[3] & Red[3]) & (Green[2] & Red[2]) & (Green[1] & Red[1]) & (Green[0] & Red[0]);
    
endmodule