Tool for paralell simulations and verification