diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-08-11 20:19:37 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-08-11 20:19:37 -0700 |
commit | 1b0439d128be83914825ed097f4b42201d531213 (patch) | |
tree | 77b3533f324ccf571a344d108307ba3f9f40b563 /src/proof/fra | |
parent | af0ac88266d83db084683fb5d509936ca45e1aff (diff) | |
download | abc-1b0439d128be83914825ed097f4b42201d531213.tar.gz abc-1b0439d128be83914825ed097f4b42201d531213.tar.bz2 abc-1b0439d128be83914825ed097f4b42201d531213.zip |
Changing 2:1 MUX fanin order to be (ctrl, data0, data1).
Diffstat (limited to 'src/proof/fra')
0 files changed, 0 insertions, 0 deletions