luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-09-05 19:36:55 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
itsaflower-patch-1
yosys/tests/aiger
T
History
Lofty 091d2a7814 Move rename logic to abc_ops_reintegrate
2026-06-19 10:46:47 +01:00
..
gold
tests/aiger: Add gold .aag files
2025-12-02 14:03:37 +13:00
.gitignore
tests/aiger: Compare .aag outputs against known
2025-12-02 14:03:36 +13:00
and_.aag
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
and_.aig
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
and_to_bad_out.aag
read_aiger: Fix incorrect read of binary Aiger without outputs
2024-04-29 14:06:58 +01:00
and_to_bad_out.aig
read_aiger: Fix incorrect read of binary Aiger without outputs
2024-04-29 14:06:58 +01:00
buffer.aag
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
buffer.aig
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
cnt1.aag
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
cnt1.aig
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
cnt1e.aag
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
cnt1e.aig
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
empty.aag
…
empty.aig
Add binary AIGs converted from AAG
2019-02-08 11:41:25 -08:00
false.aag
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
false.aig
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
generate_mk.py
Do not use Makefile.conf
2026-05-19 14:29:06 +02:00
halfadder.aag
…
halfadder.aig
Add binary AIGs converted from AAG
2019-02-08 11:41:25 -08:00
inverter.aag
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
inverter.aig
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
io.ys
aiger: add regression test for sliced output segfault
2025-05-09 16:01:47 +02:00
notcnt1.aag
…
notcnt1.aig
Add binary AIGs converted from AAG
2019-02-08 11:41:25 -08:00
notcnt1e.aag
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
notcnt1e.aig
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
or_.aag
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
or_.aig
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
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
Add binary AIGs converted from AAG
2019-02-08 11:41:25 -08:00
toggle.aag
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
toggle.aig
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
true.aag
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00
true.aig
Add symbols to AIGER test inputs for ABC
2019-06-07 11:05:25 -07:00