add a simulation tool for spec