Services
Real services you can obtain and use
Personal Public Cloud
Personal Managed Public Cloud provides registered individual access to the hosted Glymir service. Registration and login are real accounts on the Glymir Account service; a registered user downloads the Glymir client-side container, prepares work locally, and submits runs to the hosted execution service under the account’s entitlement.
Enterprise service
Enterprise service is intended for organizations that need an enterprise-oriented access and deployment arrangement, with multi-machine dispatch and an access model appropriate to the customer environment, on cloud or self-hosted infrastructure according to the supported deployment.
The responsibility boundary is explicit: the customer operates its RTL projects and infrastructure choices; Glymir supplies the verification workflow, execution machinery, and the deployment’s stated interfaces. An intentionally limited internal-cloud demonstration package is available for evaluating the deployment concept; it carries a smaller feature and QA commitment than the production service and states its limits.