Merge pull request #3314 from jix/sva_value_change_logic_wide
authorJannis Harder <me@jix.one>
Mon, 16 May 2022 14:15:04 +0000 (16:15 +0200)
committerGitHub <noreply@github.com>
Mon, 16 May 2022 14:15:04 +0000 (16:15 +0200)
verific: Use new value change logic also for $stable of wide signals.


Trivial merge