Skip to content

DRAFT: [HW] Analyse clock domain crossings in CIRCT - #11076

Draft
Scheremo wants to merge 3 commits into
llvm:mainfrom
Scheremo:pr-clock-analysis-passes
Draft

DRAFT: [HW] Analyse clock domain crossings in CIRCT#11076
Scheremo wants to merge 3 commits into
llvm:mainfrom
Scheremo:pr-clock-analysis-passes

Conversation

@Scheremo

@Scheremo Scheremo commented Sep 3, 2026

Copy link
Copy Markdown
Contributor

This PR contains a first version of propagating clock domain information through he hw dialect.

The idea is to associated every signal with a clock domain and eventually check for consistent clock domain crossings as a linting pass.

This first patch adds a forward pass to propagate information downwards, and a checking pass that emits a note on every signal that has been assigned multiple clocks.

Assisted-by: Codex:Terra 5.6

@Scheremo
Scheremo marked this pull request as draft September 3, 2026 15:52
@circt-bot

circt-bot Bot commented Sep 3, 2026

Copy link
Copy Markdown

Results of circt-tests run for b4015da compared to results for 5eaa019: no change to test results.

@Scheremo
Scheremo force-pushed the pr-clock-analysis-passes branch from b4015da to 0f35950 Compare September 4, 2026 09:14
@Scheremo
Scheremo force-pushed the pr-clock-analysis-passes branch from 0f35950 to 41d4880 Compare September 4, 2026 09:21
@circt-bot

circt-bot Bot commented Sep 4, 2026

Copy link
Copy Markdown

Results of circt-tests run for 41d4880 compared to results for 5eaa019: no change to test results.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant