diff options
| author | Jannis Harder <me@jix.one> | 2022-05-09 16:40:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-09 16:40:34 +0200 |
| commit | 587e09d551d753d6c9a3ca3635e2c7f66e978024 (patch) | |
| tree | 3ee945bb1b6d05fc3da07a10f5c201931a364952 /kernel | |
| parent | 5ca2ee0c3114464c91743b73efd7c4c4f15fb0dd (diff) | |
| parent | a855d62b420446756a8a36f5fd25a5c77ff07e16 (diff) | |
| download | yosys-587e09d551d753d6c9a3ca3635e2c7f66e978024.tar.gz yosys-587e09d551d753d6c9a3ca3635e2c7f66e978024.tar.bz2 yosys-587e09d551d753d6c9a3ca3635e2c7f66e978024.zip | |
Merge pull request #3305 from jix/sva_value_change_logic
verific: Improve logic generated for SVA value change expressions
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions