Merge remote-tracking branch 'origin/dff_init' into read_aiger
[yosys.git] / tests / aiger /
drwxr-xr-x   ..
-rw-r--r-- 26 and.aag
-rw-r--r-- 18 and.aig
-rw-r--r-- 18 buffer.aag
-rw-r--r-- 16 buffer.aig
-rw-r--r-- 22 cnt1.aag
-rw-r--r-- 20 cnt1.aig
-rw-r--r-- 59 cnt1e.aag
-rw-r--r-- 42 cnt1e.aig
-rw-r--r-- 14 empty.aag
-rw-r--r-- 14 empty.aig
-rw-r--r-- 16 false.aag
-rw-r--r-- 16 false.aig
-rw-r--r-- 78 halfadder.aag
-rw-r--r-- 58 halfadder.aig
-rw-r--r-- 18 inverter.aag
-rw-r--r-- 16 inverter.aig
-rw-r--r-- 37 notcnt1.aag
-rw-r--r-- 35 notcnt1.aig
-rw-r--r-- 59 notcnt1e.aag
-rw-r--r-- 42 notcnt1e.aig
-rw-r--r-- 26 or.aag
-rw-r--r-- 18 or.aig
-rwxr-xr-x 576 run-test.sh
-rw-r--r-- 86 toggle-re.aag
-rw-r--r-- 59 toggle-re.aig
-rw-r--r-- 22 toggle.aag
-rw-r--r-- 20 toggle.aig
-rw-r--r-- 16 true.aag
-rw-r--r-- 16 true.aig