How to verify scalable IP , asking for verification strategies

SystemVerilog
,
1

Hi,

Let’s say in the DMA kind of IP, there are multiple channels are there and each channel has set of registers, two channel can work independently.

Number of channel is controlled by the design parameter.

Now if parameter max value is 256K, how do you verify traffic on each channel ?

What should be verification strategy ?

simulation/formal/emulation ?

Thanks in advance.

Vivek