7. MemPortal Package

7.1. mkMemPortal Module

module MemPortal::mkMemPortal(Bit#(slaveDataWidth) ifcId, PipePortal#(numRequests, numIndications, slaveDataWidth) portal) → (MemPortal#(slaveAddrWidth, slaveDataWidth)

Takes an interface identifier and a PipePortal and returns a MemPortal.