diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-08 11:41:25 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-08 11:41:25 -0800 |
| commit | 4e6c5e46725bb99e0c919a5f82ce5290da2ce2f9 (patch) | |
| tree | 4e9e21b01c470ab87b64cbd6be2f9a6417428206 /tests/aiger | |
| parent | 09d758f0a31e3b4290bfcd3d9864733e84c83628 (diff) | |
| download | yosys-4e6c5e46725bb99e0c919a5f82ce5290da2ce2f9.tar.gz yosys-4e6c5e46725bb99e0c919a5f82ce5290da2ce2f9.tar.bz2 yosys-4e6c5e46725bb99e0c919a5f82ce5290da2ce2f9.zip | |
Add binary AIGs converted from AAG
Diffstat (limited to 'tests/aiger')
| -rw-r--r-- | tests/aiger/and.aig | 3 | ||||
| -rw-r--r-- | tests/aiger/buffer.aig | 2 | ||||
| -rw-r--r-- | tests/aiger/cnt1.aig | 3 | ||||
| -rw-r--r-- | tests/aiger/cnt1e.aig | 4 | ||||
| -rw-r--r-- | tests/aiger/empty.aig | 1 | ||||
| -rw-r--r-- | tests/aiger/false.aig | 2 | ||||
| -rw-r--r-- | tests/aiger/halfadder.aig | 9 | ||||
| -rw-r--r-- | tests/aiger/inverter.aig | 2 | ||||
| -rw-r--r-- | tests/aiger/notcnt1.aig | 4 | ||||
| -rw-r--r-- | tests/aiger/notcnt1e.aig | 4 | ||||
| -rw-r--r-- | tests/aiger/or.aig | 3 | ||||
| -rw-r--r-- | tests/aiger/toggle-re.aig | 8 | ||||
| -rw-r--r-- | tests/aiger/toggle.aig | 4 | ||||
| -rw-r--r-- | tests/aiger/true.aig | 2 |
14 files changed, 51 insertions, 0 deletions
diff --git a/tests/aiger/and.aig b/tests/aiger/and.aig new file mode 100644 index 000000000..da0fa0719 --- /dev/null +++ b/tests/aiger/and.aig @@ -0,0 +1,3 @@ +aig 3 2 0 1 1 +6 +
\ No newline at end of file diff --git a/tests/aiger/buffer.aig b/tests/aiger/buffer.aig new file mode 100644 index 000000000..0c715fdeb --- /dev/null +++ b/tests/aiger/buffer.aig @@ -0,0 +1,2 @@ +aig 1 1 0 1 0 +2 diff --git a/tests/aiger/cnt1.aig b/tests/aiger/cnt1.aig new file mode 100644 index 000000000..8d0ba13b1 --- /dev/null +++ b/tests/aiger/cnt1.aig @@ -0,0 +1,3 @@ +aig 1 0 1 0 0 1 +3 +2 diff --git a/tests/aiger/cnt1e.aig b/tests/aiger/cnt1e.aig new file mode 100644 index 000000000..d8d159f11 --- /dev/null +++ b/tests/aiger/cnt1e.aig @@ -0,0 +1,4 @@ +aig 5 1 1 0 3 1 +10 +4 +b0 AIGER_NEVER diff --git a/tests/aiger/empty.aig b/tests/aiger/empty.aig new file mode 100644 index 000000000..a28373cd3 --- /dev/null +++ b/tests/aiger/empty.aig @@ -0,0 +1 @@ +aig 0 0 0 0 0 diff --git a/tests/aiger/false.aig b/tests/aiger/false.aig new file mode 100644 index 000000000..ad7d039fa --- /dev/null +++ b/tests/aiger/false.aig @@ -0,0 +1,2 @@ +aig 0 0 0 1 0 +0 diff --git a/tests/aiger/halfadder.aig b/tests/aiger/halfadder.aig new file mode 100644 index 000000000..83727ee63 --- /dev/null +++ b/tests/aiger/halfadder.aig @@ -0,0 +1,9 @@ +aig 5 2 0 2 3 +10 +6 +i0 x +i1 y +o0 s +o1 c +c +half adder diff --git a/tests/aiger/inverter.aig b/tests/aiger/inverter.aig new file mode 100644 index 000000000..525d82392 --- /dev/null +++ b/tests/aiger/inverter.aig @@ -0,0 +1,2 @@ +aig 1 1 0 1 0 +3 diff --git a/tests/aiger/notcnt1.aig b/tests/aiger/notcnt1.aig new file mode 100644 index 000000000..f8a667f1f --- /dev/null +++ b/tests/aiger/notcnt1.aig @@ -0,0 +1,4 @@ +aig 1 0 1 0 0 1 +3 +3 +b0 AIGER_NEVER diff --git a/tests/aiger/notcnt1e.aig b/tests/aiger/notcnt1e.aig new file mode 100644 index 000000000..7c85a7290 --- /dev/null +++ b/tests/aiger/notcnt1e.aig @@ -0,0 +1,4 @@ +aig 5 1 1 0 3 1 +10 +5 +b0 AIGER_NEVER diff --git a/tests/aiger/or.aig b/tests/aiger/or.aig new file mode 100644 index 000000000..75c9e4480 --- /dev/null +++ b/tests/aiger/or.aig @@ -0,0 +1,3 @@ +aig 3 2 0 1 1 +7 +
\ No newline at end of file diff --git a/tests/aiger/toggle-re.aig b/tests/aiger/toggle-re.aig new file mode 100644 index 000000000..9d6730f21 --- /dev/null +++ b/tests/aiger/toggle-re.aig @@ -0,0 +1,8 @@ +aig 7 2 1 2 4 +14 +6 +7 +i0 enable +i1 reset +o0 Q +o1 !Q diff --git a/tests/aiger/toggle.aig b/tests/aiger/toggle.aig new file mode 100644 index 000000000..b69e21aaf --- /dev/null +++ b/tests/aiger/toggle.aig @@ -0,0 +1,4 @@ +aig 1 0 1 2 0 +3 +2 +3 diff --git a/tests/aiger/true.aig b/tests/aiger/true.aig new file mode 100644 index 000000000..10086f389 --- /dev/null +++ b/tests/aiger/true.aig @@ -0,0 +1,2 @@ +aig 0 0 0 1 0 +1 |