(* always_ready, always_enabled *)
interface RS232_PHY_Ifc;
- interface Get#(Bit#(1)) srx_in;
- interface Get#(Bit#(1)) cts_in;
- interface Get#(Bit#(1)) dsr_in;
- interface Get#(Bit#(1)) ri_in;
- interface Get#(Bit#(1)) dcd_in;
- interface Put#(Bit#(1)) stx_out;
- interface Put#(Bit#(1)) rts_out;
- interface Put#(Bit#(1)) dtr_out;
+ interface Put#(Bit#(1)) srx_in;
+ interface Put#(Bit#(1)) cts_in;
+ interface Put#(Bit#(1)) dsr_in;
+ interface Put#(Bit#(1)) ri_in;
+ interface Put#(Bit#(1)) dcd_in;
+ interface Get#(Bit#(1)) stx_out;
+ interface Get#(Bit#(1)) rts_out;
+ interface Get#(Bit#(1)) dtr_out;
endinterface