+
+ // NEEL EDIT
+ mkConnection (slow_fabric.v_from_masters[/* mux slave number*/], mymux.axi_slave);
+ mkConnection (slow_fabric.v_from_masters[/* gpioslave number*/], gpioa.axi_slave);
+ rule connect_select_lines_pinmux;// mandatory
+ pinmux.cell0_mux(mymux.mux_config[0]);
+ pinmux.cell1_mux(mymux.mux_config[1]);
+ pinmux.cell2_mux(mymux.mux_config[2]);
+ endrule
+ rule connect_uart1tx;
+ pinmux.peripheral_side.uart_tx(uart1.coe_rs232.rs232.sout);
+ endrule
+ rule connect_uart1rx;
+ uart1.coe_rs232.rs232.sin(pinmux.peripheral_side.uart_rx);
+ endrule
+ rule connect_gpioa
+ pinmux.peripheral_side.gpioa_a0_out(gpio.func.gpio_out[0]);
+ pinmux.peripheral_side.gpioa_a0_outen(gpio.func.gpio_out_en[0]);
+ Vector#(3,Bit#(1)) temp;
+ temp[0]=pinmux.peripheral_side.gpioa_a0_in;
+ temp[1]=pinmux.peripheral_side.gpioa_a1_in;
+ temp[2]=pinmux.peripheral_side.gpioa_a2_in;
+ gpio.pad_config.gpio_in(temp);
+ endrule
+ // NEEL EDIT OVER