dma_house.pss
import addr_reg_pkg::*;
struct dma_desc {
rand bit[32] src;
rand bit[32] dst;
rand bit[16] len;
}
component dma_engine {
action xfer_a {
rand dma_desc desc;
transparent_addr_claim_s<> buf;
constraint buf.size == desc.len;
}
}
component pss_top {
transparent_addr_space_c<> sys_mem;
dma_engine dma;
}