good.pss
buffer Mem { rand bit[32] addr; }
component pss_top {
action Write { output Mem dat_o; }
action Read { input Mem dat_i; }
action Copy { input Mem dat_i; output Mem dat_o; }
}buffer Mem { rand bit[32] addr; }
component pss_top {
action Write { output Mem dat_o; }
action Read { input Mem dat_i; }
action Copy { input Mem dat_i; output Mem dat_o; }
}