diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-08 18:30:20 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-08 18:30:20 -0800 |
| commit | 57f6826e29752d77fb1a9052b4d9bbc0e2450dd8 (patch) | |
| tree | 31e5790bb6ac012d89364ce200f34e362586c8ac /tests/aiger | |
| parent | 020606f81c39df234d7a3f5e3e605e5f27422d87 (diff) | |
| parent | 8a47e6ddfdb49ec172f783621a64b3a8906ff5d6 (diff) | |
| download | yosys-57f6826e29752d77fb1a9052b4d9bbc0e2450dd8.tar.gz yosys-57f6826e29752d77fb1a9052b4d9bbc0e2450dd8.tar.bz2 yosys-57f6826e29752d77fb1a9052b4d9bbc0e2450dd8.zip | |
Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required
Diffstat (limited to 'tests/aiger')
| -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) |