// pinmux_conn_fv.sv - AUTO-GENERATED by gen_conn.py
module pinmux_conn_fv (
  input logic [1:0] mode,
  input logic gpio_out0, gpio_out1, uart_tx, spi_sclk, spi_mosi, test_obs0, test_obs1
);
  logic pad0, pad1;
  pinmux dut (.*);
  always_comb begin
    if (mode == 2'd0) a_conn_0_gpio_out0_pad0: assert (pad0 == gpio_out0);
    if (mode == 2'd0) a_conn_1_gpio_out1_pad1: assert (pad1 == gpio_out1);
    if (mode == 2'd1) a_conn_2_uart_tx_pad0:   assert (pad0 == uart_tx);
    if (mode == 2'd1) a_conn_3_1b1_pad1:       assert (pad1 == 1'b1);
    if (mode == 2'd2) a_conn_4_spi_sclk_pad0:  assert (pad0 == spi_sclk);
    if (mode == 2'd2) a_conn_5_spi_mosi_pad1:  assert (pad1 == spi_mosi);
    if (mode == 2'd3) a_conn_6_test_obs0_pad0: assert (pad0 == test_obs0);
    if (mode == 2'd3) a_conn_7_test_obs1_pad1: assert (pad1 == test_obs1);
  end
endmodule