data/full_repos/permissive/469509877/rtl/GapWallDetect.v
data/verilator_xmls/f88b0f48-2f62-468f-bd5d-891ec97e23aa.xml
module GapWallDetect(
    input [9:0] DwStartingPosition,
    input [9:0] UpStartingPosition,
    input [9:0] Upper,
    input [9:0] Lower,
    output GapWallDetect    
    );
    
    assign GapWallDetect = (DwStartingPosition == Lower) | (UpStartingPosition == Upper);  
    
    

endmodule
module GapWallDetect(
    input [9:0] DwStartingPosition,
    input [9:0] UpStartingPosition,
    input [9:0] Upper,
    input [9:0] Lower,
    output GapWallDetect    
    );

    
    assign GapWallDetect = (DwStartingPosition == Lower) | (UpStartingPosition == Upper);  
    
    

endmodule