aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sva/sva_value_change_rose.sv
Commit message (Expand)AuthorAgeFilesLines
* verific: Improve logic generated for SVA value change expressionsJannis Harder2022-05-091-0/+20