chipsalliance / chipsalliance/chisel
how to annotations to ltl properties
Open
- Dominant language
- Scala
- Stars
- 4.8k
- Forks
- 658
- Avg merge
- 18h 59m
- Merged PRs (30d)
- 14
Description
Hi, I'm trying to annotate ltl properties, however it seems that the `Property` class lacks the `toNamed`, `toTarget` and other methods, and it's also not a `Data` type, so the current annotation methods don't work. Is there a recommended way to annotate ltl properties in ChiselProve?
Contributor guide
Assessment
This issue has not been assessed yet.