diff options
Diffstat (limited to 'kernel/satgen.h')
| -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); |