In the obi_demux module, there is the following combinational path:
mgr_ports_rsp_i[select_q].rvalid -> sbr_port_rsp_o.rvalid -> cnt_down -> mgr_reqs[i] -> mgr_ports_req_o[i].req, creating a dependency from rvalid to req, which is not legal as per OBI v1.6.0 R-21.1 ("For a manager, req shall not combinatorially depend on gnt or rvalid (nor on gntpar or rvalidpar").
The (in_flight == 1 && cnt_down)) condition would have to be removed to resolve this dependency and make the module spec compliant.
In the obi_demux module, there is the following combinational path:
mgr_ports_rsp_i[select_q].rvalid->sbr_port_rsp_o.rvalid->cnt_down->mgr_reqs[i]->mgr_ports_req_o[i].req, creating a dependency fromrvalidtoreq, which is not legal as per OBI v1.6.0 R-21.1 ("For a manager, req shall not combinatorially depend on gnt or rvalid (nor on gntpar or rvalidpar").The
(in_flight == 1 && cnt_down))condition would have to be removed to resolve this dependency and make the module spec compliant.