Skip to content

Refactor cdc_2phase_clearable and extend its tests#304

Open
phsauter wants to merge 4 commits into
v2-devfrom
phsauter/cdc-clearable-refactor
Open

Refactor cdc_2phase_clearable and extend its tests#304
phsauter wants to merge 4 commits into
v2-devfrom
phsauter/cdc-clearable-refactor

Conversation

@phsauter
Copy link
Copy Markdown
Collaborator

@phsauter phsauter commented May 22, 2026

  • Add formal verification for the CDC reset controller halfs
  • Add formal verification for the CDC reset controller top
  • Expand the previous cdc_2phase_clearable timed testbench and add asserts to check various conditions
  • Refactor the cdc_2phase_clearable using the new tests to check correctness, the goal was to cleanly separate it into a source and destination side and only have the async wires going between them in the top-level.
  • Fixed parameters that were not passed down properly

This is a big one, we can gladly discuss it but if you want to review something focus on the cdc_2phase_clearable itself and if the parameters do what you would expect.
I am very confident this does not change the reset/clear behavior.

@phsauter phsauter requested a review from colluca May 22, 2026 16:41
@phsauter phsauter added the v2 label May 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant