diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-07 14:45:31 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-07 14:45:31 -0800 |
| commit | fce727115a727f8c599be59b5f3e373fbf19f991 (patch) | |
| tree | ec566ad437952384a0b665b6d3d65b8fd3e57296 /tests | |
| parent | 5c89dead5f481edaccd46ebc0af907544c89654f (diff) | |
| parent | 2ac36031d4da8d2e99d89f16cb69871c9e3c59aa (diff) | |
| download | yosys-fce727115a727f8c599be59b5f3e373fbf19f991.tar.gz yosys-fce727115a727f8c599be59b5f3e373fbf19f991.tar.bz2 yosys-fce727115a727f8c599be59b5f3e373fbf19f991.zip | |
Merge pull request #1618 from YosysHQ/eddie/aiger_fixes
read_aiger fixes
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/aiger/run-test.sh | 4 | ||||
| -rw-r--r-- | tests/aiger/symbols.aag | 9 | ||||
| -rw-r--r-- | tests/aiger/symbols.aig | 8 |
3 files changed, 19 insertions, 2 deletions
diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh index deaf48a3d..8e932b091 100755 --- a/tests/aiger/run-test.sh +++ b/tests/aiger/run-test.sh @@ -33,7 +33,7 @@ design -import gold -as gold design -import gate -as gate miter -equiv -flatten -make_assert -make_outputs gold gate miter sat -verify -prove-asserts -show-ports -seq 16 miter -" +" -l ${aag}.log done for aig in *.aig; do @@ -50,5 +50,5 @@ design -import gold -as gold design -import gate -as gate miter -equiv -flatten -make_assert -make_outputs gold gate miter sat -verify -prove-asserts -show-ports -seq 16 miter -" +" -l ${aig}.log done diff --git a/tests/aiger/symbols.aag b/tests/aiger/symbols.aag new file mode 100644 index 000000000..93f8989f2 --- /dev/null +++ b/tests/aiger/symbols.aag @@ -0,0 +1,9 @@ +aag 2 1 1 1 0 +2 +4 2 1 +4 +i0 d +l0 q +o0 q +c +Generated by Yosys 0.9+932 (git sha1 baba33fb, clang 9.0.0-2 -fPIC -Os) diff --git a/tests/aiger/symbols.aig b/tests/aiger/symbols.aig new file mode 100644 index 000000000..a7922ab46 --- /dev/null +++ b/tests/aiger/symbols.aig @@ -0,0 +1,8 @@ +aig 2 1 1 1 0 +2 1 +4 +i0 d +l0 q +o0 q +c +Generated by Yosys 0.9+932 (git sha1 baba33fb, clang 9.0.0-2 -fPIC -Os) |