riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add binary AIGs converted from AAG

This commit is contained in:
Eddie Hung 2019-02-08 11:41:25 -08:00
parent 09d758f0a3
commit 4e6c5e4672
14 changed files with 51 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/aiger/and.aig Normal file
View File

@ -0,0 +1,3 @@
aig 3 2 0 1 1
6


2
tests/aiger/buffer.aig Normal file
View File

@ -0,0 +1,2 @@
aig 1 1 0 1 0
2

3
tests/aiger/cnt1.aig Normal file
View File

@ -0,0 +1,3 @@
aig 1 0 1 0 0 1
3
2

4
tests/aiger/cnt1e.aig Normal file
View File

@ -0,0 +1,4 @@
aig 5 1 1 0 3 1
10
4
b0 AIGER_NEVER

1
tests/aiger/empty.aig Normal file
View File

@ -0,0 +1 @@
aig 0 0 0 0 0

2
tests/aiger/false.aig Normal file
View File

@ -0,0 +1,2 @@
aig 0 0 0 1 0
0

9
tests/aiger/halfadder.aig Normal file
View File

@ -0,0 +1,9 @@
aig 5 2 0 2 3
10
6
i0 x
i1 y
o0 s
o1 c
c
half adder

2
tests/aiger/inverter.aig Normal file
View File

@ -0,0 +1,2 @@
aig 1 1 0 1 0
3

4
tests/aiger/notcnt1.aig Normal file
View File

@ -0,0 +1,4 @@
aig 1 0 1 0 0 1
3
3
b0 AIGER_NEVER

4
tests/aiger/notcnt1e.aig Normal file
View File

@ -0,0 +1,4 @@
aig 5 1 1 0 3 1
10
5
b0 AIGER_NEVER

3
tests/aiger/or.aig Normal file
View File

@ -0,0 +1,3 @@
aig 3 2 0 1 1
7


8
tests/aiger/toggle-re.aig Normal file
View File

@ -0,0 +1,8 @@
aig 7 2 1 2 4
14
6
7
i0 enable
i1 reset
o0 Q
o1 !Q

4
tests/aiger/toggle.aig Normal file
View File

@ -0,0 +1,4 @@
aig 1 0 1 2 0
3
2
3

2
tests/aiger/true.aig Normal file
View File

@ -0,0 +1,2 @@
aig 0 0 0 1 0
1