From: Jannis Harder <me@jix.one>
Date: Mon, 9 May 2022 14:40:34 +0000 (+0200)
Subject: Merge pull request #3305 from jix/sva_value_change_logic
X-Git-Tag: divfloor-in-write_smt2-old-test~32
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=587e09d551d753d6c9a3ca3635e2c7f66e978024;p=yosys.git

Merge pull request #3305 from jix/sva_value_change_logic

verific: Improve logic generated for SVA value change expressions
---

587e09d551d753d6c9a3ca3635e2c7f66e978024