lazyuvm 0.9.0

Local-first RTL verification knowledge platform for UVM scaffolds, reviewed maps, pattern packs, and CI gates.

LazyUVM

LazyUVM is a local-first Git-native verification knowledge layer for RTL projects.

Its job is narrow: keep verification knowledge and simulator output close to the code, then turn them into evidence a reviewer can inspect in Git and CI.

LazyUVM is not trying to replace VCS, Xcelium, Questa, Verilator, or vManager. It makes their existing output reviewable, local, Git-tracked, and CI-friendly.

RTL + lazyuvm.toml + simulator reports
  -> LazyUVM
  -> UVM/cocotb/C-header starters
  -> spec/register/behavior/coverage/waiver traceability
  -> Markdown/JSON evidence for local review and CI

LazyUVM is deliberately local-first: no required cloud service, no required third-party Python dependencies, and optional local Ollama summaries only when a user explicitly asks for local AI help.

See The Output First

If you are evaluating the project from GitHub, start with the generated demo report:

examples/report_bundle_demo/LazyUVM_Report/index.html

That offline static bundle is the product loop in one place:

EDA / coverage / gate / spec / waiver / pack JSON
  -> LazyUVM report bundle
  -> HTML pages a reviewer can open from a CI artifact

No simulator, private PDF, cloud account, or AI setup is needed to inspect the demo.

Try It In 3 Minutes

Install from PyPI:

pipx install lazyuvm
lazyuvm --version

Then print the shortest runnable demo:

lazyuvm demo quickstart

That demo shows the copy/paste path from a public coverage report to normalized LazyUVM evidence and a gate report. It does not require a simulator, private spec PDF, cloud service, or local AI.

Try A Trusted Starter Pack

LazyUVM v0.9 starts the pack catalog path. This is not a public package registry. It is a local catalog of curated starter packs that can be inspected before a project imports anything:

lazyuvm pack catalog
lazyuvm pack catalog --json --out pack_catalog.json

The catalog currently lists the shipped community/apb, community/axi_lite, and community/spi starters with version, supported export targets, smoke evidence, known limits, and review policy.

Safe adoption sequence:

catalog -> inspect pack evidence -> import reviewable TOML -> lock -> overlay diff -> gate/report bundle

That sequence is the moat: reviewed pack knowledge becomes local Git evidence rather than a hidden registry install.

Product Boundary

LazyUVM is not a simulator.

LazyUVM is not a vManager replacement.

LazyUVM is not sign-off verification.

It sits next to those tools as a Git-native evidence layer:

VCS / Xcelium / Questa / Verilator / existing reports
  -> LazyUVM normalized evidence
  -> Git review, CI summaries, manifests, and local knowledge reuse

The best first use case is not "replace the enterprise flow." It is:

existing EDA output
  -> reviewable LazyUVM evidence
  -> easier PR review, onboarding, and local audit trails

Why Use It

Most verification projects lose knowledge across specs, spreadsheets, old emails, waiver notes, coverage reports, and personal debug history. LazyUVM is worth trying when that loss costs review time:

Need	LazyUVM gives you
Start a project quickly	RTL scan, project config, starter UVM/SVA/coverage/cocotb output
Keep intent reviewable	lazyuvm.toml protocol maps, register maps, behavior specs, spec references
Reuse knowledge	curated pack catalog, reviewed pattern packs, local pack dependencies, lockfiles, overlay diffs
Review simulator output	normalized lazyuvm.eda_report.v1 JSON from VCS/Questa/Xcelium/Verilator-style reports
Keep CI honest	lazyuvm gate Markdown/JSON evidence, waiver checks, manifest verification
Use AI safely	facts-only context for optional local Ollama explanations; humans still approve

The useful stickiness is not hidden telemetry. It is the team's reviewed verification knowledge living in Git.

Pick Your Path

LazyUVM has a lot of commands, but most users should start with only one path:

User	Start with	Add later	Avoid at first
Student / open-source RTL	demo quickstart, check, uvm, cocotb, coverage parse	regs --c-header, spec --coverage-plan	strict gates, waivers, pack policy
Solo developer / small team	init, check, gate, know trace, know manifest	reviewed waivers, pack reuse, init-ci	enterprise-style process too early
Startup / design house	CI gate, EDA report JSON, C headers, cocotb/UVM starters	pack lockfiles, overlay diff, waiver governance	public packs without review
Enterprise / existing EDA flow	coverage parse, gate --eda-report-json, offline/security docs	strict waiver policy, manifests, local AI review bundle	claims of sign-off replacement

The adoption rule is simple: begin with local evidence, then add governance only when the team is ready to review it.

Install

From a checkout:

python3 -m pip install -e .
lazyuvm --version

For command discovery:

lazyuvm --help
lazyuvm demo --help

Older one-off flags still exist behind lazyuvm legacy --help, but new project work should use lazyuvm.toml and the project commands below.

Five-Minute Path

Create a project config:

lazyuvm init --filelist path/to/files.f --top your_top_module

Run local checks and starter exports:

lazyuvm check
lazyuvm uvm
lazyuvm cocotb --out-dir generated_cocotb
lazyuvm regs --c-header --out regs.h

Validate reviewed knowledge:

lazyuvm regs
lazyuvm spec
lazyuvm know trace --out LazyUVM_Traceability.md
lazyuvm know manifest --out LazyUVM_Knowledge_Manifest.json

Turn the current state into CI evidence:

lazyuvm gate --update-manifest --json-out LazyUVM_Gate.json --report LazyUVM_Gate.md

Add GitHub Actions when the local flow is stable:

lazyuvm init-ci --filelist path/to/files.f --top your_top_module --repo OWNER/REPO --cocotb

The generated workflow uploads lazyuvm-report-bundle; open LazyUVM_Report/index.html from the artifact for the static HTML dashboard.

EDA Report Flow

LazyUVM v0.7 adds a small adapter contract for simulator and coverage reports. The goal is to absorb report output into the same Git-reviewed evidence loop, not to replace the simulator.

lazyuvm coverage parse reports/vcs_urg.txt \
  --tool vcs \
  --json-out LazyUVM_EDA_Report.json \
  --out LazyUVM_EDA_Report.md

lazyuvm gate \
  --eda-report-json LazyUVM_EDA_Report.json \
  --json-out LazyUVM_Gate.json \
  --report LazyUVM_Gate.md

lazyuvm spec trace --json --out LazyUVM_Spec_Trace.json

Bundle the local JSON evidence into a static CI artifact:

lazyuvm report bundle \
  --gate-json LazyUVM_Gate.json \
  --eda-report-json LazyUVM_EDA_Report.json \
  --spec-trace-json LazyUVM_Spec_Trace.json \
  --pack-deps-json pack_dependencies.json \
  --pack-lock-json LazyUVM_Pack_Lock.json \
  --pack-overlay-json pack_overlay_diff.json \
  --pack-catalog-json pack_catalog.json \
  --redact-local-paths \
  --out LazyUVM_Report

Open LazyUVM_Report/index.html for the overview, LazyUVM_Report/coverage.html for coverage-hole review, LazyUVM_Report/waivers.html for waiver health, or LazyUVM_Report/spec_trace.html for source-coordinate traceability, or LazyUVM_Report/packs.html for local pack reuse evidence.

To preview the result without running a simulator or CI, open the public-safe demo bundle at examples/report_bundle_demo/LazyUVM_Report/index.html.

The bundle is offline by construction: no CDN, no external JavaScript, no tracking, no network calls, copied JSON evidence under data/, a data/manifest.json inventory, and a data/manifest.sha256 sidecar. Use --redact-local-paths before sharing a report outside your machine or CI boundary.

Supported starter profiles:

Profile	Typical source
vcs	Synopsys VCS URG-style summaries
questa	Siemens Questa vcover-style summaries
xcelium	Cadence Xcelium IMC-style summaries
verilator / lcov	Verilator and LCOV-style text reports
generic	simple line-oriented coverage notes

See docs/v0.7_stabilization.md for the stable lazyuvm.eda_report.v1 fields and the coverage parse -> gate handoff. See docs/report_bundle.md for the v0.8 static report bundle contract.

Typical Team Workflow

1. Commit lazyuvm.toml.
2. Add reviewed protocol/register/behavior/spec references as the project becomes understood.
3. Parse coverage or simulator reports into LazyUVM JSON.
4. Run lazyuvm gate locally and in CI.
5. Review Markdown/JSON evidence in pull requests.
6. Use packs, waivers, and manifests only when the team actually needs them.

That progression matters. Teams should not start by enabling every feature. Start with a small reviewed config, then add governance as it pays for itself.

Documentation Map

Do not read every document first. Pick one path:

If you want to...	Start here
Find a runnable sample	examples/README.md
Try the product flow	docs/team_governance_demo.md
Understand PR repair commands	docs/pr_workflow_cookbook.md
Export UVM, cocotb, C headers, and CI evidence	docs/export_targets.md
Reuse local knowledge packs	docs/pack_reuse_workflow.md
Parse EDA reports in CI	docs/eda_ci_recipes.md
Review offline/security boundaries	docs/eda_offline_adoption.md
Use local AI safely	docs/ai_review_workflow.md

The full documentation index is docs/README.md.

Local AI Boundary

LazyUVM does not ask AI to sign off RTL.

LazyUVM = extract facts, link evidence, write stable JSON/Markdown
AI      = optionally explain those facts in local prose
Human   = review, approve, sign off

Useful commands:

lazyuvm know context "coverage closure" --gate-json LazyUVM_Gate.json --out LazyUVM_AI_Context.json
lazyuvm know context-verify LazyUVM_AI_Context.json
lazyuvm know prompt --context-json LazyUVM_AI_Context.json --out LazyUVM_AI_Prompt.txt
lazyuvm know explain "coverage closure" --context-json LazyUVM_AI_Context.json --ai --out LazyUVM_Knowledge_Explain.md
lazyuvm know guard --context-json LazyUVM_AI_Context.json --ai-output LazyUVM_Knowledge_Explain.md

AI output is a reading aid, not a reviewed fact or root-cause decision.

Who It Is For

LazyUVM is a practical fit for:

• students and open-source RTL projects that need repeatable verification structure without enterprise tooling;
• small teams that want Git-reviewed protocol/register/spec knowledge;
• teams already using commercial simulators but wanting lightweight PR evidence;
• engineers who want local-first AI summaries without uploading design data.

It is not a substitute for a mature enterprise sign-off flow. If your company already has vManager, Verdi, VCS, Xcelium, Questa, Jasper, or internal dashboards, LazyUVM should complement that flow by making local evidence easier to review.

For enterprise conversations, the safest framing is:

LazyUVM does not replace the enterprise flow.
LazyUVM turns local RTL knowledge and EDA output into reviewable Git/CI evidence.

Release Status

Current repository version: 0.9.0

Latest tagged release: 0.9.0

Latest release note: docs/releases/v0.9.0.md

See CHANGELOG.md for release history and RELEASE_CHECKLIST.md before cutting a tag.

For small public-safe contributions, see CONTRIBUTING.md. For sensitive reports and private design-data boundaries, see SECURITY.md.

Project Philosophy

The project is intentionally boring where it matters:

• local files over hidden services;
• reviewable TOML/JSON/Markdown over opaque databases;
• explicit spec/register/behavior links over magic inference;
• deterministic CI evidence over unverifiable AI claims;
• human approval over automated sign-off.

That is the adoption path: make the first local workflow useful, then let teams keep more of their verification memory in a format they can review, diff, and carry between projects.