diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-15 16:42:27 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-15 16:42:27 -0800 |
| commit | b0605128b633f64b07107ba3a673f406e96d42ad (patch) | |
| tree | f7c106275389488b5400bace823bc4cd5c8c4001 /tests/techmap/abc9.ys | |
| parent | 168c9d5871e331341058b026cf9b4f6a99a0f759 (diff) | |
| parent | 03ce2c72bb4e8cd32df994dec04815fa5ecec6fe (diff) | |
| download | yosys-b0605128b633f64b07107ba3a673f406e96d42ad.tar.gz yosys-b0605128b633f64b07107ba3a673f406e96d42ad.tar.bz2 yosys-b0605128b633f64b07107ba3a673f406e96d42ad.zip | |
Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required
Diffstat (limited to 'tests/techmap/abc9.ys')
| -rw-r--r-- | tests/techmap/abc9.ys | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/techmap/abc9.ys b/tests/techmap/abc9.ys index d5a63e1cb..2140dde26 100644 --- a/tests/techmap/abc9.ys +++ b/tests/techmap/abc9.ys @@ -52,6 +52,7 @@ equiv_opt -assert abc9 -lut 4 design -load postopt select -assert-count 2 t:$lut + design -reset read_verilog -icells <<EOT module top(input a, b, output o); @@ -66,3 +67,15 @@ equiv_opt -assert abc9 -lut 4 design -load postopt select -assert-count 1 t:$lut select -assert-count 1 t:$_AND_ + + +design -reset +read_verilog -icells <<EOT +module top(input a, b, output o); +assign o = ~(a & b); +endmodule +EOT +abc9 -lut 4 +clean +select -assert-count 1 t:$lut +select -assert-none t:$lut t:* %D |