diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-04-23 19:59:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-23 19:59:39 +0200 |
| commit | b2020ab44fe33b83dbde39fe1f0cd53e4460f2f0 (patch) | |
| tree | 2e25f6fae27d9e85dd629bea2ec3d46a4929c5ce /kernel | |
| parent | c6156f3118f327986d801fb48e50b94b7ea9e4b6 (diff) | |
| parent | 742c2f245dbe9db1cb89257b296b71b1cb9ac771 (diff) | |
| download | yosys-b2020ab44fe33b83dbde39fe1f0cd53e4460f2f0.tar.gz yosys-b2020ab44fe33b83dbde39fe1f0cd53e4460f2f0.tar.bz2 yosys-b2020ab44fe33b83dbde39fe1f0cd53e4460f2f0.zip | |
Merge pull request #957 from YosysHQ/oai4fix
Fixes for OAI4 cell implementation
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/cellaigs.cc | 2 | ||||
| -rw-r--r-- | kernel/celltypes.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/kernel/cellaigs.cc b/kernel/cellaigs.cc index 5fd76afe5..26c625f89 100644 --- a/kernel/cellaigs.cc +++ b/kernel/cellaigs.cc @@ -453,7 +453,7 @@ Aig::Aig(Cell *cell) int B = mk.inport("\\B"); int C = mk.inport("\\C"); int D = mk.inport("\\D"); - int Y = mk.nand_gate(mk.nor_gate(A, B), mk.nor_gate(C, D)); + int Y = mk.nand_gate(mk.or_gate(A, B), mk.or_gate(C, D)); mk.outport(Y, "\\Y"); goto optimize; } diff --git a/kernel/celltypes.h b/kernel/celltypes.h index ae88f4aaf..0da78c313 100644 --- a/kernel/celltypes.h +++ b/kernel/celltypes.h @@ -464,7 +464,7 @@ struct CellTypes if (cell->type == "$_AOI4_") return eval_not(const_or(const_and(arg1, arg2, false, false, 1), const_and(arg3, arg4, false, false, 1), false, false, 1)); if (cell->type == "$_OAI4_") - return eval_not(const_and(const_or(arg1, arg2, false, false, 1), const_and(arg3, arg4, false, false, 1), false, false, 1)); + return eval_not(const_and(const_or(arg1, arg2, false, false, 1), const_or(arg3, arg4, false, false, 1), false, false, 1)); log_assert(arg4.bits.size() == 0); return eval(cell, arg1, arg2, arg3, errp); |