data/full_repos/permissive/173670949/upduino/uart_to_433mhz/upduino.v
 line:76: before: ")"
1: b"%Error: data/full_repos/permissive/173670949/upduino/uart_to_433mhz/upduino.v:65: Cannot find file containing module: 'SB_HFOSC'\n    SB_HFOSC int_osc_12m (.CLKHFPU(1'b1), .CLKHFEN(1'b1), .CLKHF(clk));\n    ^~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/173670949/upduino/uart_to_433mhz,data/full_repos/permissive/173670949/SB_HFOSC\n             data/full_repos/permissive/173670949/upduino/uart_to_433mhz,data/full_repos/permissive/173670949/SB_HFOSC.v\n             data/full_repos/permissive/173670949/upduino/uart_to_433mhz,data/full_repos/permissive/173670949/SB_HFOSC.sv\n             SB_HFOSC\n             SB_HFOSC.v\n             SB_HFOSC.sv\n             obj_dir/SB_HFOSC\n             obj_dir/SB_HFOSC.v\n             obj_dir/SB_HFOSC.sv\n%Error: data/full_repos/permissive/173670949/upduino/uart_to_433mhz/upduino.v:69: Cannot find file containing module: 'UART_TO_433MHZ'\n    UART_TO_433MHZ uart_rf_inst(.uart_rx(serial_rxd), .rf_tx(rf_out));\n    ^~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/173670949/upduino/uart_to_433mhz/upduino.v:72: Cannot find file containing module: 'SB_RGBA_DRV'\n    SB_RGBA_DRV #(\n    ^~~~~~~~~~~\n%Error: Exiting due to 3 error(s)\n"
module Upduino (




    output led_green,
    output led_red,
    output led_blue,


    output serial_txd,
    input  serial_rxd,
    output spi_cs,


    inout gpio_23,
    inout gpio_25,
    inout gpio_26,
    inout gpio_27,
    inout gpio_32,
    inout gpio_35,
    inout gpio_31,
    inout gpio_37,
    inout gpio_34,
    inout gpio_43,
    inout gpio_36,
    inout gpio_42,
    inout gpio_38,
    inout gpio_28,







    inout gpio_20,
    inout gpio_10,


    inout gpio_12,
    inout gpio_21,
    inout gpio_13,
    inout gpio_19,
    inout gpio_18,
    inout gpio_11,
    inout gpio_9,
    inout gpio_6,
    inout gpio_44,
    inout gpio_4,
    inout gpio_3,
    inout gpio_48,
    inout gpio_45,
    inout gpio_47,
    inout gpio_46,
    inout gpio_2
);

    wire clk;
    SB_HFOSC int_osc_12m (.CLKHFPU(1'b1), .CLKHFEN(1'b1), .CLKHF(clk));

    wire rf_out;
    assign gpio_28 = rf_out;
    UART_TO_433MHZ uart_rf_inst(.uart_rx(serial_rxd), .rf_tx(rf_out));


    SB_RGBA_DRV #(
        .RGB0_CURRENT("0b000111"),
        .RGB1_CURRENT("0b000111"),
        .RGB2_CURRENT("0b000111"),
    ) RGB_DRIVER (
      .RGBLEDEN(1'b1),
      .RGB0PWM (0),
      .RGB1PWM (0),
      .RGB2PWM (rf_out),
      .CURREN  (1'b1),
      .RGB0    (led_green),
      .RGB1    (led_blue),
      .RGB2    (led_red)
    );

endmodule
module Upduino (




    output led_green,
    output led_red,
    output led_blue,


    output serial_txd,
    input  serial_rxd,
    output spi_cs,


    inout gpio_23,
    inout gpio_25,
    inout gpio_26,
    inout gpio_27,
    inout gpio_32,
    inout gpio_35,
    inout gpio_31,
    inout gpio_37,
    inout gpio_34,
    inout gpio_43,
    inout gpio_36,
    inout gpio_42,
    inout gpio_38,
    inout gpio_28,







    inout gpio_20,
    inout gpio_10,


    inout gpio_12,
    inout gpio_21,
    inout gpio_13,
    inout gpio_19,
    inout gpio_18,
    inout gpio_11,
    inout gpio_9,
    inout gpio_6,
    inout gpio_44,
    inout gpio_4,
    inout gpio_3,
    inout gpio_48,
    inout gpio_45,
    inout gpio_47,
    inout gpio_46,
    inout gpio_2
);


    wire clk;
    SB_HFOSC int_osc_12m (.CLKHFPU(1'b1), .CLKHFEN(1'b1), .CLKHF(clk));

    wire rf_out;
    assign gpio_28 = rf_out;
    UART_TO_433MHZ uart_rf_inst(.uart_rx(serial_rxd), .rf_tx(rf_out));


    SB_RGBA_DRV #(
        .RGB0_CURRENT("0b000111"),
        .RGB1_CURRENT("0b000111"),
        .RGB2_CURRENT("0b000111"),
    ) RGB_DRIVER (
      .RGBLEDEN(1'b1),
      .RGB0PWM (0),
      .RGB1PWM (0),
      .RGB2PWM (rf_out),
      .CURREN  (1'b1),
      .RGB0    (led_green),
      .RGB1    (led_blue),
      .RGB2    (led_red)
    );

endmodule