In order to functionally verify the various parts constituting the model of the ASIC, such as the arithmetic unit, memories, counters, combinational logic, router with cache, and other elements, it is possible to activate them separately, insofar as each of them is directly accessible via the simulated input/outputs of the ASIC and sufficiently independent of the others.