diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-01-31 13:06:41 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-01-31 13:06:41 +0100 |
| commit | e9cfc4a453ac0bdfaee44ab3f6d010a2cfecec5e (patch) | |
| tree | a4f9fd632edd00115ff27d3563531345a97aaa76 /kernel | |
| parent | f80f5b721da8188f2b00cc238075ef4e52a03d35 (diff) | |
| download | yosys-e9cfc4a453ac0bdfaee44ab3f6d010a2cfecec5e.tar.gz yosys-e9cfc4a453ac0bdfaee44ab3f6d010a2cfecec5e.tar.bz2 yosys-e9cfc4a453ac0bdfaee44ab3f6d010a2cfecec5e.zip | |
Added "equiv_simple -undef"
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/satgen.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h index c874099b7..2f5efe674 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -103,6 +103,20 @@ struct SatGen return importSigSpecWorker(bit, pf, false, false).front(); } + int importDefSigBit(RTLIL::SigBit bit, int timestep = -1) + { + log_assert(timestep != 0); + std::string pf = prefix + (timestep == -1 ? "" : stringf("@%d:", timestep)); + return importSigSpecWorker(bit, pf, false, true).front(); + } + + int importUndefSigBit(RTLIL::SigBit bit, int timestep = -1) + { + log_assert(timestep != 0); + std::string pf = "undef:" + prefix + (timestep == -1 ? "" : stringf("@%d:", timestep)); + return importSigSpecWorker(bit, pf, true, false).front(); + } + bool importedSigBit(RTLIL::SigBit bit, int timestep = -1) { log_assert(timestep != 0); |