diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2020-07-27 18:28:01 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2020-07-27 18:36:13 +0200 |
| commit | a1a0abf52afe397e11b63bfc67e82aaf7bf9f498 (patch) | |
| tree | 34df364fd6cda800734f8422bccd1eaeaa37e63f /misc | |
| parent | bd959d5d9ee1c0eda1921b737ba0c09dd8b2d62f (diff) | |
| download | yosys-a1a0abf52afe397e11b63bfc67e82aaf7bf9f498.tar.gz yosys-a1a0abf52afe397e11b63bfc67e82aaf7bf9f498.tar.bz2 yosys-a1a0abf52afe397e11b63bfc67e82aaf7bf9f498.zip | |
equiv_induct: Fix up assumption for $equiv cells in -undef mode.
Before this fix, equiv_induct only assumed that one of the following is
true:
- defined value of A is equal to defined value of B
- A is undefined
This lets through valuations where A is defined, B is undefined, and
the defined (meaningless) value of B happens to match the defined value
of A. Instead, tighten this up to OR of the following:
- defined value of A is equal to defined value of B, and B is not
undefined
- A is undefined
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions