data/full_repos/permissive/469509877/rtl/BGCollisionDetector.v
data/verilator_xmls/343db39f-1db6-4424-b568-e2847459e1a5.xml
module BGCollisionDetector(
    input btnU,
    input [9:0] Hcount,
    input [9:0] Vcount,
    input Green,
    output UpStop,
    output DwStop,
    output LeftStop,
    output RightStop
    );
    
    assign UpStop = (~(Vcount == 10'b0000001000) & btnU & ~Green) | 
                    (~(Vcount == 10'b0000001000) & btnU & Green) | 
                    ((Vcount == 10'b0000001000) & btnU & Green); 
endmodule
module BGCollisionDetector(
    input btnU,
    input [9:0] Hcount,
    input [9:0] Vcount,
    input Green,
    output UpStop,
    output DwStop,
    output LeftStop,
    output RightStop
    );

    
    assign UpStop = (~(Vcount == 10'b0000001000) & btnU & ~Green) | 
                    (~(Vcount == 10'b0000001000) & btnU & Green) | 
                    ((Vcount == 10'b0000001000) & btnU & Green); 
endmodule