data/full_repos/permissive/194450802/draw_player.v
data/verilator_xmls/0ee1f1be-3870-4e24-ab9d-9a0546a01595.xml
module draw_player(clock, reset,
                   start, done,
                   x, y,
                   vga_x, vga_y, vga_colour, vga_write);

    input clock;
    input reset;


    input start;
    output done;


    input [13:0] x;
    input [12:0] y;


    output [7:0] vga_x;
    output [6:0] vga_y;
    output [17:0] vga_colour;
    output vga_write;

    wire load, reset_counter, increment_counter, add_offset, counter_at_max;
    _draw_player_fsm dpf0 (.clock(clock),
                           .reset(reset),
                           .start(start),
                           .done(done),
                           .vga_write(vga_write),
                           .load(load),
                           .reset_counter(reset_counter),
                           .increment_counter(increment_counter),
                           .add_offset(add_offset),
                           .counter_at_max(counter_at_max));
    _draw_player_datapath dpd0 (.clock(clock),
                                .reset(reset),
                                .x(x),
                                .y(y),
                                .vga_x(vga_x),
                                .vga_y(vga_y),
                                .vga_colour(vga_colour),
                                .load(load),
                                .reset_counter(reset_counter),
                                .increment_counter(increment_counter),
                                .add_offset(add_offset),
                                .counter_at_max(counter_at_max));
endmodule
module draw_player(clock, reset,
                   start, done,
                   x, y,
                   vga_x, vga_y, vga_colour, vga_write);


    input clock;
    input reset;


    input start;
    output done;


    input [13:0] x;
    input [12:0] y;


    output [7:0] vga_x;
    output [6:0] vga_y;
    output [17:0] vga_colour;
    output vga_write;

    wire load, reset_counter, increment_counter, add_offset, counter_at_max;
    _draw_player_fsm dpf0 (.clock(clock),
                           .reset(reset),
                           .start(start),
                           .done(done),
                           .vga_write(vga_write),
                           .load(load),
                           .reset_counter(reset_counter),
                           .increment_counter(increment_counter),
                           .add_offset(add_offset),
                           .counter_at_max(counter_at_max));
    _draw_player_datapath dpd0 (.clock(clock),
                                .reset(reset),
                                .x(x),
                                .y(y),
                                .vga_x(vga_x),
                                .vga_y(vga_y),
                                .vga_colour(vga_colour),
                                .load(load),
                                .reset_counter(reset_counter),
                                .increment_counter(increment_counter),
                                .add_offset(add_offset),
                                .counter_at_max(counter_at_max));
endmodule