// ======== TESTBENCH ======== line, which is what splits one file across these two cardssystem wrapper that wires them to the DUT — belong here, not in the designpc, r0–r31 and the memoriesd[3:0][:] button adds each signal's declared bit range to its namereg [w:0] name[hi:lo];) declared in the design$readmemh/$readmemb can load it