Merge pull request #3305 from jix/sva_value_change_logic
authorJannis Harder <me@jix.one>
Mon, 9 May 2022 14:40:34 +0000 (16:40 +0200)
committerGitHub <noreply@github.com>
Mon, 9 May 2022 14:40:34 +0000 (16:40 +0200)
commit587e09d551d753d6c9a3ca3635e2c7f66e978024
tree3ee945bb1b6d05fc3da07a10f5c201931a364952
parent5ca2ee0c3114464c91743b73efd7c4c4f15fb0dd
parenta855d62b420446756a8a36f5fd25a5c77ff07e16
Merge pull request #3305 from jix/sva_value_change_logic

verific: Improve logic generated for SVA value change expressions
frontends/verific/verific.cc