"How are you going to abstract away the fact that the FPGA has exactly 2 embedded memory controllers that have precisely A, B, and C inputs and X, Y, and Z outputs?"

The same thing we do every time, Pinky: assume the existence of a sufficiently advanced compiler. ;)