diff options
| author | Jannis Harder <me@jix.one> | 2022-11-10 16:17:54 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-11-30 18:24:35 +0100 |
| commit | b982ab4f59298946021186403e6415ba79e59200 (patch) | |
| tree | 6b7468718566b6374526637a8556a2b753c6253f /docs | |
| parent | 1e67c3a3c2455b6c15f6366d16406cd964001a07 (diff) | |
| download | yosys-b982ab4f59298946021186403e6415ba79e59200.tar.gz yosys-b982ab4f59298946021186403e6415ba79e59200.tar.bz2 yosys-b982ab4f59298946021186403e6415ba79e59200.zip | |
satgen, simlib: Consistent x-propagation for `$pmux` cells
This updates satgen and simlib to use a `$pmux` model where the output
is fully X when the S input is not all zero or one-hot with no x bits.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions