xls
xls copied to clipboard
Disallow channel "duplication"
Right now, a proc could take a channel in its config
function and store it as a member...it could also - at the same time - pass that channel to a child proc/spawn. This doesn't really have a reasonable analogue in HW (creating a dual-ported FIFO?), so it should be disallowed.
It could also assign it two different member elements, with the same effect.