Changelog¶
All notable changes to Sentinel DV are documented here.
Format based on Keep a Changelog. Versioning follows Semantic Versioning.
[Unreleased]¶
2.3.0 - 2026-05-29¶
Added¶
runs.summary— per-run test status rollup (counts, pass rate, slowest tests, failure totals).tests.history— cross-run timeline for a logical test name with flaky detection.
Changed¶
- Tool count 26 → 28; gallery and verify script aligned.
- Install
sentinel-dv>=2.3.0for the new tools.
2.2.0 - 2026-05-29¶
Minor release: reliability and coverage-ingestion improvements since v2.1.0, plus deployment and demo documentation.
Added¶
- Coverage HTML parsing — VCS URG (
dashboard.html), Questa vcover (overalldu.js), and Xcelium IMC HTML reports; parsers use content-sniffing so unrelateddashboard.html/overalldu.jsfiles are not matched. - Production deployment — stdio MCP + systemd guide; documents that Sentinel DV is not deployed to Vercel or similar HTTP hosts.
- Verilator demo —
config.example.yamlwithlive_simandsubmitfor full 26-tool walkthrough.
Changed¶
- Install
sentinel-dv>=2.2.0for parser fixes and HTML coverage ingestion shipped after v2.1.0. .gitignorefor localdemo/verilator_counter/live_status.jsonharness output.scripts/verify_all_mcp_tools.pyaligned to 26 tools with sensible handling of feature-gated tools.
Fixed¶
- UVM log parser — count-summary and demoted/caught lines no longer indexed as failures;
abortedstatus when simulation ends without a completion marker;TEST_FAILED_PATTERNno longer matchesUVM_FATAL : 0on passing tests. - MCP output schema — optional
itemon error envelopes for FastMCP validation. - Coverage text parser — scope/kind regex delimiter fix.
runs.submit/tests.replay—schema_versionon all success responses.
Removed¶
- Vercel
api/index.pyentrypoint (stdio MCP only).
2.1.0 - 2026-06-02¶
Added¶
- DV Intelligence Tool 1 — Coverage Trend (
coverage.trend): time-series coverage trajectory across runs. Computes per-run coverage percentages with deltas and characterizes trend direction asimproving,stalling, ordeclining. - DV Intelligence Tool 2 — Cross-Simulator Divergence (
runs.cross_sim): detects tests that pass on one simulator vendor but fail on another. Surfacescriticaldivergences that must be resolved before sign-off. - DV Intelligence Tool 3 — Failure Clustering (
tests.cluster): groups failures by root-cause signature using message and category similarity, reducing hundreds of failures to a handful of actionable clusters for faster triage. - DV Intelligence Tool 4 — Regression Health Score (
regression.health): composite 0–100 DV readiness score with weighted sub-scores for pass rate (30%), coverage (35%), assertion health (15%), flakiness (10%), and cross-simulator consistency (10%). Outputsband:sign-off-ready|minor-issues|coverage-gaps|not-ready. - DV Intelligence Tool 5 — Coverage Advisor (
coverage.advisor): generates ready-to-paste SystemVerilog constraint and UVM sequence snippets for uncovered bins. Protocol-aware for AXI4, AHB, APB, CHI, PCIe naming patterns. sentinel_dv/normalization/coverage_advisor.py: new module —_PROTOCOL_RULESknowledge base +build_advisories()entry point.- New store methods:
coverage_trend(),cross_sim_divergence(),cluster_failures(),regression_health_data(). - Gallery assets regenerated for all 26 tools (5 new SVG cards).
- 25 new unit tests in
tests/unit/test_beyond_spec.py.
Changed¶
- Tool count: 21 → 26 (5 new DV Intelligence tools).
sentinel_dv/registry.py: 5 new tool names added toTOOL_NAMES.sentinel_dv/demo_fixtures.py:tool_call_matrix()andinvoke_core_tool()updated with the 5 new tools.docs/tools/overview.md: updated tool count, added v2.1.0 section and decision guide entries.docs/tools/mcp-tools-reference.md: updated tool count, added v2.1.0 tool chain table and full reference for all 5 new tools.- Install
sentinel-dv>=2.1.0for DV Intelligence tools.
2.0.0 - 2026-06-01¶
Added¶
- F1 — Regression job submission (
runs.submit): generate simulator-specific submit commands (VCS, Questa, Xcelium, Riviera) from config templates. Input is shell-quoted; suite names validated with strict allowlist regex. - F2 — Live simulator hook (
sim.status): read real-timelive_status.jsonfrom artifact roots viaLiveSimAdapter. Detects staleness, computespercent_done. Reference harness:examples/live_sim_writer.py. - F3 — SVA/Formal property status (
assertions.sva_status,assertions.vacuity): paginated query of the newsva_run_statusDuckDB table;vacuitytool flags vacuously-passing assertions with remediation recommendations. - F4 — Seed replay (
tests.replay): look up failing test seed from the index and emit a ready-to-paste replay command. - F5 — Coverage closure guidance (
coverage.gaps): heuristic engine classifies under-covered bins as high/medium/low priority and emits actionable recommendations. - Bug Fix 1 — DuckDB ID sequences now seeded from existing max IDs at server start; no duplicate-key errors on re-open.
- Bug Fix 2 —
resolve_config_with_demo_fallback()emitsUserWarningbefore falling back to demo data (silent fallback removed fromresolve_config). - New schemas:
submission.py(SubmitRequest,SubmitResponse,ReplayResponse),live_sim.py(LiveSimProgress), extendedassertions.py(SVAStatus,SVARunStatus,VacuousAssertion), extendedcoverage.py(GapPriority,CoverageGap,CoverageGapsResponse). - Config additions:
SecurityLimits.max_command_length,SecurityLimits.max_coverage_gaps,AdaptersConfig.live_sim,AdaptersConfig.live_sim_max_age_seconds,SimulatorTemplate,SubmitConfig. - Example:
examples/live_sim_writer.py— reference harness to writelive_status.jsonwhile a simulator runs.
Changed¶
- Tool count: 15 → 21 (6 new tools).
- Install
sentinel-dv>=2.0.0for v2 submission, live-sim, SVA, replay, and coverage gaps.
1.3.2 - 2026-05-29¶
Added¶
- Pre-release scripts and release workflow gates (
pre_release.sh,check_versions.py). - Additional unit tests for server handlers, CLI, and coverage.
Changed¶
- Install
sentinel-dv>=1.3.2for pre-release tooling and doc fixes since 1.3.1.
1.3.1 - 2026-05-29¶
Added¶
- MCP tool
outputSchema, read-only annotations, and expanded descriptions for LLM discoverability. wave.summaryinclude_signals,highlight_groups, andTOPOLOGY_NOT_INDEXEDerror code.
Changed¶
- Config file is required (no silent
demo/fallback); regression windows use epoch milliseconds. - Install
sentinel-dv>=1.3.1for these fixes.
1.3.0 - 2026-05-29¶
Added¶
- VCS, Questa, and Cadence Xcelium checked-in fixtures plus multi-project UVM/cocotb demos.
- Shared
demo_fixturesharness,verify_all_mcp_tools.py --sim, and MCP tool gallery assets. - Integration tests for the full demo corpus and commercial simulator matrix.
Changed¶
- Relative config paths resolve from the config file directory; indexer and evidence handling hardened.
- Install
sentinel-dv>=1.3.0for commercial simulator examples and multi-project validation.
1.2.0 - 2026-05-27¶
Added¶
- Waveform summary adapter (VCD + JSON),
wave.summarytool, and waveform documentation. - Expanded demo fixtures and indexing for cocotb/JUnit artifacts.
1.1.0 - 2026-05-26¶
Added¶
- Assertion adapter improvements and additional MCP tool metadata.
1.0.1 - 2026-05-25¶
Fixed¶
- Packaging and import path fixes for PyPI wheel.
1.0.0 - 2026-01-25¶
Added¶
Core Features¶
- Complete schema system with versioning (v1.0.0)
- 14 MCP tools across 6 categories (15 with wave tools)
- 5 adapters for verification artifact parsing
- DuckDB-based indexing with efficient querying
- Comprehensive normalization and redaction
- Security-first design with bounded outputs
See the repository CHANGELOG.md for the full 1.0.0 entry.