So, I'm looking at some verilog sample code, and it says:

```
  // Pin 3 is UART output
  assign cart_tran_bank0[6]  = uart_tx;

  // Pin 31 is UART input
  synch_3 rx_synch (
      cart_tran_pin31,
      uart_rx,
      clk
  );
```

I am familiar with UARTs from microcontrollers, and I assume if I search "synch" or "synch_3" i'll find Verilog examples telling me how to use this thing as a UART.

But what is the Amaranth equivalent? I'm in this "amaranth embedded in verilog" situation— do I create the synch_3 and thread rx_synch through into Amaranth to use it there, or do I thread through uart_tx into Amaranth and plug that into an Amaranth UART primitive?