The product
Glymir
The verification bottleneck
RTL design teams routinely spend more effort proving a design correct than writing it. The verification bottleneck has three familiar shapes: constructing and maintaining a verification environment demands specialist testbench skills; simulation capacity is limited by tool seats and machines; and the loop from a failure to a diagnosis, a fix, and a re-run is slow enough to dominate the schedule. Glymir addresses the workflow as a whole rather than one tool at a time.
A different way to verify
Glymir orchestrates the verification workflow that teams otherwise assemble for themselves:
- Natural language. You describe intent, review what the Advisor understood, and revise the verification plan conversationally. The plan can be created from scratch, derived from another plan, or recovered from an existing testbench.
- Preparation. Glymir constructs plain-SystemVerilog verification environments — testbench, functional-coverage instrumentation, assertions and checkers, SystemVerilog reference-model integration, constrained-random assets, and simulation-top assembly. It does not require you to adopt a generated UVM testbench.
- Concurrency. The prepared environment is validated, compiled into an executable simulation target, and dispatched to the cloud, where many seeds run concurrently with queue, timeout, and worker-failure control.
- Orchestration. Per-seed and merged results — structural coverage, functional coverage, assertion and checker outcomes — are collected with stable identity, and live statistics are visible in a browser while the run is in progress.
Technology
- Glymir Advisor runs as a container in your own terminal. It reads the available project files, reports what it understands, asks what it cannot resolve, and turns natural-language direction into a verification plan and a plain-SystemVerilog environment.
- Glymir CloudSim is the hosted execution service. It validates and builds the prepared environment on Verilator, runs the requested seeds concurrently, and returns per-seed and merged verification results with live statistics.
- Glymir Find is an explicitly selected capability for coverage-directed iteration: it observes coverage across minibatches, evaluates progress against the declared objective, and adjusts eligible constrained-random weights while preserving reproduction information.
Glymir is not merely a simulator. Verilator is the simulator used by the current Glymir product.
Benefits
- Easier — natural-language planning and generated plain-SystemVerilog environments lower the specialist barrier to a disciplined verification flow.
- More accurate — coverage, assertions, checkers, and reference-model comparison are built into the constructed environment rather than bolted on.
- Faster — concurrent cloud execution and live statistics shorten the loop from failure to diagnosis to re-run; selected seeds can be replayed for waveform extraction instead of hauling waveforms for every run.
- IP-protecting — the submission flow minimizes cloud-bound content and applies deterministic protection and sealing, and your original workspace stays under your own source control.
Measured highlights will be published through reproducible benchmarks; we do not publish numbers we cannot show you how to reproduce.