Split checking can reduce the evaluation effort under some circumstances. This technique is inspired by the VISTA/SFC simulation environment [55], where it was also heavily explored. Distributed computation is another technique that is able to reduce the simulation time dramatically. It means that the simulators are invoked not only on the machine where the simulation environment runs, but rather on a pool of machines. To achieve this, the simulation-flow-model uses the features of SIESTA's job farming module which will be highlighted in .