Verification Domain Agent
The Verification Domain Agent focuses on validation strategy, debug workflows, coverage-oriented reasoning, and testbench-related guidance.
It is used when a workflow needs to move from design intent into measurable verification objectives, executable plans, and debug-ready verification assets.
What It Covers
The verification agent helps define and structure the work required to validate a design, including:
- Turning requirements and specifications into verification goals.
- Building coverage-oriented test planning and execution strategy.
- Generating testbench architecture and scenario-level verification content.
- Improving observability and debug through assertions, waveform analysis, and supporting documentation.
Task Capabilities
The verification domain agent can rely on specialized task capabilities to support different stages of the verification flow.
| Task Capability | Purpose |
|---|---|
| Spec Coverage | Cover corner cases before test plan creation begins. |
| Test Plan Generator | Build a structured and comprehensive coverage plan. |
| Test Bench Generator | Create production-ready testbench architecture and stimulus generation flow. |
| Test Case Generator | Generate verification scenarios and concrete testcases. |
| Assertions | Tailor assertions to increase verification depth and coverage. |
| Waveform | Debug and navigate complex waveforms to improve functional accuracy. |
| Formal Verification | Prove design properties mathematically and identify edge-case violations. |
| Commentator | Build comprehensive inline documentation for verification-related code and collateral. |
| Documentation | Generate comprehensive verification documents. Coming soon. |
| Version Control | Set up and manage complex verification flows and environments. Coming soon. |
These capabilities allow the verification agent to contribute both planning-level guidance and focused execution support, depending on where a project is in the validation cycle.
Typical Use Cases
Use the verification domain agent when you need help with:
- Converting specifications into measurable coverage objectives.
- Creating or refining a verification plan before implementation starts.
- Generating testbench structure, scenarios, and supporting assertions.
- Debugging failing behavior through waveform- and property-driven analysis.
- Producing verification-oriented documentation for teams and reviews.
Availability Notes
Some verification capabilities are already available through established task-agent flows, while others are introduced progressively as the broader verification workflow expands.
Capabilities marked as Coming soon should be treated as planned functionality rather than currently available standalone features.