360-CS (Cloud Solution)
Provides a highly secure solution in which the design code is never transferred to the cloud. Using multiple prove engines concurrently, it significantly accelerates the formal verification process. Makes use of formal prove engines in the cloud and manages communication with the cloud engines, retaining the HDL design code locally and handling the debug of the cloud processing results. The user experience is identical to the complete tool running locally, allowing easy integration into the userís existing design automation environment. The cloud model also allows for greater financial control, shifting some of the IT infrastructure expense burden from capital budgets to operational or project money sources on an as-needed basis.