- d -
- data
: Minisat::Clause
, Minisat::Map< K, D, H, E >::Pair
, Minisat::vec< T, _Size >
, RTLIL::SigBit
, RTLIL::SigChunk
, YYSTYPE
- database
: ModIndex
, TopoSort< T, C >
- dec_vars
: Minisat::Solver
- decision
: Minisat::Solver
- decisions
: Minisat::Solver
- decl_celltypes
: ConnwrappersWorker
- decls
: ConnwrappersWorker
- decoder_cache
: MemoryMapWorker
- deleted
: Minisat::OccLists< K, Vec, Deleted, MkIndex >
- depth
: equiv_bit_t
- description
: Minisat::Option
, SatHelper::ModelBlockInfo
- design
: BlifDumper
, BtorDumper
, FreduceWorker
, MemoryMapWorker
, MemoryShareWorker
, ModWalker
, OptMuxtreeWorker
, OptReduceWorker
, OptShareWorker
, RTLIL::Module
, SatHelper
, SccWorker
, ShareWorker
, ShowWorker
, SpliceWorker
, SubmodWorker
, VlogHammerReporter
- destruct_guard
: RTLIL::IdString
- dff_cells
: Dff2dffeWorker
- dff_init_map
: OptShareWorker
- diCache
: SubCircuit::SolverWorker
- did_something
: OptReduceWorker
- digest
: SHA1
- DIGEST_INTS
: SHA1
- dirties
: Minisat::OccLists< K, Vec, Deleted, MkIndex >
- dirty
: Minisat::OccLists< K, Vec, Deleted, MkIndex >
- do_subtract
: Macc::port_t
- dot_escape_store
: ShowWorker
- dot_id2num_store
: ShowWorker
- driven_bits
: SpliceWorker
- driven_bits_map
: SpliceWorker
- driven_chunks
: SpliceWorker
- drivers
: FindReducedInputs
, FreduceWorker
, PerformReduction
- drv
: equiv_bit_t