data/full_repos/permissive/469509877/rtl/LossDetector.v
data/verilator_xmls/318a3975-6107-4486-a2e6-f538b65a70be.xml
module LossDetector(
    input [3:0] Red,
    input [3:0] Green,
    output LossDetect
    );
    
    assign LossDetect = (Green[3] & Red[3]) & (Green[2] & Red[2]) & (Green[1] & Red[1]) & (Green[0] & Red[0]);
    
endmodule
module LossDetector(
    input [3:0] Red,
    input [3:0] Green,
    output LossDetect
    );

    
    assign LossDetect = (Green[3] & Red[3]) & (Green[2] & Red[2]) & (Green[1] & Red[1]) & (Green[0] & Red[0]);
    
endmodule