Skip to content
This repository has been archived by the owner on Aug 20, 2024. It is now read-only.

preset: make PropagatePreset play nice with verification statements #2453

Merged
merged 1 commit into from
Jan 19, 2022

Conversation

ekiwi
Copy link
Contributor

@ekiwi ekiwi commented Jan 7, 2022

Verification statements are guarded by reset.
If this reset happens to be a "preset" type
reset, they should always be active.
The easiest way to achieve that is to replace
all uses of "preset" resets with zero.

Fixes #2348

Contributor Checklist

  • Did you add at least one test demonstrating the PR?
  • Did you delete any extraneous printlns/debugging code?
  • Did you specify the type of improvement?
  • Did you state the API impact?
  • Did you specify the code generation impact?
  • Did you request a desired merge strategy?

Type of Improvement

  • bug fix

API Impact

  • none

Backend Code Generation Impact

  • essentially none

Desired Merge Strategy

  • squash

Reviewer Checklist (only modified by reviewer)

  • Did you add the appropriate labels?
  • Did you mark the proper milestone (1.2.x, 1.3.0, 1.4.0) ?
  • Did you review?
  • Did you check whether all relevant Contributor checkboxes have been checked?
  • Did you mark as Please Merge?

@ekiwi ekiwi requested a review from jackkoenig January 7, 2022 21:48
@ekiwi ekiwi added this to the 1.5.0 milestone Jan 7, 2022
@jackkoenig jackkoenig modified the milestones: 1.5.0, 1.5.x Jan 17, 2022
Copy link
Contributor

@jackkoenig jackkoenig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@ekiwi ekiwi added the Please Merge Accepted PRs that are ready to be merged. Useful when waiting on CI. label Jan 19, 2022
Verification statements are guarded by reset.
If this reset happens to be a "preset" type
reset, they should always be active.
The easiest way to achieve that is to replace
all uses of "preset" resets with zero.
@mergify mergify bot merged commit c98ee33 into chipsalliance:master Jan 19, 2022
mergify bot pushed a commit that referenced this pull request Jan 19, 2022
…2453)

Verification statements are guarded by reset.
If this reset happens to be a "preset" type
reset, they should always be active.
The easiest way to achieve that is to replace
all uses of "preset" resets with zero.

(cherry picked from commit c98ee33)
@mergify mergify bot added the Backported This PR has been backported to marked stable branch label Jan 19, 2022
mergify bot added a commit that referenced this pull request Jan 19, 2022
…2453) (#2467)

Verification statements are guarded by reset.
If this reset happens to be a "preset" type
reset, they should always be active.
The easiest way to achieve that is to replace
all uses of "preset" resets with zero.

(cherry picked from commit c98ee33)

Co-authored-by: Kevin Laeufer <[email protected]>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Backported This PR has been backported to marked stable branch Please Merge Accepted PRs that are ready to be merged. Useful when waiting on CI.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Preset doesn't work with simulation constructs
2 participants