Design optimisation, verification or simulation