[Verif] Use Seq ClockType for clocked asserts
Open
@markram1729 is already working on this.
Since Aug 26, 2025.
good first issue
verif
- Dominant language
- C++
- Stars
- 2.2k
- Forks
- 524
- Avg merge
- 3d 2h
- Merged PRs (30d)
- 46
Description
The Verif dialect uses `i1` operands as clocks: https://github.com/llvm/circt/blob/main/include/circt/Dialect/Verif/VerifOps.td#L72-L82. This should probably be a `!seq.clock` to align better with other clock uses in the core dialect.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.