projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 832888f) | patch
examples: Fix use of SVA value change expressions
authorJannis Harder <me@jix.one>
Wed, 11 May 2022 08:38:54 +0000 (10:38 +0200)
committerJannis Harder <me@jix.one>
Wed, 11 May 2022 08:38:54 +0000 (10:38 +0200)
commitfedfae0e9c1b0e5fdd81b268f7b94e40f08e9349
tree9542dd78b66885e09b02fe5d89cd6358c732868dtree
parent832888f0f0cf50dc1fda5d027607174dbf966505commit | diff
examples: Fix use of SVA value change expressions

The $stable value change expression cannot be true for a non-x signal in
the initial state. This is now correctly handled by the verific import,
so the dpmem example needs to start assuming `$stable` only after
leaving the initial state.
docs/examples/multiclk/dpmem.sv diff | blob | history