The OneSpin 360-Prove@OnCE-Additional-Engine is a commercial cloud server that provides additional compute power to OneSpin 360-CS or OneSpin 360-DV. It enables one or more parallel engines to be deployed in a verification operation to increase overall performance in an almost linear fashion. OneSpin's 360-Prove@OnCE-Additional-Engine empowers verification teams to deliver better quality designs faster by eliminating compute resource bottlenecks in their formal verification flow. This results in cost and time-to-market reductions for a broad range of electronic products. To experience the benefits of OneSpin's Prove@OnCE Additional Engine instance, it needs to be connected to local versions of OneSpin 360-CS with a 360-Prove@OnCE Verify or Inspect Extension or to OneSpin 360-DV Inspect or Verify (version 2013_06 or later) products running locally. The Prove@OnCE Additional Engine is easily enabled through a set up feature in these products. OneSpin 360-CS can be downloaded from www.onespin-solutions.com. The 360-Prove@OnCE Verify or Inspect Extensions are available in the AWS marketplace. How to connect a OneSpin 360-CS or OneSpin 360-DV to a Prove@OnCE Additional Engine instance can be found in the respective tool documentation.