Skip to content

Update to consume MF20260910V1 qualification flows and documentation - #6

Merged
ErickOF merged 2 commits into
mainfrom
dev
Sep 11, 2026
Merged

ErickOF merged 2 commits into
mainfrom
dev

Conversation

@ErickOF

@ErickOF ErickOF commented Sep 11, 2026

Copy link
Copy Markdown
Collaborator

Update the module template to consume mosaic-flow MF20260910V1 and demonstrate its reusable qualification contracts for parameterized RTL modules.

  • Pin the mosaic-flow submodule to the MF20260910V1 release revision.
  • Import the project Make API while preserving the simple single-module flow.
  • Enable portable coverage, negative, four-state, and static-intent qualification.
  • Add versioned coverage, campaign, static-intent, profile, and OpenROAD policies.
  • Qualify minimum, nominal, and wide DATA_WIDTH profiles with isolated evidence.
  • Add expected-failure controls for coverage, campaign, monitor, and intent gates.
  • Reuse parameter-aware RTL verification across simulation, PyUVM, and formal.
  • Add a pinned containerized Nangate45 OpenROAD CI job and physical evidence checks.
  • Record native, container, and physical evidence through release manifests.
  • Validate exact methodology revision, cache inputs, clean source state, and output ownership.
  • Update module creation, multi-module, configuration, verification, waiver, release, and qualification documentation for the MF20260910V1 contracts.
  • Verify the portable gate, qualification controls, concurrent parameter profiles, static intent, and containerized Nangate45 implementation locally.

Update the module template to consume mosaic-flow MF20260910V1 and
demonstrate its reusable qualification contracts for parameterized RTL
modules.

- Pin the mosaic-flow submodule to the MF20260910V1 release revision.
- Import the project Make API while preserving the simple single-module
  flow.
- Enable portable coverage, negative, four-state, and static-intent
  qualification.
- Add versioned coverage, compaign, static-intent, profile, and OpenROAD
  policies.
- Qualify minimum, nominal, and wide DATA_WIDTH profiles with isolated
  evidence.
- Add expected-failure controls for coverage, campaign, monitor, and
  intent gates.
- Reuse parameter-aware RTL verification across simulation, PyUVM, and
  formal.
- Add a pinned containerized Nangate45 OpenROAD CI job and physical
  evidence checks.
- Record native, container, and physical evidence through release
  manifests.
- Validate exact methodology revision, cache inputs, clean source state,
  and output ownership.
- Update module creation, multi-module, configuration, verification,
  waiver, release, and qualification documentation for the MF20260910V1
  contracts.
- Verify the portable gate, qualification controls, concurrent parameter
  profiles, static intent, and containerized Nangate45 implementation
  locally.
[Update] Consume MF20260910V1 qualification flows
@ErickOF ErickOF self-assigned this Sep 11, 2026
@ErickOF ErickOF added the enhancement New feature or request label Sep 11, 2026
@ErickOF
ErickOF merged commit 3b923a5 into main Sep 11, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant