3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-25 20:46:04 +00:00
yosys/tests/aiger
2020-02-15 19:52:21 +01:00
..
.gitignore tests/aiger: Add missing .gitignore 2020-02-15 19:52:21 +01:00
and_.aag Add symbols to AIGER test inputs for ABC 2019-06-07 11:05:25 -07:00
and_.aig
buffer.aag
buffer.aig
cnt1.aag
cnt1.aig
cnt1e.aag
cnt1e.aig
empty.aag
empty.aig
false.aag
false.aig
halfadder.aag
halfadder.aig
inverter.aag
inverter.aig
notcnt1.aag
notcnt1.aig
notcnt1e.aag
notcnt1e.aig
or_.aag
or_.aig
run-test.sh
symbols.aag Add testcases 2020-01-07 11:44:20 -08:00
symbols.aig Add testcases 2020-01-07 11:44:20 -08:00
toggle-re.aag
toggle-re.aig
toggle.aag
toggle.aig
true.aag
true.aig