Skip to content

[Add] Validate portable SDC and UPF intent - #17

Merged
ErickOF merged 1 commit into
devfrom
feature-static_intent_validation_for_sdc_and_upf
Sep 10, 2026
Merged

ErickOF merged 1 commit into
devfrom
feature-static_intent_validation_for_sdc_and_upf

Conversation

@ErickOF

@ErickOF ErickOF commented Sep 10, 2026

Copy link
Copy Markdown
Collaborator
  • Add a non-executing Tcl command-capture model and versioned module-owned expectations for sequential, combinational, clock-gating, reset-synchronizer, and cross-profile SDC policy.
  • Validate portable UPF design tops, domains, supplies, connections, port and power states, attributes, isolation, level-shifting, retention, and required or forbidden strategies without claiming technology signoff.
  • Report actionable missing, duplicate, conflicting, broad, incomplete, forbidden, and unsupported intent findings in separate SDC and UPF evidence plus an aggregate result.
  • Integrate the optional static-intent target with parameter profiles, multi-module orchestration, the open-source quality gate, input hashing, and release-manifest evidence.
  • Qualify positive and negative fixtures natively and in the pinned container, document the supported subset and STA or VC LP boundary, and advance the methodology version to 0.7.0

- Add a non-executing Tcl command-capture model and versioned
  module-owned expectations for sequential, combinational, clock-gating,
  reset-synchronizer, and cross-profile SDC policy.
- Validate portable UPF design tops, domains, supplies, connections,
  port and power states, attributes, isolation, level-shifting,
  retention, and required or forbidden strategies without claiming
  technology signoff.
- Report actionable missing, duplicate, conflicting, broad, incomplete,
  forbidden, and unsupported intent finding in separate SDC and UPF
  evidence plus an aggregate result.
- Integrate the optional static-intent target with parameter profiles,
  multi-module orchestration, the open-source quality gate, input
  hashing, and release-manifest evidence.
- Qualify positive and negative fixtures natively and in the pinned
  container, document the supported subset and STA or VC LP boundary,
  and advance the methodology version to 0.7.0
@ErickOF ErickOF self-assigned this Sep 10, 2026
@ErickOF ErickOF added the enhancement New feature or request label Sep 10, 2026
@ErickOF
ErickOF merged commit 44892f8 into dev Sep 10, 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