Prove your design: structural simulation and analysis in the cloud