Jannis Harder 5042600c0d xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundef ...

This adds the xprop_decoder attribute to bwmuxes that drive the original
unencoded signals. Setundef is changed to ignore the x inputs of these
bwmuxes, so that they survive the prep script of SBY's formal flow. This
is required to make simulation (via sim) using the prep model show the
decoded x signals instead of 0/1 values made up by the solver.

2023-01-11 18:07:16 +01:00

..

add.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

autoname.cc

Merge pull request #2817 from YosysHQ/claire/fixemails

2021-06-09 13:22:52 +02:00

blackbox.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

bugpoint.cc

Fitting help messages to 80 character width

2022-08-24 10:40:57 +12:00

check.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

chformal.cc

Fitting help messages to 80 character width

2022-08-24 10:40:57 +12:00

chtype.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

clean_zerowidth.cc

Add $bmux and $demux cells.

2022-01-28 23:34:41 +01:00

connect.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

connwrappers.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

copy.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

cover.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

delete.cc

rtlil: Make Process handling more uniform with Cell and Wire.

2021-07-12 00:47:34 +02:00

design.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

edgetypes.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

exec.cc

Deprecate gcc-4.8

2023-01-11 09:54:19 +01:00

glift.cc

Fitting help messages to 80 character width

2022-08-24 10:40:57 +12:00

logcmd.cc

Fitting help messages to 80 character width

2022-08-24 10:40:57 +12:00

logger.cc

Deprecate gcc-4.8

2023-01-11 09:54:19 +01:00

ltp.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

Makefile.inc

Add "viz" pass for visualizing big-picture data flow in larger designs

2022-12-04 11:35:10 +01:00

plugin.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

portlist.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

printattrs.cc

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

qwp.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

rename.cc

rename: Add -witness mode

2022-08-16 13:37:30 +02:00

scatter.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

scc.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

scratchpad.cc

Fitting help messages to 80 character width

2022-08-24 10:40:57 +12:00

select.cc

Rst docs conversion (#3496)

2022-11-15 12:55:22 +01:00

setattr.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

setundef.cc

xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundef

2023-01-11 18:07:16 +01:00

show.cc

yosys: passes: cmds: show: added filename re-writing to show -lib

2022-08-22 06:04:54 -04:00

splice.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

splitcells.cc

Bugfix in splitcells pass

2022-12-06 16:00:48 +01:00

splitnets.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

sta.cc

sta: warn on unrecognised cells only once

2022-06-08 09:31:49 +01:00

stat.cc

stat: ensure area is included in json output

2022-12-29 21:51:46 -05:00

tee.cc

tee: Allow logging command output to a given scratchpad value

2022-12-02 14:36:19 +01:00

torder.cc

Add v2 memory cells.

2021-08-11 13:34:10 +02:00

trace.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

viz.cc

Improvements in "viz" pass

2022-12-09 18:28:17 +01:00

write_file.cc

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

xprop.cc

xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundef

2023-01-11 18:07:16 +01:00