opt_reduce: Add $bmux and $demux optimization patterns.
[yosys.git] / tests / aiger /
drwxr-xr-x   ..
-rw-r--r-- 26 .gitignore
-rw-r--r-- 47 and_.aag
-rw-r--r-- 39 and_.aig
-rw-r--r-- 32 buffer.aag
-rw-r--r-- 30 buffer.aig
-rw-r--r-- 29 cnt1.aag
-rw-r--r-- 27 cnt1.aig
-rw-r--r-- 66 cnt1e.aag
-rw-r--r-- 49 cnt1e.aig
-rw-r--r-- 14 empty.aag
-rw-r--r-- 14 empty.aig
-rw-r--r-- 23 false.aag
-rw-r--r-- 23 false.aig
-rw-r--r-- 78 halfadder.aag
-rw-r--r-- 58 halfadder.aig
-rw-r--r-- 32 inverter.aag
-rw-r--r-- 30 inverter.aig
-rw-r--r-- 836 neg.ys
-rw-r--r-- 37 notcnt1.aag
-rw-r--r-- 35 notcnt1.aig
-rw-r--r-- 66 notcnt1e.aag
-rw-r--r-- 49 notcnt1e.aig
-rw-r--r-- 47 or_.aag
-rw-r--r-- 39 or_.aig
-rwxr-xr-x 1521 run-test.sh
-rw-r--r-- 113 symbols.aag
-rw-r--r-- 109 symbols.aig
-rw-r--r-- 86 toggle-re.aag
-rw-r--r-- 59 toggle-re.aig
-rw-r--r-- 36 toggle.aag
-rw-r--r-- 34 toggle.aig
-rw-r--r-- 23 true.aag
-rw-r--r-- 23 true.aig