diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-10-03 11:54:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-03 11:54:04 +0200 |
| commit | 0e05424885f569f34dd68b70a50a4488ce21c99e (patch) | |
| tree | 6a1fd9e87eb7859a406e4e5976aa9438a0b12a3a /tests | |
| parent | afdc990595245a7a070d4d9c39464d88582dc4f6 (diff) | |
| parent | 8b239ee707a2bf4a868728046d7f64c16d74aa2a (diff) | |
| download | yosys-0e05424885f569f34dd68b70a50a4488ce21c99e.tar.gz yosys-0e05424885f569f34dd68b70a50a4488ce21c99e.tar.bz2 yosys-0e05424885f569f34dd68b70a50a4488ce21c99e.zip | |
Merge pull request #1422 from YosysHQ/eddie/aigmap_select
Add -select option to aigmap
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/techmap/aigmap.ys | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/techmap/aigmap.ys b/tests/techmap/aigmap.ys new file mode 100644 index 000000000..a40aa39f1 --- /dev/null +++ b/tests/techmap/aigmap.ys @@ -0,0 +1,10 @@ +read_verilog <<EOT +module top(input i, j, s, output o, p); +assign o = s ? j : i; +assign p = ~i; +endmodule +EOT + +select t:$mux +aigmap -select +select -assert-any % |