- d -

• data_width() : ilang::Sort , ilang::SortMem , ilang::ExprRef
• DebugAccessAllTraceStepPtrSet() : ilang::InterIlaUnroller
• DebugAccessConstrList() : ilang::InterIlaUnroller
• declare_function() : ilang::smt::SmtlibInvariantParser
• declare_quantified_variable() : ilang::smt::SmtlibInvariantParser
• decode() : ilang::Instr
• DecodeCmpl() : ilang::Unroller
• def_val() : ilang::MemVal
• define_function() : ilang::smt::SmtlibInvariantParser
• DefineDepVar() : ilang::Unroller , ilang::PathUnroll , ilang::MonoUnroll
• DepthFirstVisit() : ilang::InstrLvlAbs , ilang::Expr
• DepthFirstVisitPrePost() : ilang::Expr , ilang::InstrLvlAbs
• Deserialize() : ilang::IlaSerDesMngr
• DesFromFile() : ilang::IlaSerDesMngr
• DesignStatistics() : ilang::DesignStatistics
• DesInstrLvlAbs() : ilang::J2IDes
• Disable() : ilang::DebugLog
• do_not_instantiate() : ilang::VlgSglTgtGen_Yosys , ilang::VlgSglTgtGen_Relchc , ilang::VlgSglTgtGen_Jasper , ilang::VlgSglTgtGen_Cosa
• dst() : ilang::InstrTranEdge
• DumpToFile() : ilang::VerilogGeneratorBase