smt-simulation