data/full_repos/permissive/140493787/src/hdl/circleChecker.v
1: b'%Warning-WIDTH: data/full_repos/permissive/140493787/src/hdl/circleChecker.v:16: Operator LTE expects 20 bits on the RHS, but RHS\'s VARREF \'CIRCLE_RADIUS_SQUARED\' generates 18 bits.\n                                                                               : ... In instance circleChecker\n        isInside = squaredSum <= CIRCLE_RADIUS_SQUARED;\n                              ^~\n                ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.\n%Error: Exiting due to 1 warning(s)\n'
module circleChecker (
   output reg        isInside,
   input  wire [9:0] xCoord,
   input  wire [9:0] yCoord
);
    
    parameter CIRCLE_RADIUS_SQUARED = 18'h3_8400;

    reg [18:0] xSquared, ySquared;
    reg [19:0] squaredSum;
   
    always @ (*) begin
        xSquared = xCoord * xCoord;
        ySquared = yCoord * yCoord;
        squaredSum = xSquared + ySquared;
        isInside = squaredSum <= CIRCLE_RADIUS_SQUARED;
    end
endmodule
module circleChecker (
   output reg        isInside,
   input  wire [9:0] xCoord,
   input  wire [9:0] yCoord
);

    
    parameter CIRCLE_RADIUS_SQUARED = 18'h3_8400;

    reg [18:0] xSquared, ySquared;
    reg [19:0] squaredSum;
   
    always @ (*) begin
        xSquared = xCoord * xCoord;
        ySquared = yCoord * yCoord;
        squaredSum = xSquared + ySquared;
        isInside = squaredSum <= CIRCLE_RADIUS_SQUARED;
    end
endmodule