module p_monitor_valid_ready #( parameter PipeSpec = `PS_def ) (
        inout [`P_m(PipeSpec):0] pipe,
        output                   valid,
        output                    ready
    );

    assign valid = pipe[ `P_Valid_b(PipeSpec) ];
    assign ready = pipe[ `P_Ready_b(PipeSpec) ];

endmodule