diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-09-04 02:07:52 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-09-04 02:07:52 +0200 |
commit | 8927aa6148f5575b2da9bfb76afb4af076fe18f3 (patch) | |
tree | 4da0980333589d4785880e48383c6f44e4a94887 /kernel/satgen.h | |
parent | b9cb483f3e2a498ee75a422e09164a920918362b (diff) | |
download | yosys-8927aa6148f5575b2da9bfb76afb4af076fe18f3.tar.gz yosys-8927aa6148f5575b2da9bfb76afb4af076fe18f3.tar.bz2 yosys-8927aa6148f5575b2da9bfb76afb4af076fe18f3.zip |
Removed $bu0 cell type
Diffstat (limited to 'kernel/satgen.h')
-rw-r--r-- | kernel/satgen.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h index eed3adaad..ae155a2eb 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -451,7 +451,7 @@ struct SatGen return true; } - if (cell->type == "$pos" || cell->type == "$bu0" || cell->type == "$neg") + if (cell->type == "$pos" || cell->type == "$neg") { std::vector<int> a = importDefSigSpec(cell->getPort("\\A"), timestep); std::vector<int> y = importDefSigSpec(cell->getPort("\\Y"), timestep); @@ -459,7 +459,7 @@ struct SatGen std::vector<int> yy = model_undef ? ez->vec_var(y.size()) : y; - if (cell->type == "$pos" || cell->type == "$bu0") { + if (cell->type == "$pos") { ez->assume(ez->vec_eq(a, yy)); } else { std::vector<int> zero(a.size(), ez->FALSE); @@ -472,7 +472,7 @@ struct SatGen std::vector<int> undef_y = importUndefSigSpec(cell->getPort("\\Y"), timestep); extendSignalWidthUnary(undef_a, undef_y, cell); - if (cell->type == "$pos" || cell->type == "$bu0") { + if (cell->type == "$pos") { ez->assume(ez->vec_eq(undef_a, undef_y)); } else { int undef_any_a = ez->expression(ezSAT::OpOr, undef_a); |